Imagen de Portada

Path Types in Algebraic Type Theory

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Awodey, Steve, Hua, Joseph
Formato:	Preprint
Publicado:	2026
Materias:	Category Theory Algebraic Topology Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Basic Category Theory
por: Leinster, Tom
Publicado: (2016)

Epimorphisms and Acyclic Types in Univalent Foundations
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

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

Impredicative Encodings of (Higher) Inductive Types
por: Awodey, Steve, et al.
Publicado: (2018)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
por: Perutka, Tomáš
Publicado: (2026)

Modal Fracture of Higher Groups
por: Myers, David Jaz
Publicado: (2021)

Higher presentable categories and limits
por: Aoki, Ko
Publicado: (2025)

Choice axioms and Postnikov completeness
por: Anel, Mathieu, et al.
Publicado: (2024)

Interpreting type theory in a quasicategory: a Yoneda approach
por: Cherradi, El Mehdi
Publicado: (2022)

Elementary $\infty$-toposes from type theory
por: Apol, Daniël, et al.
Publicado: (2025)

Higher geometric sheaf theories
por: Stenzel, Raffael
Publicado: (2022)

Internal languages of locally cartesian closed $(\infty,1)$-categories
por: Cherradi, El Mehdi
Publicado: (2025)

Non-trivial higher homotopy of first-order theories
por: Campion, Tim, et al.
Publicado: (2023)

Manifold Diagrams for Higher Categories
por: Heidemann, Lukas
Publicado: (2024)

Presentation of finite Reedy categories as localizations of finite direct categories
por: Sato, Genki
Publicado: (2025)

Algebraic Models for Quasi-Coherent Sheaves in Spectral Algebraic Geometry
por: Pratt, Adam
Publicado: (2024)

Path spaces of pushouts
por: Wärn, David
Publicado: (2024)

New model structures for Algebraic Quantum Field Theory
por: Carmona, Victor
Publicado: (2021)

Oriented Category Theory
por: Gepner, David, et al.
Publicado: (2025)

Approximate Fibrations in Higher Topos Theory
por: Kremer, Christian, et al.
Publicado: (2025)

The equivariant model structure on cartesian cubical sets
por: Awodey, Steve, et al.
Publicado: (2024)

Displayed Type Theory and Semi-Simplicial Types
por: Kolomatskaia, Astra, et al.
Publicado: (2023)

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

Envelopes for Algebraic Patterns
por: Barkan, Shaul, et al.
Publicado: (2022)

Reflecting compact $T_1$-spaces into bounded distributive lattices
por: Gehrke, Mai, et al.
Publicado: (2024)

Codensity: Isbell duality, pro-objects, compactness and accessibility
por: Di Liberti, Ivan
Publicado: (2019)

Overlap Algebras as Almost Discrete Locales
por: Ciraulo, Francesco
Publicado: (2016)

A type-theoretic definition of lax $(\infty,\infty)$-limits
por: Mikhail, Thomas Jan
Publicado: (2024)

Flat functors in the context of fibration categories
por: Cherradi, El Mehdi
Publicado: (2026)

Fully-Dualizable and Invertible $\mathcal{E}_n$-Algebras
por: Vazquez, Pablo Bustillo
Publicado: (2026)

Free fibrations, lax colimits and Kan extensions for $(\infty,2)$-categories
por: Abellán, Fernando, et al.
Publicado: (2026)

Binomial rings, and integral homology of complements of compact toric arrangements
por: Gorinov, Alexey G., et al.
Publicado: (2026)

Stable homotopy theory of higher categories
por: Heine, Hadrian
Publicado: (2026)

Directed path and Moore flow
por: Gaucher, Philippe
Publicado: (2026)

Invertibility and parity in symmetric monoidal categories
por: Gurski, Nick, et al.
Publicado: (2026)

A synthetic construction of universal cocartesian fibrations
por: Sattler, Christian, et al.
Publicado: (2026)

Classifying anima of condensed $\infty$-categories of points
por: Haine, Peter J.
Publicado: (2026)

Generalized Reedy diagrams in tribes
por: Cherradi, El Mehdi
Publicado: (2026)

On the equivalence of Brantner's and Chu--Haugseng's approaches to enriched $\infty$-operads
por: Arakawa, Kensuke
Publicado: (2026)

Regular clock map and trace space
por: Gaucher, Philippe
Publicado: (2026)