The following pages link to Categorical fixed point calculus (Q5057473):
Displaying 13 items.
- Monads for behaviour (Q265824) (← links)
- The rôle of categorical structures in infinitesimal calculus (Q530113) (← links)
- Fixed points in Cartesian closed categories (Q753945) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Categorical differentiation theory and Cauchy continuity (Q1313942) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Induction, coinduction, and adjoints (Q2842818) (← links)
- (Q5013826) (← links)
- Partially ordered objects in a topos (Q5023614) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- A categorical construction of Bachmann–Howard fixed points (Q5205443) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)