Join Nostr
2025-03-10 22:51:31 UTC
in reply to

John Carlos Baez on Nostr: - Obviously it was trying to say a 1-category is a 2-category with only identity ...

- Obviously it was trying to say a 1-category is a 2-category with only identity morphisms. 🥴