FixedPoints

Navigation page for Blueprint/D5/S1/FixedPoints/ at upstream snapshot 55a96922002fdbf5644c47264702e325d0b475c9.

Contents

• Affine Feedback Threshold
• Algebraic
• Finite Contracting Stability
• Finite Monotone Termination
• Finite Repair Termination
• Finite Split Budget
• Kleene Stage Limit
• Universal Properties of Limits and Colimits
• Maximal Forward-Invariant Subkernel
• Terminal and Initial Objects Under Opposites
• Reachability
• Relational Reachability Expansion
• Rooted Transient-Tree Classification
• A Fixed Point Forced by Three-Cycle Counting
• Three-Cycle Fixed-Point Gap
• TransientTrees