Explore Toposes

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 to learn basic category theory and explore some important concrete toposes in a hands-on manner.

Yuchen Jiang

The University of Adelaide

Yuchen is a mid-year entry second-year student in Bachelor of Mathematical Sciences (Advanced) at the University of Adelaide. She is also an international student from Nanjing, China. Her current interest is category theory, an ever-important subject that appears in many fields.

You may be interested in

Matthew Hanna

Matthew Hanna

Optimisation and Theoretical Implications of Probability Inequalities
Joshua Wilson

Joshua Wilson

Computational Modelling Using Exponential Integrators
George Malone

George Malone

Monte Carlo Simulation Comparing Maximum Likelihood and L2 Estimates for ACTH Levels in Equids (Horses)
Lucky Antonopoulos

Lucky Antonopoulos

Continuous-Variable Wigner Representation of Gottesman-Kitaev-Preskill-Encoded Qudits
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.