CaTT contexts are finite computads

DOI10.46298/ENTICS.14675MaRDI QIDQ6831454zbMATH OpenFDO

Authors Ioannis Markakis, Chiara Sarti

Publication date 2 April 2026

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.14675

zbMATH Keywords

\(\omega\)-categoriescategories with familiescomputadsdependent type theory

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A cellular nerve for higher categories
• A syntactical approach to weak omega-groupoids
• A Type-Theoretical Definition of Weak {\omega}-Categories
• Computads for weak -categories as an inductive type
• Formalisation of dependent type theory: The example of CaTT
• Higher-dimensional word problems with applications to equational logic
• Homomorphisms of higher categories
• Homotopy type theory. Univalent foundations of mathematics
• scientific article; zbMATH DE number 2125667 (Why is no real title available?)
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 1303765 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• Internal type theory
• Iterated algebraic injectivity and the faithfulness conjecture
• Limits indexed by category-valued 2-functors
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• On the homotopy hypothesis for 3-groupoids
• Polygraphic resolutions and homology of monoids
• The petit topos of globular sets
• Towards 3-dimensional rewriting theory
• Types are weak -groupoids
• Weak ω-Categories from Intensional Type Theory

Cited in

(1)

• Hom -categories of a computad are free

This page was built for publication: CaTT contexts are finite computads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831454)