---
layout: page
title: About
permalink: /about/
---

This is a reading group centered around category theory and associated parts of math.

Books:

- [Category Theory, by Steve Awodey [PDF]](https://people.mpi-sws.org/~dreyer/courses/catlogic/awodey.pdf)
  
  Minimal prerequisites, explains most things from the ground up.

- [Basic Category Theory, by Tom Leinster [PDF]](https://arxiv.org/pdf/1612.09375v1)

  More mathematical background necessary (particularly in algebra and topology).
  
Other links:

- [ncatlab](https://ncatlab.org)

  A good reference for everything related to category theory

- [TheCatsters](https://www.youtube.com/user/TheCatsters)

  A questionably good youtube channel (haven't looked much at it)

---
layout: page
title: About
permalink: /about/
---

This is a reading group centered around category theory and associated parts of math.

Books:

- [Category Theory, by Steve Awodey [PDF]](https://people.mpi-sws.org/~dreyer/courses/catlogic/awodey.pdf)
  
  Minimal prerequisites, explains most things from the ground up.

- [Basic Category Theory, by Tom Leinster [PDF]](https://arxiv.org/pdf/1612.09375v1)

  More mathematical background necessary (particularly in algebra and topology).
  
Other links:

- [ncatlab](https://ncatlab.org)

  A good reference for everything related to category theory
  
- [Category Theory for Programmers](https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/)

  If you are a programmer, this will ground category theory in solid examples.

- [TheCatsters](https://www.youtube.com/user/TheCatsters)

  A questionably good youtube channel (haven't looked much at it)

Add category theory for programmers
Add category theory for programmers
