Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2105.12801 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A 2-categorical analysis of context comprehension
by: Coraglia, Greta, et al.
Published: (2024)
by: Coraglia, Greta, et al.
Published: (2024)
Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)
by: Kavvos, G. A.
Published: (2024)
Towards enriched universal algebra
by: Rosický, Jiří, et al.
Published: (2023)
by: Rosický, Jiří, et al.
Published: (2023)
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)
Universal pseudomorphisms, with applications to diagrammatic coherence for braided and symmetric monoidal functors
by: Gurski, Nick, et al.
Published: (2023)
by: Gurski, Nick, et al.
Published: (2023)
A Polynomial Construction of Nerves for Higher Categories
by: Shapiro, Brandon T., et al.
Published: (2024)
by: Shapiro, Brandon T., et al.
Published: (2024)
On the lack of colimits in various categories arising in pointfree topology and algebraic logic
by: Abbadini, Marco, et al.
Published: (2025)
by: Abbadini, Marco, et al.
Published: (2025)
Additive Enrichment from Coderelictions
by: Lemay, Jean-Simon Pacaud
Published: (2025)
by: Lemay, Jean-Simon Pacaud
Published: (2025)
On abstract and concrete minions
by: Juhrich, Lukas
Published: (2025)
by: Juhrich, Lukas
Published: (2025)
Coherent and ideal actions in ideally exact categories
by: Mancini, Manuel, et al.
Published: (2025)
by: Mancini, Manuel, et al.
Published: (2025)
Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)
by: Kavvos, G. A.
Published: (2024)
More on soundness in the enriched context
by: Tendas, Giacomo
Published: (2024)
by: Tendas, Giacomo
Published: (2024)
On actions and split extensions in varieties of hoops: the case of strong section
by: Mancini, Manuel, et al.
Published: (2025)
by: Mancini, Manuel, et al.
Published: (2025)
Measuring data types
by: Mulder, Lukas, et al.
Published: (2024)
by: Mulder, Lukas, et al.
Published: (2024)
Soft Connectedness, Soft Path Connectedness and the Category of Soft Topological Groups
by: Alemdar, Nazmiye, et al.
Published: (2025)
by: Alemdar, Nazmiye, et al.
Published: (2025)
A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)
by: Spadetto, Matteo
Published: (2025)
The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)
by: Hughes, Calum, et al.
Published: (2024)
Introductory notes on real-enriched categories
by: Zhang, Dexue
Published: (2024)
by: Zhang, Dexue
Published: (2024)
All Concepts are $\mathbb{C}\mathbf{at}^\#$
by: Lynch, Owen, et al.
Published: (2023)
by: Lynch, Owen, et al.
Published: (2023)
Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)
by: Di Liberti, Ivan, et al.
Published: (2025)
A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
by: Lambert, Michael J.
Published: (2024)
by: Lambert, Michael J.
Published: (2024)
On the Category-Theoretic Independence of Meaning, Object, Name and Existence
by: Inoué, Takao
Published: (2026)
by: Inoué, Takao
Published: (2026)
Relative injective modules, superstability and noetherian categories
by: Mazari-Armida, Marcos, et al.
Published: (2023)
by: Mazari-Armida, Marcos, et al.
Published: (2023)
Biclosed monoidal structures on the categories of digraphs and graphs
by: Grenier, Adrien, et al.
Published: (2025)
by: Grenier, Adrien, et al.
Published: (2025)
On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)
by: Capucci, Matteo, et al.
Published: (2024)
Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)
Tangentads: a formal approach to tangent categories
by: Lanfranchi, Marcello
Published: (2025)
by: Lanfranchi, Marcello
Published: (2025)
Dilations and information flow axioms in categorical probability
by: Fritz, Tobias, et al.
Published: (2022)
by: Fritz, Tobias, et al.
Published: (2022)
The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
by: Kihara, Takayuki, et al.
Published: (2026)
by: Kihara, Takayuki, et al.
Published: (2026)
The free bifibration on a functor
by: Clarke, Bryce, et al.
Published: (2025)
by: Clarke, Bryce, et al.
Published: (2025)
A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)
by: Maschio, Samuele, et al.
Published: (2025)
Monads in 2-categories
by: Fairbanks, Aaron David
Published: (2026)
by: Fairbanks, Aaron David
Published: (2026)
A note on Noetherian $(\infty, \infty)$-categories
by: Goldthorpe, Zach
Published: (2024)
by: Goldthorpe, Zach
Published: (2024)
Relative monadicity
by: Arkor, Nathanael, et al.
Published: (2023)
by: Arkor, Nathanael, et al.
Published: (2023)
Lax structures in 2-category theory
by: Štěpán, Miloslav
Published: (2025)
by: Štěpán, Miloslav
Published: (2025)
On Naturally and Weakly Mal'tsev Categories
by: Martins-Ferreira, Nelson
Published: (2025)
by: Martins-Ferreira, Nelson
Published: (2025)
The Lawvere condition
by: Martins-Ferreira, Nelson
Published: (2025)
by: Martins-Ferreira, Nelson
Published: (2025)
The Gamified Katětov order is not linear (in fact, very much not so)
by: Kihara, Takayuki, et al.
Published: (2026)
by: Kihara, Takayuki, et al.
Published: (2026)
The nerve theorem for relative monads
by: Arkor, Nathanael, et al.
Published: (2024)
by: Arkor, Nathanael, et al.
Published: (2024)
The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)
by: Otten, Daniël, et al.
Published: (2025)