COPROPIS aims at contributing to the conceptual and theoretical foundations for a mathematical and computational model of embodied conceptualisation, driven by its potential deployment and application in cognitive musicology and musical creativity.
In particular:

1. We aim at developing a category-theoretical model of the image-schematic structure underlying human conceptualisation. For this, we will focus on a core selection of basic musical concepts for which the image-schematic structure has been previously studied, so as to guide our formalisation.
2. We aim at designing and implementing a computational realisation of our formal model. The implementation will be carried out in the functional programming paradigm as it is more suitable for a category-theoretic model. This should eventually lead to an experimental pre-prototype of a computational aid with which to be able to execute and validate particular metaphorical inferences, from the image-schematic structure to the conceptualisation domain, such as music theory.
3. We aim at validating the model and its computational realisation on a conceptualisation of a core selection of musical concepts and with respect to metaphorical inferences relevant to cognitive musicology and musical creativity.

In this project we aim at addressing the issue of conceptual diversity not as a problem to be solved, but as a richness to be embraced and built upon. We expect our approach to capture both cross-cultural diversity and image-schematic invariants, and we set out to show this with musical concepts.