Buchumschlag

A Model of Type Theory in Groupoid Assemblies

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Agwu, Anthony
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Category Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Groupoidal Realizability for Intensional Type Theory
von: Speight, Sam
Veröffentlicht: (2024)

n-Groupoids and Stacky Groupoids
von: Zhu, Chenchang
Veröffentlicht: (2008)

The Bicategory of Lie Groupoids within Diffeological Groupoids
von: Watts, Jordan
Veröffentlicht: (2022)

Groupoid Cardinality and Random Permutations
von: Baez, John C.
Veröffentlicht: (2024)

Fibrations in Directed Type Theory
von: Lossin, Benno
Veröffentlicht: (2026)

Groupoids, imaginaries and internal covers
von: Hrushovski, Ehud
Veröffentlicht: (2006)

Displayed Type Theory and Semi-Simplicial Types
von: Kolomatskaia, Astra, et al.
Veröffentlicht: (2023)

Path Types in Algebraic Type Theory
von: Awodey, Steve, et al.
Veröffentlicht: (2026)

A Type Theory with a Tiny Object
von: Riley, Mitchell
Veröffentlicht: (2024)

Groupoid G-spans and matrices over group rings
von: Kock, Joachim, et al.
Veröffentlicht: (2026)

Algebraic Presentations of Type Dependency
von: Ahrens, Benedikt, et al.
Veröffentlicht: (2021)

(Pointed) Univalence in Universe Category Models of Type Theory
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Formal Model Theory & Higher Topology
von: Di Liberti, Ivan
Veröffentlicht: (2020)

Synthetic 1-Categories in Directed Type Theory
von: Altenkirch, Thorsten, et al.
Veröffentlicht: (2024)

Continuous Quivers of Type A (IV) Continuous Mutation and Geometric Models of $\mathbf E$-clusters
von: Rock, Job
Veröffentlicht: (2020)

Categorical Theory of $(\infty,ω)$-Categories
von: Loubaton, Félix
Veröffentlicht: (2024)

Torsion Theories in a Non-pointed Context
von: Cappelletti, Andrea, et al.
Veröffentlicht: (2025)

Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory
von: Lynch, Owen, et al.
Veröffentlicht: (2025)

Functor String Diagrams: A Novel Approach to Flexible Diagrams for Applied Category Theory
von: Abbott, Vincent, et al.
Veröffentlicht: (2024)

A Very Short Introduction to Topos Theory (adapted from Prof. Pettigrew's notes)
von: Schmid, Eric
Veröffentlicht: (2024)

Tricategorical Universal Properties Via Enriched Homotopy Theory
von: Miranda, Adrian
Veröffentlicht: (2024)

Coslice Colimits in Homotopy Type Theory
von: Hart, Perry, et al.
Veröffentlicht: (2024)

Classical Set Theory: Theory of Sets and Classes
von: Banakh, Taras
Veröffentlicht: (2020)

A Groupoid Approach to the Riemann Integral (and Path Integral Quantization of the Poisson Sigma Model)
von: Lackman, Joshua
Veröffentlicht: (2023)

The Unreasonable Efficacy of the Lifting Condition in Higher Categorical Galois Theory I: a Quasi-categorical Galois Theorem
von: Rennie, Joseph
Veröffentlicht: (2024)

Extended Module Categories in Higher Cluster Tilting Theory
von: Mochizuki, Nao
Veröffentlicht: (2026)

Foundations of Substructural Dependent Type Theory
von: Aberlé, C. B.
Veröffentlicht: (2024)

Polynomial Universes in Homotopy Type Theory
von: Aberlé, C. B., et al.
Veröffentlicht: (2024)

Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory
von: Ikebuchi, Mirai
Veröffentlicht: (2026)

From Semantics to Syntax: A Type Theory for Comprehension Categories
von: Najmaei, Niyousha, et al.
Veröffentlicht: (2025)

Oriented Category Theory
von: Gepner, David, et al.
Veröffentlicht: (2025)

Category Theory for Programming
von: Ahrens, Benedikt, et al.
Veröffentlicht: (2022)

The Theory behind UMAP?
von: Wegmann, David
Veröffentlicht: (2026)

An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators
von: Fiore, Marcelo
Veröffentlicht: (2015)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

An injective Model for Twisted Derived Categories and Curved Koszul Triality
von: Hoyer, Yannick, et al.
Veröffentlicht: (2025)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
von: Aberlé, C. B.
Veröffentlicht: (2026)

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence
von: Faridian, Hossein
Veröffentlicht: (2024)

Topos-Theoretic Approaches to Quantum Theory
von: Vákár, Matthijs
Veröffentlicht: (2021)

Sections of Fell Bundles over Étale Groupoids
von: Bice, Tristan
Veröffentlicht: (2023)