Skip to main content
2 of 2
deleted 125 characters in body
Hans-Peter Stricker
  • 9.7k
  • 5
  • 54
  • 113

Is this a helpful analogy?

Any categorical theory (whose models are all isomorphic) describes a structure uniquely up to isomorphism. In this case there is no need to start with a set-model and forget about it after it has done its work.

On the other hand: Only non-categorical theories give rise to full-blown concrete categories like that of groups with homomorphisms, topological spaces with continuous maps and so on.

Hans-Peter Stricker
  • 9.7k
  • 5
  • 54
  • 113