17 Apr
2026
17 Apr
'26
8:33 a.m.
Hi! Some regular attendees of the working group are away in Venice, but for anyone that would like to meet up in B107 anyway, I'd like to discuss categories with you! In particular: - Jad is back from Japan, where there was a workshop on Differential Categories - I have an idea I'm developing called *interactegories* which I would like to talk about. Maybe see you there at 10:30. I'll open the BBB too. If no one shows, I'll end the meeting early :) Morgan