On combinatorial aspects of fat Delta

The category fat Delta, introduced by J. Kock, is a modification of the simplex category where the degeneracies behave weakly. The objective of this note is to provide tools for working with fat Delta. In particular, we identify three types of morphisms: degenerated, standard and vertical faces, and establish six relations between these classes. We then show that fat Delta is generated by these morphisms and relations.