A Model of Type Theory in Groupoid Assemblies
Fuente:
arXiv
Saved in:
| Main Author: | Agwu, Anthony |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024)
by: Speight, Sam
Published: (2024)
n-Groupoids and Stacky Groupoids
by: Zhu, Chenchang
Published: (2008)
by: Zhu, Chenchang
Published: (2008)
The Bicategory of Lie Groupoids within Diffeological Groupoids
by: Watts, Jordan
Published: (2022)
by: Watts, Jordan
Published: (2022)
Groupoid Cardinality and Random Permutations
by: Baez, John C.
Published: (2024)
by: Baez, John C.
Published: (2024)
Fibrations in Directed Type Theory
by: Lossin, Benno
Published: (2026)
by: Lossin, Benno
Published: (2026)
Groupoids, imaginaries and internal covers
by: Hrushovski, Ehud
Published: (2006)
by: Hrushovski, Ehud
Published: (2006)
Displayed Type Theory and Semi-Simplicial Types
by: Kolomatskaia, Astra, et al.
Published: (2023)
by: Kolomatskaia, Astra, et al.
Published: (2023)
Path Types in Algebraic Type Theory
by: Awodey, Steve, et al.
Published: (2026)
by: Awodey, Steve, et al.
Published: (2026)
A Type Theory with a Tiny Object
by: Riley, Mitchell
Published: (2024)
by: Riley, Mitchell
Published: (2024)
Groupoid G-spans and matrices over group rings
by: Kock, Joachim, et al.
Published: (2026)
by: Kock, Joachim, et al.
Published: (2026)
Algebraic Presentations of Type Dependency
by: Ahrens, Benedikt, et al.
Published: (2021)
by: Ahrens, Benedikt, et al.
Published: (2021)
(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)
by: Kapulkin, Chris, et al.
Published: (2025)
Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)
by: Di Liberti, Ivan
Published: (2020)
Synthetic 1-Categories in Directed Type Theory
by: Altenkirch, Thorsten, et al.
Published: (2024)
by: Altenkirch, Thorsten, et al.
Published: (2024)
Continuous Quivers of Type A (IV) Continuous Mutation and Geometric Models of $\mathbf E$-clusters
by: Rock, Job
Published: (2020)
by: Rock, Job
Published: (2020)
Categorical Theory of $(\infty,ω)$-Categories
by: Loubaton, Félix
Published: (2024)
by: Loubaton, Félix
Published: (2024)
Torsion Theories in a Non-pointed Context
by: Cappelletti, Andrea, et al.
Published: (2025)
by: Cappelletti, Andrea, et al.
Published: (2025)
Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory
by: Lynch, Owen, et al.
Published: (2025)
by: Lynch, Owen, et al.
Published: (2025)
Functor String Diagrams: A Novel Approach to Flexible Diagrams for Applied Category Theory
by: Abbott, Vincent, et al.
Published: (2024)
by: Abbott, Vincent, et al.
Published: (2024)
A Very Short Introduction to Topos Theory (adapted from Prof. Pettigrew's notes)
by: Schmid, Eric
Published: (2024)
by: Schmid, Eric
Published: (2024)
Tricategorical Universal Properties Via Enriched Homotopy Theory
by: Miranda, Adrian
Published: (2024)
by: Miranda, Adrian
Published: (2024)
Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)
by: Hart, Perry, et al.
Published: (2024)
Classical Set Theory: Theory of Sets and Classes
by: Banakh, Taras
Published: (2020)
by: Banakh, Taras
Published: (2020)
A Groupoid Approach to the Riemann Integral (and Path Integral Quantization of the Poisson Sigma Model)
by: Lackman, Joshua
Published: (2023)
by: Lackman, Joshua
Published: (2023)
The Unreasonable Efficacy of the Lifting Condition in Higher Categorical Galois Theory I: a Quasi-categorical Galois Theorem
by: Rennie, Joseph
Published: (2024)
by: Rennie, Joseph
Published: (2024)
Extended Module Categories in Higher Cluster Tilting Theory
by: Mochizuki, Nao
Published: (2026)
by: Mochizuki, Nao
Published: (2026)
Foundations of Substructural Dependent Type Theory
by: Aberlé, C. B.
Published: (2024)
by: Aberlé, C. B.
Published: (2024)
Polynomial Universes in Homotopy Type Theory
by: Aberlé, C. B., et al.
Published: (2024)
by: Aberlé, C. B., et al.
Published: (2024)
Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory
by: Ikebuchi, Mirai
Published: (2026)
by: Ikebuchi, Mirai
Published: (2026)
From Semantics to Syntax: A Type Theory for Comprehension Categories
by: Najmaei, Niyousha, et al.
Published: (2025)
by: Najmaei, Niyousha, et al.
Published: (2025)
Oriented Category Theory
by: Gepner, David, et al.
Published: (2025)
by: Gepner, David, et al.
Published: (2025)
Category Theory for Programming
by: Ahrens, Benedikt, et al.
Published: (2022)
by: Ahrens, Benedikt, et al.
Published: (2022)
The Theory behind UMAP?
by: Wegmann, David
Published: (2026)
by: Wegmann, David
Published: (2026)
An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators
by: Fiore, Marcelo
Published: (2015)
by: Fiore, Marcelo
Published: (2015)
Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)
by: Speight, Sam, et al.
Published: (2026)
An injective Model for Twisted Derived Categories and Curved Koszul Triality
by: Hoyer, Yannick, et al.
Published: (2025)
by: Hoyer, Yannick, et al.
Published: (2025)
Compositional Program Verification with Polynomial Functors in Dependent Type Theory
by: Aberlé, C. B.
Published: (2026)
by: Aberlé, C. B.
Published: (2026)
Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence
by: Faridian, Hossein
Published: (2024)
by: Faridian, Hossein
Published: (2024)
Topos-Theoretic Approaches to Quantum Theory
by: Vákár, Matthijs
Published: (2021)
by: Vákár, Matthijs
Published: (2021)
Sections of Fell Bundles over Étale Groupoids
by: Bice, Tristan
Published: (2023)
by: Bice, Tristan
Published: (2023)
Similar Items
-
Groupoidal Realizability for Intensional Type Theory
by: Speight, Sam
Published: (2024) -
n-Groupoids and Stacky Groupoids
by: Zhu, Chenchang
Published: (2008) -
The Bicategory of Lie Groupoids within Diffeological Groupoids
by: Watts, Jordan
Published: (2022) -
Groupoid Cardinality and Random Permutations
by: Baez, John C.
Published: (2024) -
Fibrations in Directed Type Theory
by: Lossin, Benno
Published: (2026)