The following pages link to On iteratable endofunctors (Q2842827):
Displaying 11 items.
- How iterative reflections of monads are constructed (Q384934) (← links)
- On second-order iterative monads (Q639639) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- Completely iterative algebras and completely iterative monads (Q1767976) (← links)
- Distributive laws for the coinductive solution of recursive equations (Q2495644) (← links)
- Final coalgebras and a solution theorem for arbitrary endofunctors (Q2842550) (← links)
- Generalizing Substitution (Q4460688) (← links)
- 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability (Q5853609) (← links)