FixedPoints

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

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