The following pages link to Axiomatizing iteration categories (Q2707234):
Displaying 15 items.
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- A formal identification between tuples and lists with an application to list-arithmetic categories (Q1346222) (← links)
- Iterated extensions and uniserial length categories (Q2048321) (← links)
- Towards an axiomatization of the theory of higher categories (Q2576459) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
- Equational axioms associated with finite automata for fixed point operations in cartesian categories (Q2973247) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Traced Premonoidal Categories (Q4460686) (← links)
- (Q4783621) (← links)
- (Q4968384) (← links)
- (Q5014444) (← links)
- (Q5185705) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)