This project aims to learn and experiment with the way in which applied category theory helps encode functorial semantics. In brief, functorial semantics refers to the way in which a functor C->D can be viewed as an interpretation of C within D. To put this another way, one can think of C has somehow encoding syntax (rules for putting things together) while D provides semantics (the meaning of the things assembled from C). In this project, we aim to construct a minimal model of the special double category “Org” to describe dynamical systems in which different contributors to a system operate at different rates.
The University of Melbourne
James is a final-year Bachelor of Science student at the University of Melbourne, specialising in pure mathematics. He is also a recipient of the Melbourne Chancellor’s Scholarship. His exposure to research has been primarily in different areas of Category Theory, Algebraic Geometry as well as Machine Learning. He aspires to delve deeper into these fields as he advances in his academic journey.