Lawvere theories and C-systems

Submitted by vladimir on Tue, 2017-02-07 11:02

Publication Type:

Journal Article

Authors:

Voevodsky, Vladimir

Source:

arXiv:1512.08104, p.15pp (2015)

URL:

https://arxiv.org/abs/1512.08104

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.

Files: 
PDF icon Lawvere_and_C.pdf
Weight: 
18