Cover Image

Cartesian double theories: A double-categorical framework for categorical doctrines

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lambert, Michael, Patterson, Evan
Format:	Preprint
Published:	2023
Subjects:	Category Theory 03G30, 18N10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Products in double categories, revisited
by: Patterson, Evan
Published: (2024)

Transposing cartesian and other structure in double categories
by: Patterson, Evan
Published: (2024)

A comonad for Grothendieck fibrations
by: Emmenegger, Jacopo, et al.
Published: (2023)

Gray (skew) multicategories: double and Gray-categorical cases
by: Femić, Bojana
Published: (2024)

Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

A double $(\infty,1)$-categorical nerve for double categories
by: Moser, Lyne
Published: (2020)

Presheaves on lax double functors; or, Instances of models of double theories
by: Carlson, Kevin, et al.
Published: (2025)

Logical Aspects of Virtual Double Categories
by: Nasu, Hayato
Published: (2025)

Integration of a categorical operad
by: Trnka, Dominik
Published: (2025)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)

Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

Quotients, pure existential completions and arithmetic universes
by: Maietti, Maria Emilia, et al.
Published: (2023)

A strengthened $(\infty, n)$-categorical pasting theorem
by: Chanavat, Clémence
Published: (2026)

A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)

The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)

Virtual double categories of split two-sided 2-fibrations
by: Koudenburg, Seerp Roald
Published: (2026)

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

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

From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography
by: Inoué, Takao
Published: (2026)

Bi-directional models of `radically synthetic' differential geometry
by: Menni, Matías
Published: (2024)

Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)

Inner automorphisms as 2-cells
by: Hofstra, Pieter, et al.
Published: (2024)

Premonoidal and Kleisli double categories
by: Femić, Bojana
Published: (2024)

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

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

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)

Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
by: Arkor, Nathanael, et al.
Published: (2024)

Yoneda lemma and representation theorem for double categories
by: Fröhlich, Benedikt, et al.
Published: (2024)

Double categorical equivalences
by: Moser, Lyne, et al.
Published: (2025)

Combinatorics of higher-categorical diagrams
by: Hadzihasanovic, Amar
Published: (2024)

$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)

Thomason's colimit theorem for the double category of elements
by: Gill, Andrew, et al.
Published: (2025)

Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches
by: Brown, Jason, et al.
Published: (2025)

The free bifibration on a functor
by: Clarke, Bryce, et al.
Published: (2025)

L-mosaics and orthomodular lattices
by: Cangiotti, Nicolò, et al.
Published: (2025)