Dualising initial algebras
From MaRDI portal
Publication:4408809
Recommendations
Cited in
(14)- Generalizing Substitution
- scientific article; zbMATH DE number 1617306 (Why is no real title available?)
- Substitution in non-wellfounded syntax with variable binding
- The category-theoretic solution of recursive program schemes
- Recursive program schemes and context-free monads
- Explicit substitutions and higher-order syntax
- Infinite trace equivalence
- Relatively terminal coalgebras
- The Recursion Scheme from the Cofree Recursive Comonad
- Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
- Algebras, coalgebras, monads and comonads
- On second-order iterative monads
- On the construction of free algebras for equational systems
- Coproducts of Ideal Monads
This page was built for publication: Dualising initial algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4408809)