Centre of Australian Category Theory

Centre of Australian Category Theory

Centre of Australian Category Theory

Developing an algebra of widespread applicability for the synthesis and analysis of systems and processes in fields as diverse as physics, computer science and mathematics itself.

Category theory is a branch of mathematics which is based on the idea that the precise way that objects are built is less important than how they relate to other objects, and how they can be transformed. Thus rather than worry about what numbers really are, it is more useful to think about what we can do with them. In practice, this means that while sets are very important in some parts of mathematics, in category theory we are often more interested in functions.

At CoACT we undertake research at the forefront of category theory, and to develop new applications of the subject in other areas of mathematics, physics, and computer science. We aim to attract the best recent graduates in category theory to work in the group as research fellows, and to create a vibrant environment for research students to work in. Centre of Australian Category Theory (CoACT) consists of members of the Departments of Mathematics and Computing, as well as various visitors and affiliated colleagues.

Global collaborations

CoACT has significant linkages with researchers in Montréal, Halifax, Milano, Chicago, Riverside, Cambridge (U.K.), Louvain-la-neuve, and San Jose (including Stanford University and local companies).

Collaboration between Louvain-la-neuve and Sydney [category theorists] goes back a long way. Notably, for many young Lovanists like myself the trip to Sydney has had decisive consequences for both the form and content of their PhD theses.

- Isar Stubbe, Université du Littoral-Côte d'Opale

CoACT was formally established in 1999, although it has operated as a group since the early 1970s. It has been a Macquarie University Research Centre since 2013.

Back to the top of this page