- document
-
Ahrens, B.P. (author), Emmenegger, Jacopo (author), North, Paige Randall (author), Rijke, Egbert (author)C-systems were defined by Cartmell as models of generalized algebraic theories. B-systems were defined by Voevodsky in his quest to formulate and prove an initiality conjecture for type theories. They play a crucial role in Voevodsky's construction of a syntactic C-system from a term monad. In this work, we construct an equivalence between...journal article 2023