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.
In this case, it really is an isomorphism of categories. I’ll mention this fact on the page adjunction.
I’ll mention this fact on the page adjunction.
Best to mention it here where it is being used!
have added the pointer (here)
Notice that our page adjunction has the ambition to describe the concept in the context inside any 2-category. For adjunctions specifically in we have adjoint functor. I have adjusted the first sentence of this entry here, acordingly.
1 to 6 of 6