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.
copied article from the michaelshulman wiki at functor comprehension principle (michaelshulman) to the nlab wiki.
C. Silva
Is there a syntactic description somewhere of what the internal language of a regular category is?
Looks like it’s (somewhat sketchily) described here: https://ncatlab.org/michaelshulman/show/internal+logic+of+a+2-category#fragments_of_logic
@maxsnew: have you seen Butz’s Regular Categories and Regular Logic?
Sorry, typo, I meant a regular 2-category which is what is used in the linked article.
Add an idea section, relating it more directly to the function comprehension principle and also include another principle that I think is clearly deserving of the name “functor comprehension”. This page should also eventually get merged with representability determines functoriality.
Also found some material on the anafunctor page that could be moved here: https://ncatlab.org/nlab/show/anafunctor#anafunctors_versus_representable_profunctors
1 to 7 of 7