-
theories and improve our understanding, lending itself to better solutions. Willingness to share your insights is crucial to achieving a vibrant and creative research environment, contributing to the shared
-
Dependent type theory is a foundation of mathematics that allows us to mechanise arguments, and is closely related to higher category theory. It serves as that basis of programming languages and
Searches related to category theory
Enter an email to receive alerts for category-theory positions in Uk