The following pages link to Least fixed point of a functor (Q1134211):
Displaying 17 items.
- On the final sequence of a finitary set functor (Q557796) (← links)
- On the greatest fixed point of a set functor (Q672316) (← links)
- The monadic second-order logic of graphs. IV: Definability properties of equational graphs (Q807611) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Varietors and machines in a category (Q1167265) (← links)
- Some economic applications of Scott domains (Q1196207) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Categorical Büchi and parity conditions via alternating fixed points of functors (Q1798796) (← links)
- Infinite hypergraphs. I: Basic properties (Q1814126) (← links)
- (Q4585069) (← links)
- <i>μ</i>-Bicomplete Categories and Parity Games (Q4787834) (← links)
- (Q5009709) (← links)
- Partially ordered objects in a topos (Q5023614) (← links)
- (Q5875353) (← links)
- Semantics of constructions. II: The initial algebraic approach (Q5945839) (← links)
- CHAD for expressive total languages (Q6149934) (← links)
- Categorical approximation fixpoint theory (Q6545560) (← links)