We normally present the theory of categories in SET, that is, we define a category as a set of objects and a set of morphisms. If we do not present categories in SET, how do we present the abstract structure of a monoidal category?
Monoidal categories, but not in SET
1
$\begingroup$
category-theory
-
0Hi Julian, I'm afraid I cannot answer the question here. Qiaochu's post sounds like it might be an answer, but I would butcher it if I tried to write out an answer based on his suggestion. – 2013-06-09