The Peripatetic Seminar at the University of Calgary (not Sheaves and Logic) Blog team
What we’re interested in:

• Category theory
• Homotopy 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
• Sacha Ikonicoff