これがホントの圏論（） nostr:note1vmxwttztnj08txkcghfurywex0d5a6c0tjhwmunar2x5uvk6uhnqkz5xg4