Skip to main content
2 of 4
links
François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233

This is very difficult to do. The Stuff, Structure, Property approach coined by Jim Dolan, John Baez and Toby Bartels is the best formalization I've seen. Here is the synopsis from the nLab page:

Category theory frequently allows to give precise and useful formalized meanings to “everyday” terms, at least terms used everyday by practicing mathematicians.

It was indeed introduced originally in order to formalize the use of the notion “natural” in mathematics. Another frequently recurring pair of terms in math are “extra structure” and “extra properties”, to which we add the more general concept of “extra stuff”. In discussion among Jim Dolan, John Baez and Toby Bartels, the following useful formalization of these concepts in category theoretic terms was established.

François G. Dorais
  • 44.4k
  • 6
  • 150
  • 233