Similar Items: An enriched view on the extended finitary monad--Lawvere theory correspondence
- Weak bisimulation for coalgebras over order enriched monads
- Lax orthogonal factorisations in monad-quantale-enriched categories
- Algebraic cocompleteness and finitary functors
- The Formal Theory of Monads, Univalently
- Infinite and Bi-infinite Words with Decidable Monadic Theories
- Finitary Simulation of Infinitary $beta$-Reduction via Taylor Expansion, and Applications