DOTS from double theories
Working as a mathematician at Topos means that I spend a lot of time hearing about double categories these days, which are not something that I have much previous familiarity with. In fact, they come up in two seemingly different ways in Topos’ work at the moment: double theories, and double…


































![The map of mathematics [Source]](../../blog/2023-01-05-preparing-for-networked-mathematics/map.jpg)












![The cohort of Em-Cats speakers and their talk titles/topics. [PDF]](../../blog/2021-08-24-em-cats-announcement/em-cats-poster.png)




