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 [22.214.171.124-126.96.36.199], possibility to check the adjointness using the unit transformation [188.8.131.52], the fact that leftadjoint preserves colimits [184.108.40.206]. It is important to introduce examples of adjoint functors coming from simplicial model categories and Quillenadjunctions between them [220.127.116.11].Please state the adjoint functor theorem [18.104.22.168] 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