Discover our degree programs and courses.
Read about our research.
Find our people contacts and read about their profiles.
Find out about the school's latest news and events.
Find out about the school's outreach programs.
Read about the school's history, governance and structure.
Get in touch with us.
We will try to understand Vicary and Bar's definition of quasistrict 3- and 4-categories, based on https://arxiv.org/pdf/1610.06908.pdf
John Dedman Building 27, Room JD1177 (meeting room)
+61 2 6125 5111
The Australian National University, Canberra
CRICOS Provider : 00120C
ABN : 52 234 063 906