Pages that link to "Item:Q4917035"
From MaRDI portal
The following pages link to Algebras, Coalgebras, Monads and Comonads (Q4917035):
Displayed 12 items.
- The coinductive resumption monad (Q283770) (← links)
- Equational properties of iterative monads (Q618163) (← links)
- On second-order iterative monads (Q639639) (← links)
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Infinite trees and completely iterative theories: A coalgebraic view (Q1399957) (← links)
- Lawvere theories enriched over a general base (Q2378550) (← links)
- Coalgebraic Monads (Q2842553) (← links)
- Recursive Program Schemes and Context-Free Monads (Q2919447) (← links)
- Turing-Completeness Totally Free (Q2941179) (← links)
- Solving Algebraic Equations Using Coalgebra (Q4460687) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)
- (Q6193834) (← links)