Cover Image

Logic and Concepts in the 2-category of Topoi

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Di Liberti, Ivan, Ye, Lingyuan
Format:	Preprint
Published:	2025
Subjects:	Logic Logic in Computer Science Category Theory 03B10, 03G30, 18B25, 18C10, 18F10, 18N10, 18D65, 18A15
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

Sketches and Classifying Logoi
by: Di Liberti, Ivan, et al.
Published: (2024)

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

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

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

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

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

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

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

Sites and Grothendieck toposes: an introduction
by: Caramello, Olivia, et al.
Published: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
by: Caramello, Olivia, et al.
Published: (2025)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)

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

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

From coextensive varieties to the Gaeta topos
by: Zuluaga, William
Published: (2022)

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

Existentially closed models and locally zero-dimensional toposes
by: Kamsma, Mark, et al.
Published: (2024)

Gabriel-Ulmer duality for topoi and its relation with site presentations
by: Di Liberti, Ivan, et al.
Published: (2019)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
by: van Woerkom, Wijnand, et al.
Published: (2024)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

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

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
by: Mesiti, Luca
Published: (2023)

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

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

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

The representing localic groupoid for a geometric theory
by: Manuell, Graham, et al.
Published: (2023)

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

Toward the effective 2-topos
by: Awodey, Steve, et al.
Published: (2025)

The Grothendieck construction for delta lenses
by: Clarke, Bryce
Published: (2025)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

Toposes with enough points as categories of étale spaces
by: van Gool, Sam, et al.
Published: (2025)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

Familial Monads as Higher Category Theories
by: Shapiro, Brandon
Published: (2021)

Lax structures in 2-category theory
by: Štěpán, Miloslav
Published: (2025)

Generalized multicategories: change-of-base, embedding, and descent
by: Prezado, Rui, et al.
Published: (2023)

A note on the definition of derived functors
by: Schwarz, João
Published: (2025)

Profunctorial algebras
by: Aristote, Quentin, et al.
Published: (2026)

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

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