Loading 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?
Just a second…
load older messages full transcript highlights

You must be logged in to talk. See the faq for more information.