Copertina

Non-Standard Models of Homotopy Type Theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Rasekh, Nima
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Category Theory Logic 03B38, 03H05, 18N40, 18C50, 03G30, 18N60
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
di: Rasekh, Nima
Pubblicazione: (2025)

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

Algebraic Type Theory, Part 1: Martin-Löf algebras
di: Awodey, Steve
Pubblicazione: (2025)

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

A 2-categorical approach to the semantics of dependent type theory with computation axioms
di: Spadetto, Matteo
Pubblicazione: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
di: Stenzel, Raffael
Pubblicazione: (2020)

Ext groups in Homotopy Type Theory
di: Christensen, J. Daniel, et al.
Pubblicazione: (2023)

On the $\infty$-topos semantics of homotopy type theory
di: Riehl, Emily
Pubblicazione: (2022)

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

The biequivalence of path categories and axiomatic Martin-Löf type theories
di: Otten, Daniël, et al.
Pubblicazione: (2025)

Non-accessible localizations
di: Christensen, J. Daniel
Pubblicazione: (2021)

Internal sums for synthetic fibered $(\infty,1)$-categories
di: Weinberger, Jonathan
Pubblicazione: (2022)

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
di: van Woerkom, Wijnand, et al.
Pubblicazione: (2024)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
di: Frey, Jonas
Pubblicazione: (2023)

Biased elementary doctrines and quotient completions
di: Cioffo, Cipriano Junior
Pubblicazione: (2023)

Filter Quotient Model Structures
di: Rasekh, Nima
Pubblicazione: (2025)

Logical Aspects of Virtual Double Categories
di: Nasu, Hayato
Pubblicazione: (2025)

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

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

Generalized Chevalley criteria in simplicial homotopy type theory
di: Weinberger, Jonathan
Pubblicazione: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
di: Weinberger, Jonathan
Pubblicazione: (2022)

The Yoneda embedding in simplicial type theory
di: Gratzer, Daniel, et al.
Pubblicazione: (2025)

Directed univalence in simplicial homotopy type theory
di: Gratzer, Daniel, et al.
Pubblicazione: (2024)

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

On logical parameterizations and functional representability in local set theories
di: Hernández, Enrique Ruiz, et al.
Pubblicazione: (2021)

Synthetic perspectives on spaces and categories
di: Riehl, Emily
Pubblicazione: (2025)

Beyond Eckmann-Hilton: Commutativity in Higher Categories
di: Benjamin, Thibaut, et al.
Pubblicazione: (2025)

Arrow algebras
di: Berg, Benno van den, et al.
Pubblicazione: (2023)

A 2-categorical proof of Frobenius for fibrations defined from a generic point
di: Hazratpour, Sina, et al.
Pubblicazione: (2022)

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

Internal 1-topoi in 2-topoi
di: Helfer, Joseph
Pubblicazione: (2024)

Cosmological Unstraightening
di: Rasekh, Nima
Pubblicazione: (2025)

Type Theory for the Working Mathematical Music Theorist
di: Flieder, Drew
Pubblicazione: (2025)

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

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

Generalised ultracategories and conceptual completeness of geometric logic
di: Hamad, Ali
Pubblicazione: (2025)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
di: Maietti, Maria Emilia, et al.
Pubblicazione: (2025)

The List Object Endofunctor is Polynomial
di: Desrochers, Samuel
Pubblicazione: (2025)

Extensional concepts in intensional type theory, revisited
di: Kapulkin, Chris, et al.
Pubblicazione: (2023)

Formalizing colimits in Cat
di: Carneiro, Mario, et al.
Pubblicazione: (2025)