:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Hora, Ryuya, Kamio, Yuhi, Maehara, Yuki
Format:	Preprint
Published:	2025
Subjects:	Category Theory Combinatorics 18F10, 18B25
Online Access:	https://arxiv.org/abs/2503.03439
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Quotient toposes of discrete dynamical systems
by: Hora, Ryuya, et al.
Published: (2023)

Normalization of a subgroup, in a topos, and of a word-congruence
by: Hora, Ryuya
Published: (2025)

Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor
by: Hora, Ryuya
Published: (2025)

Internal Parameterization of Hyperconnected Quotients
by: Hora, Ryuya
Published: (2023)

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

Topoi of automata I: Four topoi of automata and regular languages
by: Hora, Ryuya
Published: (2024)

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

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)

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

Games as recursive coalgebras: A categorical view on the Nim-sum
by: Hora, Ryuya
Published: (2025)

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)

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

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

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

A finite algebraic presentation of Lawvere theories in the object-classifier topos
by: Fiore, Marcelo, et al.
Published: (2024)

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

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

Fractured Structures in Condensed Mathematics
by: Rasekh, Nima, et al.
Published: (2026)

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

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

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

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

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

Partial groups as symmetric simplicial sets
by: Hackney, Philip, et al.
Published: (2023)

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

Some Properties of Internal Locale Morphisms Externalised
by: Wrigley, Joshua
Published: (2023)

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

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

Oligomorphic groups, categories of partial bijections, and ultrahomogeneous cubic spaces over finite fields
by: Neretin, Yury A.
Published: (2023)

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

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

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

Projective Geometries and Simple Pointed Matroids as $\mathbb{F}_1$-modules
by: Beardsley, Jonathan, et al.
Published: (2024)

The étendue of a combinatorial space and its dimension
by: Menni, Matí as
Published: (2024)

Signs in objective linear algebra, exemplified with exterior powers and determinants
by: Kock, Joachim, et al.
Published: (2026)

The five-sequence of adjoints for combinatorial simplicial complexes
by: Fløystad, Gunnar
Published: (2026)

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