🙇‍♂️ precisely. logarithmic and exponential maps are what we s…

🙇‍♂️ 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