Dots, lines, and Categories

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.

Alex Marciano

The University of Adelaide

Alex Marciano is a committed and enthusiastic student, who recently completed his second year of study of the Bachelor of Mathematical Sciences (Advanced) at the University of Adelaide. He intends to pursue pure mathematics for the remainder of his undergraduate study, with goals of continuing into research and academia. Alex is fascinated by the mathematician’s ability to tackle sophisticated concepts, equipped only with their logic and reason.

You may be interested in

Tiernan Cartwright

Tiernan Cartwright

The Riemann-Roch Theorem and Dirac Operators
Matthew Cochran

Matthew Cochran

Low-diameter Networks for Applications on High Performance Computing and Communication Networks
Ashton Lu

Ashton Lu

Statistical approaches for integration of single-cell and spatial transcriptomics data at isoform resolution
Mark Youssef

Mark Youssef

Bayesian Estimation of Stationary Time Series Models with Exogenous Inputs
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.