Buchumschlag

Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kamio, Yuhi, Hora, Ryuya
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory 18F10, 18B25, 03C50
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Quotient toposes of discrete dynamical systems
von: Hora, Ryuya, et al.
Veröffentlicht: (2023)

Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor
von: Hora, Ryuya
Veröffentlicht: (2025)

Normalization of a subgroup, in a topos, and of a word-congruence
von: Hora, Ryuya
Veröffentlicht: (2025)

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

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

Games as recursive coalgebras: A categorical view on the Nim-sum
von: Hora, Ryuya
Veröffentlicht: (2025)

Internal 1-topoi in 2-topoi
von: Helfer, Joseph
Veröffentlicht: (2024)

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

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)

Topoi of automata I: Four topoi of automata and regular languages
von: Hora, Ryuya
Veröffentlicht: (2024)

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

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

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

Internal Parameterization of Hyperconnected Quotients
von: Hora, Ryuya
Veröffentlicht: (2023)

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

A Criterion for Categories on which every Grothendieck Topology is Rigid
von: Marquès, Jérémie
Veröffentlicht: (2024)

Bi-directional models of `radically synthetic' differential geometry
von: Menni, Matías
Veröffentlicht: (2024)

Non-singular maps in toposes with a local state classifier
von: Menni, Matí as
Veröffentlicht: (2025)

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

On logical parameterizations and functional representability in local set theories
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2021)

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

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

Indexed Grothendieck construction
von: Caviglia, Elena, et al.
Veröffentlicht: (2023)

On the profinite fundamental group of a connected Grothendieck topos
von: Berger, Clemens, et al.
Veröffentlicht: (2023)

Toward the effective 2-topos
von: Awodey, Steve, et al.
Veröffentlicht: (2025)

Sketches and Classifying Logoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

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

The least subtopos containing the discrete skeleton of $Ω$
von: Menni, Matí as
Veröffentlicht: (2024)

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

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

A finite algebraic presentation of Lawvere theories in the object-classifier topos
von: Fiore, Marcelo, et al.
Veröffentlicht: (2024)

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

Algebraic Type Theory, Part 1: Martin-Löf algebras
von: Awodey, Steve
Veröffentlicht: (2025)

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

The Grothendieck construction for delta lenses
von: Clarke, Bryce
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)

Logical Aspects of Virtual Double Categories
von: Nasu, Hayato
Veröffentlicht: (2025)

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