The present work is the first systematic attempt at answering the following fundamental question: what mathematical structures ...