118 reputation
3
bio website dorafmon.com
location Bristol, United Kingdom
age 22
visits member for 1 year, 7 months
seen 5 hours ago

5h
awarded  Scholar
5h
awarded  Supporter
5h
accepted What is the opposite category of $Set$?
9h
comment What is the opposite category of $Set$?
@Pece if they are not functions what are they, I understand you can view functions as set of tuples $\{(x_0, y_0), (x_1, y_1)...\}$ and in ${Set}^{op}$ we are just inverting the order of x and y? But then how do we treat the morphisms from $\emptyset$ to other sets?
12h
comment What is the opposite category of $Set$?
@AsafKaragila haha that's funny but not very helpful.
12h
comment What is the opposite category of $Set$?
@ZhenLin but the opposite category has to be able to be instancable right? The morphisms in ${Set}^{op}$ has to be some concrete function I assume...
13h
awarded  Student
13h
asked What is the opposite category of $Set$?