David Corfield

Most epithets qualify a noun,

  • red apple implies apple.

Red acts like a comonad (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.

Last revised on January 23, 2020 at 04:21:45. See the history of this page for a list of all contributions to it.