[analytic philosopher defining a functor]In this section I shall defend the claim that (Y) For any category C, and for any object A in C, hom_C(A,-) is a functor from C to Set.An Essentialist may…
Posters: davidad. davidad
4 likes recorded by the source corpus.
Topics: Math