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