John Carlos Baez on Nostr: nprofile1q…chszg - Obviously it was trying to say a 1-category is a 2-category with ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqez3yya8tpgge7lk4jq2zxz0cj3d2mcgev9mffd4ec7tfy84hre4sqchszg (nprofile…hszg) - Obviously it was trying to say a 1-category is a 2-category with only identity morphisms. 🥴