There is an opportunity for a funded summer research project with the Topos Institute, open to second- and third-year students.
Project description
Double categorical systems theory (DCST) is a cutting edge approach to modelling systems being developed by the Topos Institute, which provides a framework for uniformly understanding many of the notions of system of interest to industry and academia. A `systems theory' can be understood as a high-level description of what constitutes a `system' and how its parts can be put together, as well as ways to understand how similar systems can be compared; this is captured in mathematical terms by using the language of `double categories'. Some sample problems in this setting include formalising concrete notions of system within this framework, understanding the behaviours of a complex systems in terms of the behaviours of its parts (e.g., so that a patological conduct can be avoided), and how to construct a system that has a desired property by design.
The intern would work with the mentor to give explicit descriptions of some abstract examples and constructions in DCST. A background in Category Theory is essential, and prior knowledge of logic, computability, or type theory is desirable, but not needed.
If you’re interested in this opportunity, please email Kobi: @email