About Empty Limit
Empty Limit is a website dedicated to supplementing the learning of students in early (1-) category theory. We host accessible discussions of various concepts, using interactive proofs to support them. This website is intended to be read alongside a conventional textbook (see our recommendations), and is not intended to replace one.
In contrast to the nLab, this website is intended to be more accessible to introductory students. In contrast to Wikipedia, this website is intended to house more proofs than its articles. In contrast to a textbook, this website makes diagrammatic proofs interactive, so they feel richer and easier to connect with.
Empty Limit is written primarily with HTML and CSS, with JavaScript to control interactive features of the website. The HTML for each article is generated from human text using a Lean4 project. Commutative diagrams are drawn and rendered using q.uiver; thanks! All artwork, writing and programming has been painstakingly done by us without the use of AI tools.
If you would like to help improve Empty Limit, consider checking out its GitHub repository.
About the Author
Hi! I'm Gabriel Field, and I'm a keen bachelor's student in mathematics and computer science, with a particular taste for category theory and a passion for teaching. This website is the product of a coursework assignment and an underlying desire to teach in this gorgeous area.
If you would like to help contribute articles to Empty Limit (and thus change the title of this section to "About the Authors"!), please get in touch at gabriel.field@uq.net.au.
Check out my GitHub and YouTube channel!
Recommended Reading
- Category Theory in Context by Emily Riehl — A fantastic introductory book rich with great explanations and enlightening examples. Great if you want to commit to learning category theory from the very start. Much longer than the next entry on this list.
- Basic Category Theory by Tom Leinster — A great introductory book with an increadible wealth of examples and insightful perspectives. Perfect if you want to quickly gain an understanding of various ideas in introductory category theory. Less comprehensive than the previous entry.