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

 

0 thoughts on “Introduction to the Peripatetic Seminar Blog”

Leave a Reply

Your email address will not be published. Required fields are marked *