David Corfield seems

Most epithets qualify a noun,

  • red apple implies apple.

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.