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.
At localization we have :
A special class of localizations are reflective localizations, those where the functor has a full and faithful right adjoint .
Unfortunately is not defined further up the page. Is intended?
[four years later…]
Generally, we don’t have a nicely clean account of reflective localization on any one page. There are bits and pieces distributed over a whole lot of different pages (most of the technical details are in unlikely places, such as reflective sub-(infinity,1)-category, geometric embedding). I’d like to have a good account written up on some page.
Also the textbooks accounts that I have seen are all not really good. Maybe I haven’t seen the good ones…
I have started to work on this. See the corresponding “recent changes”-thread here
1 to 3 of 3