Most epithets qualify a noun,
Red acts like a comonad (red apple implies apple; red apple implies red, red apple).
Some act more like monads: gun implies thing with appearance of gun, ‘seeming gun’. Could we have a ‘seeming seeming gun’ is a ‘seeming gun’?
Seeming gun which is not a gun is a fake gun.
Bisimulation as relation, terminal one.
For every type constructed as a subtype of a larger type, there’s a ‘seeming’ operator.
3 concepts: Red apple, apple which seems red, what seems to be a red apple.
Last revised on October 18, 2021 at 08:47:07. See the history of this page for a list of all contributions to it.