Simplicial lists in operad theory I

Redi Haderi, Özgün Ünlü

We define a category $\mathsf{List}$ whose objects are sets and morphisms are mappings which assign to an element in the domain an ordered sequence (list) of elements in the codoma…