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 C→LWC has a full and faithful right adjoint LWC↪C.
Unfortunately LWC is not defined further up the page. Is QW 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