Cover Image

From coextensive varieties to the Gaeta topos

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Zuluaga, William
Format:	Preprint
Published:	2022
Subjects:	Category Theory Logic 18C10, 18D35, 18F10, 18B25
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets
by: Hora, Ryuya, et al.
Published: (2025)

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

On effective descent $\mathcal V$-functors and familial descent morphisms
by: Prezado, Rui
Published: (2023)

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

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

$\mathsf{Q}\text{-}\mathbf{Set}$ is not generally a topos
by: Hu, Xiao, et al.
Published: (2025)

Enriched positive logic
by: Rosický, Jiří, et al.
Published: (2025)

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

A Gelfand duality for continuous lattices
by: Chen, Ruiyuan
Published: (2023)

A Criterion for Categories on which every Grothendieck Topology is Rigid
by: Marquès, Jérémie
Published: (2024)

Indexed Grothendieck construction
by: Caviglia, Elena, et al.
Published: (2023)

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

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

Exponentiable Grothendieck categories in flat Algebraic Geometry
by: Di Liberti, Ivan, et al.
Published: (2021)

Filtered colimit elimination from Birkhoff's variety theorem
by: Kawase, Yuto
Published: (2023)

Dualities in the theory of accessible categories
by: Tendas, Giacomo
Published: (2023)

On Naturally and Weakly Mal'tsev Categories
by: Martins-Ferreira, Nelson
Published: (2025)

The Lawvere condition
by: Martins-Ferreira, Nelson
Published: (2025)

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

Birkhoff's variety theorem for relative algebraic theories
by: Kawase, Yuto
Published: (2023)

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)

Morita theory for quantales
by: Mesablishvili, Bachuki
Published: (2025)

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

Quantale-valued maps and partial maps
by: Shen, Lili, et al.
Published: (2024)

On the tensor product of completely distributive quantale-enriched categories
by: Balan, Adriana
Published: (2025)

Limits in dagger categories
by: Heunen, Chris, et al.
Published: (2018)

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

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

Module Categories As Spans
by: Xu, Hao
Published: (2024)

What is the universal property of the 2-category of monads?
by: Lack, Stephen, et al.
Published: (2022)

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

Profinite Cosheaves Valued in Pro-regular Categories
by: Tang, Jiacheng
Published: (2026)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
by: Inoué, Takao
Published: (2026)

Nerves of generalized multicategories
by: Fujii, Soichiro, et al.
Published: (2025)