The following pages link to Dualising initial algebras (Q4408809):
Displaying 11 items.
- On second-order iterative monads (Q639639) (← links)
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- Infinite trace equivalence (Q2474445) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? (Q3178270) (← links)
- Generalizing Substitution (Q4460688) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- The Recursion Scheme from the Cofree Recursive Comonad (Q5166625) (← links)
