The Peripatetic Seminar at the University of Calgary (not Sheaves and Logic) Blog team

What we’re interested in:

- Category theory
- Type theory (in particular semantics of different flavours)
- Computability and foundations of mathematics
- Categorical applications to physics (quantum and smooth)

Meet the authors (alphabetical):

- Cole Comfort
- Jonathan Gallagher
- Ben MacAdam
- Daniel Satanove