Similar Items: Categorical structures for type theory in univalent foundations
- On Small Types in Univalent Foundations
- The Formal Theory of Monads, Univalently
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- Foundations of Online Structure Theory II: The Operator Approach
- A Categorical Reconstruction of Quantum Theory
- Cores of Countably Categorical Structures