Imagen de Portada

Bi-directional models of `radically synthetic' differential geometry

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Menni, Matías
Formato:	Preprint
Publicado:	2024
Materias:	Category Theory 58A03, 18B25, 18F10, 03G30
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

A topos for extended Weihrauch degrees
por: Maschio, Samuele, et al.
Publicado: (2025)

Craig Interpolation for Subgeometric Logics
por: Di Liberti, Ivan, et al.
Publicado: (2026)

Arrow algebras
por: Berg, Benno van den, et al.
Publicado: (2023)

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

A $j$-translation with Kripke forcing relation
por: Nakata, Satoshi
Publicado: (2026)

The elementary theory of the 2-category of small categories
por: Hughes, Calum, et al.
Publicado: (2024)

Existentially closed models and locally zero-dimensional toposes
por: Kamsma, Mark, et al.
Publicado: (2024)

Topoi with enough points
por: Di Liberti, Ivan, et al.
Publicado: (2024)

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

A category of arrow algebras for modified realizability
por: Tarantino, Umberto
Publicado: (2024)

Biased elementary doctrines and quotient completions
por: Cioffo, Cipriano Junior
Publicado: (2023)

The algebraic internal groupoid model of Martin-Löf type theory
por: Hughes, Calum
Publicado: (2025)

Generalised ultracategories and conceptual completeness of geometric logic
por: Hamad, Ali
Publicado: (2025)

Sites and Grothendieck toposes: an introduction
por: Caramello, Olivia, et al.
Publicado: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
por: Caramello, Olivia, et al.
Publicado: (2025)

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

Tininess and right adjoints to exponentials
por: Hernández, Enrique Ruiz, et al.
Publicado: (2026)

Internal 1-topoi in 2-topoi
por: Helfer, Joseph
Publicado: (2024)

Skolem, Gödel, and Hilbert fibrations
por: Trotta, Davide, et al.
Publicado: (2024)

Stratified Toposes
por: Zwanziger, Colin
Publicado: (2024)

Kripke-Joyal forcing for type theory and uniform fibrations
por: Awodey, S., et al.
Publicado: (2021)

The representing localic groupoid for a geometric theory
por: Manuell, Graham, et al.
Publicado: (2023)

Connectedness through decidable quotients
por: Hernández, Enrique Ruiz, et al.
Publicado: (2023)

The List Object Endofunctor is Polynomial
por: Desrochers, Samuel
Publicado: (2025)

$Sh(B)$-valued models of $(κ,κ)$-coherent categories
por: Kanalas, Kristóf
Publicado: (2023)

Cartesian double theories: A double-categorical framework for categorical doctrines
por: Lambert, Michael, et al.
Publicado: (2023)

From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography
por: Inoué, Takao
Publicado: (2026)

A Completeness Theorem for Topological Doctrines
por: Ghilardi, Silvio, et al.
Publicado: (2025)

The cohomology objects of a semi-abelian variety are small
por: Mattenet, Sébastien, et al.
Publicado: (2024)

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

Toposes with enough points as categories of étale spaces
por: van Gool, Sam, et al.
Publicado: (2025)

The free bifibration on a functor
por: Clarke, Bryce, et al.
Publicado: (2025)

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

A comonad for Grothendieck fibrations
por: Emmenegger, Jacopo, et al.
Publicado: (2023)

Quotients, pure existential completions and arithmetic universes
por: Maietti, Maria Emilia, et al.
Publicado: (2023)

Sketches and Classifying Logoi
por: Di Liberti, Ivan, et al.
Publicado: (2024)

Categorical structure in coherent theory of arithmetic
por: Ye, Lingyuan
Publicado: (2023)

A Categorical Generalization of Counterpoint
por: Agustín-Aquino, Octavio A., et al.
Publicado: (2018)