Post #1755103

2026-04-28 20:52 UTC

@fiore@brain.worm.pink @sodiboo@gaysex.cloud @minekpo1@mastodon.catgirl.cloud @root@possum.city @solonovamax@tech.lgbt I mean in a way it generalizes rotation yes, I don't disagree on that, I'm just saying it is not a matrix, but a function from reals to a set of matrices, defining a subset of linear maps that constitute rotation along a specific axis

Replies (3)

@fiore@brain.worm.pink 2026-04-28 20:54

@tranquillity@mastodon.minionflo.net @sodiboo@gaysex.cloud @minekpo1@mastodon.catgirl.cloud @root@possum.city @solonovamax@tech.lgbt its really a lie group , isnt it ? /gen

Open ##1755100
@tranquillity@mastodon.minionflo.net 2026-04-28 20:54

@fiore@brain.worm.pink @sodiboo@gaysex.cloud @minekpo1@mastodon.catgirl.cloud @root@possum.city @solonovamax@tech.lgbt which in my head is different enough from a specific rotation matrix to be pointed out But maybe I'm being too type theory & cat theory brained about this, or just silly

Open ##1755143
@nea89@kitty.social 2026-04-28 21:03

@tranquillity@mastodon.minionflo.net @fiore@brain.worm.pink @sodiboo@gaysex.cloud @minekpo1@mastodon.catgirl.cloud @root@possum.city @solonovamax@tech.lgbt as it stands θ is just a free / unbound variable. so this expression is neither an actual rotation matrix, nor the set of all rotation matricies around the x axis in ℝ^3, but instead just a free floating expression that needs to be placed into a context to make sense. this one would generally read it as the right hand side of a function definition (if one prefers the "parameterized" view, then perhaps it helps to consider that A_θ is/can be also just syntax for function application)

Open ##1755577