27 Sep
2010
27 Sep
'10
12:50 p.m.
Dear Tom,
This can be regarded as a (co)recursive definition of omegaCat.
Good, good! I am thrilled by such (co)recursive definitions. In fact was asking about a (co)recursive of the cartesian closed structure of omegaCat. Do you have something in store?
As far as I know, this was first observed by Carlos Simpson.
Any reference? David [For admin and other information see: http://www.mta.ca/~cat-dist/ ]