Omar Antolín on Nostr: nprofile1q…fv2av Maybe the old-fashioned "set-valued functor" is more to your ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq73zugfcw5qemam49j598gfhr5nyctxun4mt3y8qf4ayj4pdnt7gqkfv2av (nprofile…v2av) Maybe the old-fashioned "set-valued functor" is more to your liking than "copresheaf"?