John Carlos Baez on Nostr: - maybe it's more user-friendly to explain the special case, the Yoneda special case, ...- maybe it's more user-friendly to explain the special case, the Yoneda special case, before the general case?