skip navigation


Dana Scott on category theory:

"The author himself does not always like or enjoy the discipline of category theory, which seems ofttimes to carry along very, very heavy machinery and odd terminology, but he long ago came to the conclusion that it is quite unavoidable."

From his 1993 paper "A type-theoretical alternative to ISWIM, CUCH, OWHY" (originally written in 1969).

Responses (?)

JavaScript needs to be enabled to show responses. (Although, it is not necessary for posting them.)

Indieweb interactions: Like/Reshare/Reply/Bookmark with Quill or Like/Reshare/Reply/Bookmark with Micropublish.