Discussion on question by Oliver House: When does a given type of 'mathematical structure' (groups, metric spaces...) have a 'natural' choice of morphism to turn it into a category?

Explicit write access

Even when this room is read-only or their reputation is too low, these users will be able to talk in this room. Users with insufficient reputation to chat have been granted write access to this room by a chat moderator.