Image de couverture de livre

Fibrations in Directed Type Theory

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Lossin, Benno
Format:	Preprint
Publié:	2026
Sujets:	Category Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Fibrations of algebras
par: Ahman, Danel, et autres
Publié: (2024)

Approximate Fibrations in Higher Topos Theory
par: Kremer, Christian, et autres
Publié: (2025)

A Fibrational Theory of First Order Differential Structures
par: Capucci, Matteo, et autres
Publié: (2024)

Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations
par: Gorard, Jonathan
Publié: (2024)

Weak and Strong Fibrations of Functors
par: Carcacía-Campos, Isaac, et autres
Publié: (2026)

Operadic Fibrations and Unary Operadic 2-categories
par: Trnka, Dominik
Publié: (2024)

Synthetic 1-Categories in Directed Type Theory
par: Altenkirch, Thorsten, et autres
Publié: (2024)

A Model of Type Theory in Groupoid Assemblies
par: Agwu, Anthony
Publié: (2025)

Displayed Type Theory and Semi-Simplicial Types
par: Kolomatskaia, Astra, et autres
Publié: (2023)

A constructive approach to the double-categorical small object argument
par: Berg, Benno van den, et autres
Publié: (2025)

Fibrational Perspectives on Determinization of Finite-State Automata
par: Li, Thea
Publié: (2024)

Path Types in Algebraic Type Theory
par: Awodey, Steve, et autres
Publié: (2026)

Algebraic Presentations of Type Dependency
par: Ahrens, Benedikt, et autres
Publié: (2021)

Layered Monoidal Theories II: Fibrational Semantics
par: Lobski, Leo, et autres
Publié: (2026)

A Type Theory with a Tiny Object
par: Riley, Mitchell
Publié: (2024)

Categorical Theory of $(\infty,ω)$-Categories
par: Loubaton, Félix
Publié: (2024)

Torsion Theories in a Non-pointed Context
par: Cappelletti, Andrea, et autres
Publié: (2025)

Tricategorical Universal Properties Via Enriched Homotopy Theory
par: Miranda, Adrian
Publié: (2024)

Groupoidal Realizability for Intensional Type Theory
par: Speight, Sam
Publié: (2024)

Coslice Colimits in Homotopy Type Theory
par: Hart, Perry, et autres
Publié: (2024)

Classical Set Theory: Theory of Sets and Classes
par: Banakh, Taras
Publié: (2020)

Functor String Diagrams: A Novel Approach to Flexible Diagrams for Applied Category Theory
par: Abbott, Vincent, et autres
Publié: (2024)

A Very Short Introduction to Topos Theory (adapted from Prof. Pettigrew's notes)
par: Schmid, Eric
Publié: (2024)

Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory
par: Lynch, Owen, et autres
Publié: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
par: Kapulkin, Chris, et autres
Publié: (2025)

The Unreasonable Efficacy of the Lifting Condition in Higher Categorical Galois Theory I: a Quasi-categorical Galois Theorem
par: Rennie, Joseph
Publié: (2024)

Extended Module Categories in Higher Cluster Tilting Theory
par: Mochizuki, Nao
Publié: (2026)

Formal Model Theory & Higher Topology
par: Di Liberti, Ivan
Publié: (2020)

Foundations of Substructural Dependent Type Theory
par: Aberlé, C. B.
Publié: (2024)

Polynomial Universes in Homotopy Type Theory
par: Aberlé, C. B., et autres
Publié: (2024)

Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory
par: Ikebuchi, Mirai
Publié: (2026)

Continuous Quivers of Type A (IV) Continuous Mutation and Geometric Models of $\mathbf E$-clusters
par: Rock, Job
Publié: (2020)

Directed path and Moore flow
par: Gaucher, Philippe
Publié: (2026)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
par: Laretto, Andrea, et autres
Publié: (2024)

Directed degeneracy maps for precubical sets
par: Gaucher, Philippe
Publié: (2022)

Cartesian Fibrations of $(\infty,2)$-categories
par: Gagna, Andrea, et autres
Publié: (2021)

The Theory behind UMAP?
par: Wegmann, David
Publié: (2026)

Oriented Category Theory
par: Gepner, David, et autres
Publié: (2025)

Category Theory for Programming
par: Ahrens, Benedikt, et autres
Publié: (2022)

Impredicativity in Linear Dependent Type Theory
par: Speight, Sam, et autres
Publié: (2026)