Hello, I have posted on the arXiv a paper that I think might be of interest to many people on this list. It is about the connection between Lawvere theories and Cartmell’s contextual categories (called C-systems in the paper). Here is the link http://arxiv.org/abs/1512.08104 <http://arxiv.org/abs/1512.08104>. Vladimir. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]