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. 🥴