Just a quick question regarding the notation in the category notes: Which notation are we using,
1)
A set objects:
The set of morphisms associated to the objects:
The category itself:
or
2)
The category itself:
The set of morphisms associated to the objects/category:
A set objects:
?
The hand written notes seem to mostly follow (1) but to sometimes use (2). If this is intentional abuse, should it be noted?