125 reputation
5
bio website dorafmon.com
location Cambridge, United Kingdom
age 22
visits member for 1 year, 8 months
seen 3 hours ago

MPhil Computer Science @ University of Cambridge


2d
awarded  Informed
Nov
11
accepted Can any object in a Cartesian Closed Category regarded as a binary product?
Nov
10
asked Can any object in a Cartesian Closed Category regarded as a binary product?
Nov
6
awarded  Autobiographer
Oct
19
awarded  Scholar
Oct
19
awarded  Supporter
Oct
19
accepted What is the opposite category of $Set$?
Oct
19
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?
Oct
19
comment What is the opposite category of $Set$?
@AsafKaragila haha that's funny but not very helpful.
Oct
19
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...
Oct
19
awarded  Student
Oct
19
asked What is the opposite category of $Set$?