So many decades since I did abstract nonsese. Sounds like the gist of it is the assignment of classifying spaces to (topological, lie, etc...) groups is not just a function but a functor, and a representable one at that.
Post by twetch#7453
🙇♂️ precisely. logarithmic and exponential maps are what we see in Lie theory, though these maps can be far more general (specifically re: fibration).
it seems you can just continue to continue to group, map, repeat and continue to go higher
What the chain says
- Block
- 634 006
- Time
- 2020-05-08T17:44:48Z
- Signer
- 1NUNwLXhkvD6uUDRyvbnQZQy5D1ABP2iDE
- App
- twetch
- Type
- post
- Content type
- text/plain
- Name in tx
- twetch#7453
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
Signed by
1NUNwLXhkvD6uUDRyvbnQZQy5D1ABP2iDE VerifiedReplies (4)
I'm not really actually good at homotopy theory. I'll be honest, as soon as diagrams started looking like hexagrams with all them H-spaces I started to die a little, and there’s a reason I never got a PhD.
But thing as you mentioned exponentiation, one thing I always thought was nifty was the way Quantum mechanics really lives in some category that’s more the like the exponentiation of Hilb. Where categorical product is tensor product. Mixed states.
who needs a PhD? i'm actually just diving into homotopy but it seems to be quite interesting for abstract definitions of continuous maps.
that's an interesting theory. i wonder what the logarithmiation (yes) of a Hilbert space would be in this case?