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.
What’s going on with the second point in ’Properties’? Is it just referring back to the first point, so the adjunction between $Set$ and $K$ gives rise to a 2-adjunction between categories enriched over them?
Since it’s referring to something not present, was the intention to say something earlier on the underlying category construction generated by $K(I, -): K \to Set$?
That’s half-way copying the material from enriched category – change of enriching category. I am out of time now, please complete if you have a minute.
Thanks for making this page!
And thanks for adding material!
1 to 12 of 12