:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Hora, Ryuya
Format:	Preprint
Published:	2023
Subjects:	Category Theory 18B25
Online Access:	https://arxiv.org/abs/2302.06851
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets
by: Hora, Ryuya, et al.
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)

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

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

Filter Quotient Model Structures
by: Rasekh, Nima
Published: (2025)

Open Condensed Subgroups and Mackey's Formula
by: Tang, Jiacheng
Published: (2024)

On internally projective sheaves of groups
by: Wärn, David
Published: (2024)

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

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

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

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

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

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

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

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

Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
by: Gilson, Frank
Published: (2025)

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

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

Characterization of groupoid categories in terms of its category of $\mathcal{C}$-sets
by: Calderón, J. Miguel, et al.
Published: (2025)

Higher structures for Lie $H$-pseudoalgebras
by: Das, Apurba
Published: (2024)

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

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

When does $\operatorname{Ind}_κ(C^I) \simeq \operatorname{Ind}_κ(C)^I$?
by: Henry, Simon
Published: (2023)

A reference for categorical structures on $\mathbf{Poly}$
by: Spivak, David I.
Published: (2022)

The concept of null in general spaces and contexts
by: Das, Suddhasattwa
Published: (2025)

Profinite and Solid Cohomology
by: Tang, Jiacheng
Published: (2024)

On extensivity of morphisms
by: Hoefnagel, Michael, et al.
Published: (2025)

Hochschild cohomology in toposes
by: Michie, Cameron, et al.
Published: (2024)

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

Nice exact categories are coexact
by: Gray, James Richard Andrew
Published: (2025)

Partial actions of groups on monoidal categories
by: Batista, Eliezer, 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)

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

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

Atomic Toposes with Co-Well-Founded Categories of Atoms
by: Marquès, Jérémie
Published: (2024)

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