In this project, we are interested in exploring and experimenting with functorial semantics in the context of applied category theory. To do so, we will investigate and, if possible, extend recent work developing the idea of dynamic categorical structures including the important and prerequisite theory of polynomial functors.
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.