Normalization of a subgroup, in a topos, and of a word-congruence
Fuente:
arXiv
Salvato in:
| Autore principale: | Hora, Ryuya |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Internal Parameterization of Hyperconnected Quotients
di: Hora, Ryuya
Pubblicazione: (2023)
di: Hora, Ryuya
Pubblicazione: (2023)
Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
di: Kamio, Yuhi, et al.
Pubblicazione: (2024)
di: Kamio, Yuhi, et al.
Pubblicazione: (2024)
Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets
di: Hora, Ryuya, et al.
Pubblicazione: (2025)
di: Hora, Ryuya, et al.
Pubblicazione: (2025)
Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor
di: Hora, Ryuya
Pubblicazione: (2025)
di: Hora, Ryuya
Pubblicazione: (2025)
Quotient toposes of discrete dynamical systems
di: Hora, Ryuya, et al.
Pubblicazione: (2023)
di: Hora, Ryuya, et al.
Pubblicazione: (2023)
Toward the effective 2-topos
di: Awodey, Steve, et al.
Pubblicazione: (2025)
di: Awodey, Steve, et al.
Pubblicazione: (2025)
$\mathsf{Q}\text{-}\mathbf{Set}$ is not generally a topos
di: Hu, Xiao, et al.
Pubblicazione: (2025)
di: Hu, Xiao, et al.
Pubblicazione: (2025)
Games as recursive coalgebras: A categorical view on the Nim-sum
di: Hora, Ryuya
Pubblicazione: (2025)
di: Hora, Ryuya
Pubblicazione: (2025)
Topoi of automata I: Four topoi of automata and regular languages
di: Hora, Ryuya
Pubblicazione: (2024)
di: Hora, Ryuya
Pubblicazione: (2024)
From coextensive varieties to the Gaeta topos
di: Zuluaga, William
Pubblicazione: (2022)
di: Zuluaga, William
Pubblicazione: (2022)
Open Condensed Subgroups and Mackey's Formula
di: Tang, Jiacheng
Pubblicazione: (2024)
di: Tang, Jiacheng
Pubblicazione: (2024)
On internally projective sheaves of groups
di: Wärn, David
Pubblicazione: (2024)
di: Wärn, David
Pubblicazione: (2024)
A topos for extended Weihrauch degrees
di: Maschio, Samuele, et al.
Pubblicazione: (2025)
di: Maschio, Samuele, et al.
Pubblicazione: (2025)
The least subtopos containing the discrete skeleton of $Ω$
di: Menni, Matí as
Pubblicazione: (2024)
di: Menni, Matí as
Pubblicazione: (2024)
A Criterion for Categories on which every Grothendieck Topology is Rigid
di: Marquès, Jérémie
Pubblicazione: (2024)
di: Marquès, Jérémie
Pubblicazione: (2024)
A Topos-Theoretic Semantics of Intuitionistic Modal Logic with an Application to the Logic of Branching Spacetime
di: Lambert, Michael J.
Pubblicazione: (2024)
di: Lambert, Michael J.
Pubblicazione: (2024)
A category of arrow algebras for modified realizability
di: Tarantino, Umberto
Pubblicazione: (2024)
di: Tarantino, Umberto
Pubblicazione: (2024)
Partition Principle without Choice via Symmetric Iterations and Sheaf-Toposes
di: Gilson, Frank
Pubblicazione: (2025)
di: Gilson, Frank
Pubblicazione: (2025)
The Grothendieck construction for delta lenses
di: Clarke, Bryce
Pubblicazione: (2025)
di: Clarke, Bryce
Pubblicazione: (2025)
Some Properties of Internal Locale Morphisms Externalised
di: Wrigley, Joshua
Pubblicazione: (2023)
di: Wrigley, Joshua
Pubblicazione: (2023)
Stratified Toposes
di: Zwanziger, Colin
Pubblicazione: (2024)
di: Zwanziger, Colin
Pubblicazione: (2024)
Categorical aspects of congruence distributivity
di: Hoefnagel, Michael, et al.
Pubblicazione: (2024)
di: Hoefnagel, Michael, et al.
Pubblicazione: (2024)
The concept of null in general spaces and contexts
di: Das, Suddhasattwa
Pubblicazione: (2025)
di: Das, Suddhasattwa
Pubblicazione: (2025)
When does $\operatorname{Ind}_κ(C^I) \simeq \operatorname{Ind}_κ(C)^I$?
di: Henry, Simon
Pubblicazione: (2023)
di: Henry, Simon
Pubblicazione: (2023)
A reference for categorical structures on $\mathbf{Poly}$
di: Spivak, David I.
Pubblicazione: (2022)
di: Spivak, David I.
Pubblicazione: (2022)
Non-singular maps in toposes with a local state classifier
di: Menni, Matí as
Pubblicazione: (2025)
di: Menni, Matí as
Pubblicazione: (2025)
Characterization of groupoid categories in terms of its category of $\mathcal{C}$-sets
di: Calderón, J. Miguel, et al.
Pubblicazione: (2025)
di: Calderón, J. Miguel, et al.
Pubblicazione: (2025)
Internal 1-topoi in 2-topoi
di: Helfer, Joseph
Pubblicazione: (2024)
di: Helfer, Joseph
Pubblicazione: (2024)
2-classifiers via dense generators and Hofmann-Streicher universe in stacks
di: Mesiti, Luca
Pubblicazione: (2024)
di: Mesiti, Luca
Pubblicazione: (2024)
Higher structures for Lie $H$-pseudoalgebras
di: Das, Apurba
Pubblicazione: (2024)
di: Das, Apurba
Pubblicazione: (2024)
On extensivity of morphisms
di: Hoefnagel, Michael, et al.
Pubblicazione: (2025)
di: Hoefnagel, Michael, et al.
Pubblicazione: (2025)
Profinite and Solid Cohomology
di: Tang, Jiacheng
Pubblicazione: (2024)
di: Tang, Jiacheng
Pubblicazione: (2024)
Partial actions of groups on monoidal categories
di: Batista, Eliezer, et al.
Pubblicazione: (2024)
di: Batista, Eliezer, et al.
Pubblicazione: (2024)
Nice exact categories are coexact
di: Gray, James Richard Andrew
Pubblicazione: (2025)
di: Gray, James Richard Andrew
Pubblicazione: (2025)
Hochschild cohomology in toposes
di: Michie, Cameron, et al.
Pubblicazione: (2024)
di: Michie, Cameron, et al.
Pubblicazione: (2024)
Arrow algebras
di: Berg, Benno van den, et al.
Pubblicazione: (2023)
di: Berg, Benno van den, et al.
Pubblicazione: (2023)
Filter Quotient Model Structures
di: Rasekh, Nima
Pubblicazione: (2025)
di: Rasekh, Nima
Pubblicazione: (2025)
Indexed Grothendieck construction
di: Caviglia, Elena, et al.
Pubblicazione: (2023)
di: Caviglia, Elena, et al.
Pubblicazione: (2023)
Sites and Grothendieck toposes: an introduction
di: Caramello, Olivia, et al.
Pubblicazione: (2025)
di: Caramello, Olivia, et al.
Pubblicazione: (2025)
Generation of Grothendieck topologies, provability and operations on subtoposes
di: Caramello, Olivia, et al.
Pubblicazione: (2025)
di: Caramello, Olivia, et al.
Pubblicazione: (2025)
Documenti analoghi
-
Internal Parameterization of Hyperconnected Quotients
di: Hora, Ryuya
Pubblicazione: (2023) -
Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
di: Kamio, Yuhi, et al.
Pubblicazione: (2024) -
Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets
di: Hora, Ryuya, et al.
Pubblicazione: (2025) -
Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor
di: Hora, Ryuya
Pubblicazione: (2025) -
Quotient toposes of discrete dynamical systems
di: Hora, Ryuya, et al.
Pubblicazione: (2023)