The notion of adjoint functors turns out to be a little bit more delicate for∞-categories than for 1-categories. Forexample, though one can check the existence of an adjoint functor on the level of enriched homotopy categories of∞-categories, one can not check adjointness of two functors in this way.The goal of this talk is to prove fundamental properties of adjoint functors: uniqueness of an adjoint up to equiv-alence [18.104.22.168-22.214.171.124], possibility to check the adjointness using the unit transformation [126.96.36.199], the fact that leftadjoint preserves colimits [188.8.131.52]. It is important to introduce examples of adjoint functors coming from simplicial model categories and Quillenadjunctions between them [184.108.40.206].Please state the adjoint functor theorem [220.127.116.11] postponing the notion of accesible functor to the next talk.
Dienstag, den 11. Juni 2019 um 11:15 Uhr, in INF 205, SR 3 Dienstag, den 11. Juni 2019 at 11:15, in INF 205, SR 3