(no subject)

[timelets]

Bicycle is a device for mapping a monoid to a linear order.



upd: stationary bicycle, aka the hamster wheel, is a device for mapping a monoid to a monoid.

Comments

[ecreet]

Any monoid?

[timelets]

I don't think so. I was looking for mapping of effort as a monoid to a different category.

[ecreet]

What is effort as a monoid?

[timelets]

An effort to do something, e.g. ride a bike.

[ecreet]

Sorry, I mean what monoid do you have in mind? I understand the meaning of "effort" here, but not "effort as a monoid".

[timelets]

The biker's navigates a graph/path. Hies effort can be modeled as a monoid, i.e. concatenated efforts over edges of the graph.