Re: How analogous are categorial and material set theories?

Dear Patrik, The theory of categories is a first order theory, so what exactly are you denying here? Steve.

On 7 Dec 2017, at 18:58, peklund@cs.umu.se wrote:

Is Category Theory a Theory? I think not. At least not in a logical sense.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]