24 Feb
2010
24 Feb
'10
4:30 p.m.
Mikael,
... $a \in C_0$, with the rationale that a category is a graph (consisting of vertices C_0 and edges C_1), ...
So "$a \in C_0$" = "a is an object in C" and "$f \in C_1$" = "f is a map in C" would be acceptable to some readers? Thanks, ... Peter E. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]