## 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.