Similar Items: The Formal Theory of Monads, Univalently
- Categorical structures for type theory in univalent foundations
- On Small Types in Univalent Foundations
- Infinite and Bi-infinite Words with Decidable Monadic Theories
- An enriched view on the extended finitary monad--Lawvere theory correspondence
- A Functional (Monadic) Second-Order Theory of Infinite Trees
- Formal Theories for Linear Algebra