(no subject)

[timelets]

Back to this post:

https://timelets.dreamwidth.org/733687.html

Both of these figures (constructions) look like reasonable representations, which means that the last dot, e.g. z, has to be a monoid.