Cover Image

A Model of Type Theory in Groupoid Assemblies

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Agwu, Anthony
Format:	Preprint
Published:	2025
Subjects:	Category Theory
Online Access:	Acceder al recurso
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)

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)

Groupoids, imaginaries and internal covers
by: Hrushovski, Ehud
Published: (2006)

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

Path Types in Algebraic Type Theory
by: Awodey, Steve, et al.
Published: (2026)

A Type Theory with a Tiny Object
by: Riley, Mitchell
Published: (2024)

Groupoid G-spans and matrices over group rings
by: Kock, Joachim, et al.
Published: (2026)

Algebraic Presentations of Type Dependency
by: Ahrens, Benedikt, et al.
Published: (2021)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)

Synthetic 1-Categories in Directed Type Theory
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)

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

Torsion Theories in a Non-pointed Context
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)

Functor String Diagrams: A Novel Approach to Flexible Diagrams for Applied Category Theory
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)

Tricategorical Universal Properties Via Enriched Homotopy Theory
by: Miranda, Adrian
Published: (2024)

Coslice Colimits in Homotopy Type Theory
by: Hart, Perry, et al.
Published: (2024)

Classical Set Theory: Theory of Sets and Classes
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)

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

Extended Module Categories in Higher Cluster Tilting Theory
by: Mochizuki, Nao
Published: (2026)

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

Polynomial Universes in Homotopy Type Theory
by: Aberlé, C. B., et al.
Published: (2024)

Anick Resolution for Lawvere Theories from Algebraic Discrete Morse Theory
by: Ikebuchi, Mirai
Published: (2026)

From Semantics to Syntax: A Type Theory for Comprehension Categories
by: Najmaei, Niyousha, et al.
Published: (2025)

Oriented Category Theory
by: Gepner, David, et al.
Published: (2025)

Category Theory for Programming
by: Ahrens, Benedikt, et al.
Published: (2022)

The Theory behind UMAP?
by: Wegmann, David
Published: (2026)

An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators
by: Fiore, Marcelo
Published: (2015)

Impredicativity in Linear Dependent Type Theory
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)

Compositional Program Verification with Polynomial Functors in Dependent Type Theory
by: Aberlé, C. B.
Published: (2026)

Model Category Structure on Simplicial Algebras via Dold-Kan Correspondence
by: Faridian, Hossein
Published: (2024)

Topos-Theoretic Approaches to Quantum Theory
by: Vákár, Matthijs
Published: (2021)

Sections of Fell Bundles over Étale Groupoids
by: Bice, Tristan
Published: (2023)