-
Monics are really hard to deal with,
but power objects are easy, and equalizers
are doable. I believe the rest of the subobject
classifier shouldn't be too bad once I can
figure out how to handle monics.
Maintaining decidability of typing is the issue.
but power objects are easy, and equalizers
are doable. I believe the rest of the subobject
classifier shouldn't be too bad once I can
figure out how to handle monics.
Maintaining decidability of typing is the issue.