:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Menni, Matí as
Format:	Preprint
Published:	2024
Subjects:	Category Theory 03G30, 14F06, 18B25, 55U10
Online Access:	https://arxiv.org/abs/2411.19863
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Non-singular maps in toposes with a local state classifier
by: Menni, Matí as
Published: (2025)

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

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

The least subtopos containing the discrete skeleton of $Ω$
by: Menni, Matí as
Published: (2024)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

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

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

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

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

Homotopy types of finite étale spaces and generalized inflations
by: Ayzenberg, Anton, et al.
Published: (2026)

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

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

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

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)

A category of arrow algebras for modified realizability
by: Tarantino, Umberto
Published: (2024)

The category of topological spaces and open maps does not have products
by: Bezhanishvili, Guram, et al.
Published: (2024)

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

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

A universal characterization of standard Borel spaces
by: Chen, Ruiyuan
Published: (2019)

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

Classifying Infinity Topoi via Weighted Limits
by: Di Liberti, Ivan, et al.
Published: (2025)

Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

Categories of Pseudocones and Equivariant Descent
by: Vooys, Geoff
Published: (2024)

Homologie polygraphique des systèmes locaux
by: Guetta, Léonard, et al.
Published: (2023)

Stratified Toposes
by: Zwanziger, Colin
Published: (2024)

Tininess and right adjoints to exponentials
by: Hernández, Enrique Ruiz, et al.
Published: (2026)

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

Generic bundles over a localic category
by: Manuell, Graham, et al.
Published: (2026)

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

Grothendieck Galois theory and étale exodromy
by: de Bruyn, Remy van Dobben
Published: (2024)

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)

Cartesian exponentiation and monadicity
by: Riehl, Emily, et al.
Published: (2021)

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

Decomposition spaces in Combinatorics
by: Gálvez-Carrillo, Imma, et al.
Published: (2016)

Sheaves of $(\infty, \infty)$-categories
by: Goldthorpe, Zach
Published: (2024)

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

Projective Presentations of Lex Modalities
by: Williams, Mark Damuni
Published: (2025)

Non-accessible localizations
by: Christensen, J. Daniel
Published: (2021)