Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have created a page for Turing categories linked to the already-existing page on restriction categories, with some sections for near-future expansion. First I will add some references, since there is by now a small industry devoted to this framework for categorical recursion theory, and it forms the basis of a lot of other ongoing work, for example in differential categories and higher realizability models.
Sorry for the repeated posts of the original edit comment, as I fixed rendering errors in edit mode it must have triggered an nForum post each time. My apologies, if anyone wants to remove them that’s obviously fine.
The definition in the entry invokes but never defines the notion of “cartesian restriction category”. For the time being I made it a redirect to restriction category.
Also the use of “total map” remains somewhat ambiguous.
Where the entry said “satisfies the diagram” I made it read “makes the following diagram commute”.
Finally, I fixed the capitalization in the entry title
1 to 8 of 8