Buchumschlag

Sketches and Classifying Logoi

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Di Liberti, Ivan, Lobbia, Gabriele
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory Logic 18A15, 03C75, 18C10, 18B25, 18C30, 18C10
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

Gabriel-Ulmer duality for topoi and its relation with site presentations
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2019)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
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)

$Sh(B)$-valued models of $(κ,κ)$-coherent categories
von: Kanalas, Kristóf
Veröffentlicht: (2023)

Sites and Grothendieck toposes: an introduction
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

From coextensive varieties to the Gaeta topos
von: Zuluaga, William
Veröffentlicht: (2022)

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

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)

Quotients, pure existential completions and arithmetic universes
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

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

A universal characterization of standard Borel spaces
von: Chen, Ruiyuan
Veröffentlicht: (2019)

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

Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
von: Ko, Joanna
Veröffentlicht: (2026)

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
von: Kamio, Yuhi, et al.
Veröffentlicht: (2024)

Existentially closed models and locally zero-dimensional toposes
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

Categories by Kan extension
von: Spivak, David I.
Veröffentlicht: (2025)

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

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

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

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

Quantale-valued maps and partial maps
von: Shen, Lili, et al.
Veröffentlicht: (2024)

Atomic Toposes with Co-Well-Founded Categories of Atoms
von: Marquès, Jérémie
Veröffentlicht: (2024)

A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
von: Lambert, Michael J.
Veröffentlicht: (2024)

Evolution systems: A framework for studying generic mathematical structures
von: Kubiś, Wiesław, et al.
Veröffentlicht: (2021)

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

Relativized universal algebra via partial Horn logic
von: Kawase, Yuto
Veröffentlicht: (2024)

Birkhoff's variety theorem for relative algebraic theories
von: Kawase, Yuto
Veröffentlicht: (2023)

Lifting twisted coreflections against delta lenses
von: Clarke, Bryce
Veröffentlicht: (2024)

Exponentiable Grothendieck categories in flat Algebraic Geometry
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2021)

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

Morita theory for quantales
von: Mesablishvili, Bachuki
Veröffentlicht: (2025)

Type Theory for the Working Mathematical Music Theorist
von: Flieder, Drew
Veröffentlicht: (2025)

Adjoint functor theorems for lax-idempotent pseudomonads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)

Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
von: Lucyshyn-Wright, Rory B. B., et al.
Veröffentlicht: (2023)

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

Double Orthogonal Factorization Systems
von: Aberlé, C. B., et al.
Veröffentlicht: (2025)