(no subject)
Jan. 20th, 2017 12:43 pmWittgenstein in Tractatus:
Similarly, in order to be represented by a Monoid, its elements should be monoidable. In other words, they should enable the possibility of the Monoid structure, including a free Monoid.
2.15
...
This connexion of the elements of the picture is called its structure, and the possibility of this structure is called the form of representation of the picture [model].
Similarly, in order to be represented by a Monoid, its elements should be monoidable. In other words, they should enable the possibility of the Monoid structure, including a free Monoid.