Lawvere theories and C-systems
Logic
2015-12-29 v1 Category Theory
Abstract
In this paper we consider the class of l-bijective C-systems, i.e., C-systems for which the length function is a bijection. The main result of the paper is a construction of an isomorphism between two categories - the category of l-bijective C-systems and the category of Lawvere theories.
Keywords
Cite
@article{arxiv.1512.08104,
title = {Lawvere theories and C-systems},
author = {Vladimir Voevodsky},
journal= {arXiv preprint arXiv:1512.08104},
year = {2015}
}