My favorite category thing! Fun fact: it categorifies the semidirect product, which made both much less mysteries to mehttps://twitter.com/johncarlosbaez/status/1157071271466684416 …
Replying to @dailectic
presumably this is a (lax?) 2-colimit? the semidirect product can be understood in this way as well
6:36 PM - 1 Aug 2019
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.