Introduction to the Peripatetic Seminar Blog

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