Gabriel-Ulmer duality for topoi and its relation with site presentations
Fuente:
arXiv
Saved in:
| Main Authors: | Di Liberti, Ivan, González, Julia Ramos |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Exponentiable Grothendieck categories in flat Algebraic Geometry
by: Di Liberti, Ivan, et al.
Published: (2021)
by: Di Liberti, Ivan, et al.
Published: (2021)
Sketches and Classifying Logoi
by: Di Liberti, Ivan, et al.
Published: (2024)
by: Di Liberti, Ivan, et al.
Published: (2024)
From coextensive varieties to the Gaeta topos
by: Zuluaga, William
Published: (2022)
by: Zuluaga, William
Published: (2022)
Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)
by: Di Liberti, Ivan, et al.
Published: (2025)
Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)
by: Di Liberti, Ivan, et al.
Published: (2024)
Solution to Lawvere's first problem: a Grothendieck topos that has proper class many quotient topoi
by: Kamio, Yuhi, et al.
Published: (2024)
by: Kamio, Yuhi, et al.
Published: (2024)
Adjoint functor theorems for lax-idempotent pseudomonads
by: Arkor, Nathanael, et al.
Published: (2023)
by: Arkor, Nathanael, et al.
Published: (2023)
Morita theory for quantales
by: Mesablishvili, Bachuki
Published: (2025)
by: Mesablishvili, Bachuki
Published: (2025)
Enriched positive logic
by: Rosický, Jiří, et al.
Published: (2025)
by: Rosický, Jiří, et al.
Published: (2025)
On Naturally and Weakly Mal'tsev Categories
by: Martins-Ferreira, Nelson
Published: (2025)
by: Martins-Ferreira, Nelson
Published: (2025)
The Lawvere condition
by: Martins-Ferreira, Nelson
Published: (2025)
by: Martins-Ferreira, Nelson
Published: (2025)
Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
by: Arkor, Nathanael, et al.
Published: (2024)
by: Arkor, Nathanael, et al.
Published: (2024)
Familial Monads as Higher Category Theories
by: Shapiro, Brandon
Published: (2021)
by: Shapiro, Brandon
Published: (2021)
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
by: Ko, Joanna
Published: (2026)
by: Ko, Joanna
Published: (2026)
Dualities in the theory of accessible categories
by: Tendas, Giacomo
Published: (2023)
by: Tendas, Giacomo
Published: (2023)
Indexed Grothendieck construction
by: Caviglia, Elena, et al.
Published: (2023)
by: Caviglia, Elena, et al.
Published: (2023)
Birkhoff's variety theorem for relative algebraic theories
by: Kawase, Yuto
Published: (2023)
by: Kawase, Yuto
Published: (2023)
Unbiased multicategory theory
by: Pisani, Claudio
Published: (2024)
by: Pisani, Claudio
Published: (2024)
A Polynomial Construction of Nerves for Higher Categories
by: Shapiro, Brandon T., et al.
Published: (2024)
by: Shapiro, Brandon T., et al.
Published: (2024)
On the tensor product of completely distributive quantale-enriched categories
by: Balan, Adriana
Published: (2025)
by: Balan, Adriana
Published: (2025)
Limits in dagger categories
by: Heunen, Chris, et al.
Published: (2018)
by: Heunen, Chris, et al.
Published: (2018)
2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)
by: Mesiti, Luca
Published: (2024)
The Grothendieck construction for delta lenses
by: Clarke, Bryce
Published: (2025)
by: Clarke, Bryce
Published: (2025)
Filtered bicolimit presentations of locally presentable linear categories, Grothendieck categories and their tensor products
by: González, J. Ramos
Published: (2020)
by: González, J. Ramos
Published: (2020)
The nerve theorem for relative monads
by: Arkor, Nathanael, et al.
Published: (2024)
by: Arkor, Nathanael, et al.
Published: (2024)
What is the universal property of the 2-category of monads?
by: Lack, Stephen, et al.
Published: (2022)
by: Lack, Stephen, et al.
Published: (2022)
More on soundness in the enriched context
by: Tendas, Giacomo
Published: (2024)
by: Tendas, Giacomo
Published: (2024)
Relativized universal algebra via partial Horn logic
by: Kawase, Yuto
Published: (2024)
by: Kawase, Yuto
Published: (2024)
Categories by Kan extension
by: Spivak, David I.
Published: (2025)
by: Spivak, David I.
Published: (2025)
Filtered colimit elimination from Birkhoff's variety theorem
by: Kawase, Yuto
Published: (2023)
by: Kawase, Yuto
Published: (2023)
An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
by: Maietti, Maria Emilia, et al.
Published: (2025)
by: Maietti, Maria Emilia, et al.
Published: (2025)
Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)
by: Di Liberti, Ivan, et al.
Published: (2026)
Hearts of set-generated t-structures have a set of generators
by: Saorín, Manuel
Published: (2024)
by: Saorín, Manuel
Published: (2024)
Quantale-valued maps and partial maps
by: Shen, Lili, et al.
Published: (2024)
by: Shen, Lili, et al.
Published: (2024)
Internal 1-topoi in 2-topoi
by: Helfer, Joseph
Published: (2024)
by: Helfer, Joseph
Published: (2024)
Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
by: Lucyshyn-Wright, Rory B. B., et al.
Published: (2023)
by: Lucyshyn-Wright, Rory B. B., et al.
Published: (2023)
Relative monadicity
by: Arkor, Nathanael, et al.
Published: (2023)
by: Arkor, Nathanael, et al.
Published: (2023)
A finite algebraic presentation of Lawvere theories in the object-classifier topos
by: Fiore, Marcelo, et al.
Published: (2024)
by: Fiore, Marcelo, et al.
Published: (2024)
A topos for extended Weihrauch degrees
by: Maschio, Samuele, et al.
Published: (2025)
by: Maschio, Samuele, et al.
Published: (2025)
Lax structures in 2-category theory
by: Štěpán, Miloslav
Published: (2025)
by: Štěpán, Miloslav
Published: (2025)
Similar Items
-
Exponentiable Grothendieck categories in flat Algebraic Geometry
by: Di Liberti, Ivan, et al.
Published: (2021) -
Sketches and Classifying Logoi
by: Di Liberti, Ivan, et al.
Published: (2024) -
From coextensive varieties to the Gaeta topos
by: Zuluaga, William
Published: (2022) -
Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025) -
Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)