This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Pluto
thepluto.bsky.social
did:plc:lrbkgmqz23smmjv7mkxv2dyh
"If I was a tensor product and you were a k-tuply monoidal n-category... would you commute more to see me, or is k at least n+2?"
-SheafificationOfG