AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Is Category Theory More Like Calculating the Fundament of the Infinity Groupoit?
Omiy: Is your day job actually calculating theorems about properties of infinity group oids? Or is it more proving theorems. Omiy: There are a lot of researchers working on both both problems. I don't do the calculations myself. They're, they're very hard, you know. But some of my colleagues work on the calculations. And i also that this discussion is wonderful because it does, you know, in the language that you use, in the way you talk about it, a the roll of the maps between the different spaces really shines through.