Lawvere theories and C-systems

DOI10.1090/proc/14660zbMath1451.18013arXiv1512.08104OpenAlexW3007277766MaRDI QIDQ4959711

Vladimir Voevodsky, Marcelo P. Fiore

Publication date: 7 April 2020

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1512.08104

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Metamathematics of constructive systems (03F50) Other classes of algebras (08C99)

Related Items (2)

The Interpretation Lifting Theorem for C-Systems ⋮ C-system of a module over a \(Jf\)-relative monad

Uses Software

• UniMath
• GitHub

Cites Work

• Unnamed Item
• Generalized algebraic theories and contextual categories
• Subsystems and regular quotients of C-systems
• A C-system defined by a universe category
• Internal type theory
• In Memoriam: Vladimir Voevodsky
• An experimental library of formalized Mathematics based on the univalent foundations

This page was built for publication: Lawvere theories and C-systems