Need more sameness symbols:
≃ is taken by equivalence of types
≅ is taken by isomorphism of objects in a category
≡ is taken by the path type
= is reserved syntax
what symbol do I use for adjoint equivalence of categories
Conversation
== and === and ==== are pretty popular in programming.
1
