Buchumschlag

Free Doubly-Infinitary Distributive Categories are Cartesian Closed

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Nunes, Fernando Lucatelli, Vákár, Matthijs
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory Logic in Computer Science Programming Languages Logic 18N15, 18C15, 18C20, 18D15, 18N10, 18D65, 18B50, 03F10, 03F03
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

Free extensivity via distributivity
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

Ultracategories as colax algebras for a pseudo-monad on CAT
von: Hamad, Ali
Veröffentlicht: (2025)

Generalized multicategories: change-of-base, embedding, and descent
von: Prezado, Rui, et al.
Veröffentlicht: (2023)

The algebraic internal groupoid model of Martin-Löf type theory
von: Hughes, Calum
Veröffentlicht: (2025)

Biased elementary doctrines and quotient completions
von: Cioffo, Cipriano Junior
Veröffentlicht: (2023)

A 2-categorical analysis of context comprehension
von: Coraglia, Greta, et al.
Veröffentlicht: (2024)

Unraveling the iterative CHAD
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2025)

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

Profunctorial algebras
von: Aristote, Quentin, et al.
Veröffentlicht: (2026)

Generalised ultracategories and conceptual completeness of geometric logic
von: Hamad, Ali
Veröffentlicht: (2025)

Bicategories of algebras for relative pseudomonads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2025)

On duality and model theory for polyadic spaces
von: van Gool, Sam, et al.
Veröffentlicht: (2022)

A Polynomial Construction of Nerves for Higher Categories
von: Shapiro, Brandon T., et al.
Veröffentlicht: (2024)

Logical Aspects of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2025)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2025)

The free bifibration on a functor
von: Clarke, Bryce, et al.
Veröffentlicht: (2025)

Familial Monads as Higher Category Theories
von: Shapiro, Brandon
Veröffentlicht: (2021)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Topoi with enough points
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

Sketches and Classifying Logoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

Ultracategories via Kan extensions of relative monads
von: Tarantino, Umberto, et al.
Veröffentlicht: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

Gödel coding on fibrations and geminal categories
von: Ikeda, Yuto
Veröffentlicht: (2026)

Relative monadicity
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)

Two-dimensional Kripke Semantics II: Stability and Completeness
von: Kavvos, G. A.
Veröffentlicht: (2024)

Parametric Distributive Laws: uniform monad composition
von: Perticone, Lorenzo
Veröffentlicht: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
von: Stenzel, Raffael
Veröffentlicht: (2020)

The nerve theorem for relative monads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2024)

Cartesian closedness of the category of real-valued sets, I
von: Shen, Lili, et al.
Veröffentlicht: (2025)

The formal theory of relative monads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

Toposes with enough points as categories of étale spaces
von: van Gool, Sam, et al.
Veröffentlicht: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

Towards enriched universal algebra
von: Rosický, Jiří, et al.
Veröffentlicht: (2023)

Lax structures in 2-category theory
von: Štěpán, Miloslav
Veröffentlicht: (2025)

KZ-pseudomonads and Kan Injectivity
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2022)