Abstract
We claim that category theory is a mathematical theory, proceeding from the observation of mathematical activities and gestures, and constructing a mathematical theory as a kind of algebra of these gestures. Especially, categoricians observe their own activity, and so category theory is also constructing a mathematical theory of itself, of its own system of gestures. We imagine that this theory can be used to model any activity, by a parallel action with the categorical activity. This categorical modeling is what we need for a mathematical holding of mathematical creativity because every activity is in fact somehow an activity of modeling.
Original language | English (US) |
---|---|
Title of host publication | Computational Music Science |
Publisher | Springer Nature |
Pages | 1001-1082 |
Number of pages | 82 |
DOIs | |
State | Published - 2017 |
Publication series
Name | Computational Music Science |
---|---|
ISSN (Print) | 1868-0305 |
ISSN (Electronic) | 1868-0313 |
Bibliographical note
Publisher Copyright:© 2017, Springer International Publishing AG, part of Springer Nature.