This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
This particular equivalence (a set as a category with no morphisms) is, however, rarely useful. Not because it’s incorrect in any way, but rather because category theory is all about the morphisms — if the arrows in set theory are nothing but a connection between the sets that serve as their source and a destination, in category theory it’s the objects that are nothing but a source and destination…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.