Categories as mathematical models

MaRDI QIDQ5040179zbMATH OpenFDO

Authors David I. Spivak

Publication date 11 October 2022

Full work available at URL https://arxiv.org/abs/1409.6067

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Abstract: Written to be contributed as the "mathematical modeling" chapter of a book, edited by Elaine Landry, to be titled "Categories for the Working Philosopher". In this chapter, category theory is presented as a mathematical modeling framework that highlights the relationships between objects, rather than the objects in themselves. A working definition of model is given, and several examples of mathematical objects, such as vector spaces, groups, and dynamical systems, are considered as categorical models.

Cited in

(4)

• Why categories?
• Are there category-theoretical explanations of physical phenomena?
• Feasibly categorical models
• On internal structure, categorical structure, and representation

This page was built for publication: Categories as mathematical models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5040179)