Categories of directed and undirected graphs

The notion of a topos (a.k.a. elementary topos) is a fundamental concept of category theory. A topos is a category that shares several properties with the category of sets. Toposes appear in many areas of mathematics, for example geometry, topology, combinatorics, and logic. This project is an opportunity for students to learn basic category theory and explore, in a hands-on manner, some important concrete toposes and related categories that arise in graph theory.

Chun Hei Lee

The University of Adelaide

Chun Hei Lee is an undergraduate student at the University of Adelaide, studying a Bachelor of Mathematical Sciences (Advanced). He is interested in many areas of pure maths, especially in analysis. Apart from his academic pursuits, he enjoys classical music and is passionate about Japanese culture.

You may be interested in

Yangda Bei

Yangda Bei

Rouquier Complexes and Link Invariants
Dillon Batdorf

Dillon Batdorf

Time series clustering, visualisation and explainability - Applications in Climate Change and Finance
Jack Fewtrell

Jack Fewtrell

Flexible Recalibration of Approximate Bayesian Models
Nina Hadzivukovic

Nina Hadzivukovic

Curvature dependence of reaction-diffusion front speed with nonlinear diffusion
Contact Us

We're not around right now. But you can send us an email and we'll get back to you, asap.

Not readable? Change text.