|
|
|
|
|
|
by catnaroek
3744 days ago
|
|
|
I think normally one considers the opposite category, where arrows go from subtypes to supertypes, because it can be embedded in the usual category of types and functions, by considering each arrow as the upcasting function. |
|
|