You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tim Hosgood (Apr 19 2020 at 18:58):(disclaimer: I know nothing about physics)
Having recently watched a little pop-sci video about physics, I came across a little "proof" of the ever-so-popular . What I found really interesting was that it basically boiled down to "take 'events at a specific time' to be objects, and 'stuff happening over time' as morphisms, and then pretty much follows from the commutativity of a certain square". Of course, the video doesn't use this language, but I was wondering how formal this can be made. From my very vague knowledge of the whole QFT/cobordism story, this choice of objects and morphisms is indeed one that can be really useful, but, beyond that, I have no idea :upside_down:
Joe Moeller (Apr 19 2020 at 19:21):what you're suggesting sounds pretty good to me
Tim Hosgood (Apr 19 2020 at 20:01):does this category have a name?
John Baez (Apr 19 2020 at 20:09):I hate watching videos. I guess I may have to watch this.
Matteo Capucci (he/him) (Apr 20 2020 at 10:39):this is the wildest thing