Bartosz Milewski on Nostr: npub10ts00…jwved This distinction (injections vs inclusions) makes sense in sets, ...
npub10ts00apxcyz66zrr5wn5rf5wjjmpqfc8fey05hu90zpu0d950rlsfjwved (npub10ts…wved) This distinction (injections vs inclusions) makes sense in sets, but does it make sense in category theory?