weak adjoint functor theorems
play

Weak adjoint functor theorems Stephen Lack Macquarie University - PowerPoint PPT Presentation

Weak adjoint functor theorems Stephen Lack Macquarie University Kyoto, 23 December 2019 joint work with John Bourke and Luk a s Vok r nek Adjoint Functor Theorems ur-AFT category B with all limits U : B A preserves them U has


  1. Weak adjoint functor theorems Stephen Lack Macquarie University Kyoto, 23 December 2019 joint work with John Bourke and Luk´ aˇ s Vokˇ r´ ınek

  2. Adjoint Functor Theorems ur-AFT category B with all limits U : B → A preserves them U has left adjoint

  3. Adjoint Functor Theorems ur-AFT category B with all limits U : B → A preserves them U has left adjoint General AFT category B with small limits U : B → A preserves them Solution Set Condition U has left adjoint

  4. more Adjoint Functor Theorems General AFT (Freyd) Enriched AFT (Kelly) category B with small limits V -category B with small limits U : B → A preserves them U : B → A preserves them SSC SSC U has left adjoint U has left adjoint Weak AFT (Kainen) category B with small products U : B → A preserves them SSC U has weak left adjoint

  5. more Adjoint Functor Theorems General AFT (Freyd) Enriched AFT (Kelly) category B with small limits V -category B with small limits U : B → A preserves them U : B → A preserves them SSC SSC U has left adjoint U has left adjoint Weak AFT (Kainen) category B with small products U : B → A preserves them SSC U has weak left adjoint η A UFA FA Uf ′ ∃ f ′ f UB B

  6. more Adjoint Functor Theorems General AFT (Freyd) Enriched AFT (Kelly) category B with small limits V -category B with small limits U : B → A preserves them U : B → A preserves them SSC SSC U has left adjoint U has left adjoint Weak AFT (Kainen) Very (!) General AFT category B with small products V -category B with � limits U : B → A preserves them U : B → A preserves them SSC SSC U has weak left adjoint U has � left adjoint η A UFA FA Uf ′ ∃ f ′ f UB B

  7. more Adjoint Functor Theorems General AFT (Freyd) Enriched AFT (Kelly) category B with small limits V -category B with small limits U : B → A preserves them U : B → A preserves them SSC SSC U has left adjoint U has left adjoint Weak AFT (Kainen) Very (!) General AFT category B with small products V -category B with � limits U : B → A preserves them U : B → A preserves them SSC SSC U has weak left adjoint U has � left adjoint η A UFA FA Uf ′ ∃ f ′ f UB B

  8. Enriched weakness η A UFA FA surj. B ( FA , B ) A ( A , UB ) Uf ′ ∃ f ′ f UB B ◮ enriched categories have homs C ( C , D ) lying in V ◮ (Lack-Rosicky) “Enriched Weakness” uses class E of morphisms in V to play the role of surjections ◮ V = Set , E = { surjections } gives unenriched weakness ◮ E = { isomorphisms } gives “non-weak weakness”

  9. Enriched weakness η A UFA FA E -map B ( FA , B ) A ( A , UB ) Uf ′ ∃ f ′ f UB B ◮ enriched categories have homs C ( C , D ) lying in V ◮ (Lack-Rosicky) “Enriched Weakness” uses class E of morphisms in V to play the role of surjections ◮ V = Set , E = { surjections } gives unenriched weakness ◮ E = { isomorphisms } gives “non-weak weakness” Very (!) General AFT V -category B with � limits U : B → A preserves them SSC U has E -weak left adjoint

  10. Examples E B ( FA , B ) A ( A , UB ) V E E -weak left adjoint isos left adjoint Set Set surjections weak left adjoint V isos (enriched) left adjoint Cat equivalences left biadjoint

  11. Examples E B ( FA , B ) A ( A , UB ) V E E -weak left adjoint isos left adjoint Set Set surjections weak left adjoint V isos (enriched) left adjoint Cat equivalences left biadjoint Cat retract equivalences (. . . ) left biadjoint

  12. Mr Retract Equivalence

  13. Examples E B ( FA , B ) A ( A , UB ) V E E -weak left adjoint isos left adjoint Set Set surjections weak left adjoint V isos (enriched) left adjoint Cat equivalences left biadjoint Cat retract equivalences (. . . ) left biadjoint

  14. Examples E B ( FA , B ) A ( A , UB ) V E E -weak left adjoint isos left adjoint Set Set surjections weak left adjoint V isos (enriched) left adjoint Cat equivalences left biadjoint Cat retract equivalences (. . . ) left biadjoint shrinkable morphisms sSet Definition A morphism p : X → Y of simplicial sets is shrinkable (dual strong deformation retract) if it is contractible in sSet / Y : ◮ it has a section s ◮ with a homotopy s ◦ p ∼ 1 X ◮ such that induced homotopy p ◦ s ◦ p ∼ p is trivial.

  15. The setting Let V be a monoidal model category with cofibrant unit I . . .

  16. The setting Let V be a monoidal model category with cofibrant unit I . . . cofibrations I , weak equivalences W , trivial fibrations P .

  17. The setting Let V be a monoidal model category with cofibrant unit I . . . cofibrations I , weak equivalences W , trivial fibrations P . An interval in V is a factorization i w I + I J I ∇ of the codiagonal with i ∈ I and w ∈ W . ◮ A morphism A → B in a V -category C is a morphism I → C ( A , B ). ◮ A homotopy between morphisms A → B is a morphism J → C ( A , B ) (for some interval) ◮ A homotopy is trivial if it factorizes through w ◮ A morphism p is shrinkable if there exist s with p ◦ s = 1, and homotopy s ◦ p ∼ 1 with p ◦ s ◦ p ∼ p trivial.

  18. The setting Let V be a monoidal model category with cofibrant unit I . . . cofibrations I , weak equivalences W , trivial fibrations P . An interval in V is a factorization i w I + I J I f C ( A , B ) I of the codiagonal with i ∈ I and w ∈ W . ◮ A morphism A → B in a V -category C is a morphism I → C ( A , B ). ◮ A homotopy between morphisms A → B is a morphism J → C ( A , B ) (for some interval) ◮ A homotopy is trivial if it factorizes through w ◮ A morphism p is shrinkable if there exist s with p ◦ s = 1, and homotopy s ◦ p ∼ 1 with p ◦ s ◦ p ∼ p trivial.

  19. The setting Let V be a monoidal model category with cofibrant unit I . . . cofibrations I , weak equivalences W , trivial fibrations P . An interval in V is a factorization i w I + I J I ( f g ) h C ( A , B ) C ( A , B ) of the codiagonal with i ∈ I and w ∈ W . ◮ A morphism A → B in a V -category C is a morphism I → C ( A , B ). ◮ A homotopy between morphisms A → B is a morphism J → C ( A , B ) (for some interval) ◮ A homotopy is trivial if it factorizes through w ◮ A morphism p is shrinkable if there exist s with p ◦ s = 1, and homotopy s ◦ p ∼ 1 with p ◦ s ◦ p ∼ p trivial.

  20. The setting Let V be a monoidal model category with cofibrant unit I . . . cofibrations I , weak equivalences W , trivial fibrations P . An interval in V is a factorization i w I + I J I ( f = g ) h C ( A , B ) C ( A , B ) of the codiagonal with i ∈ I and w ∈ W . ◮ A morphism A → B in a V -category C is a morphism I → C ( A , B ). ◮ A homotopy between morphisms A → B is a morphism J → C ( A , B ) (for some interval) ◮ A homotopy is trivial if it factorizes through w ◮ A morphism p is shrinkable if there exist s with p ◦ s = 1, and homotopy s ◦ p ∼ 1 with p ◦ s ◦ p ∼ p trivial.

  21. The setting Let V be a monoidal model category with cofibrant unit I . . . cofibrations I , weak equivalences W , trivial fibrations P . An interval in V is a factorization i w I + I J I X p ( f g ) h C ( A , B ) C ( A , B ) Y of the codiagonal with i ∈ I and w ∈ W . ◮ A morphism A → B in a V -category C is a morphism I → C ( A , B ). ◮ A homotopy between morphisms A → B is a morphism J → C ( A , B ) (for some interval) ◮ A homotopy is trivial if it factorizes through w ◮ A morphism p is shrinkable if there exist s with p ◦ s = 1, and homotopy s ◦ p ∼ 1 with p ◦ s ◦ p ∼ p trivial.

  22. The setting Let V be a monoidal model category with cofibrant unit I . . . cofibrations I , weak equivalences W , trivial fibrations P . An interval in V is a factorization i w I + I J I X p ( f g ) h s C ( A , B ) C ( A , B ) Y Y 1 of the codiagonal with i ∈ I and w ∈ W . ◮ A morphism A → B in a V -category C is a morphism I → C ( A , B ). ◮ A homotopy between morphisms A → B is a morphism J → C ( A , B ) (for some interval) ◮ A homotopy is trivial if it factorizes through w ◮ A morphism p is shrinkable if there exist s with p ◦ s = 1, and homotopy s ◦ p ∼ 1 with p ◦ s ◦ p ∼ p trivial.

  23. The setting Let V be a monoidal model category with cofibrant unit I . . . cofibrations I , weak equivalences W , trivial fibrations P . An interval in V is a factorization 1 i w I + I J I X X ≃ p p ( f g ) h s C ( A , B ) C ( A , B ) Y Y 1 of the codiagonal with i ∈ I and w ∈ W . ◮ A morphism A → B in a V -category C is a morphism I → C ( A , B ). ◮ A homotopy between morphisms A → B is a morphism J → C ( A , B ) (for some interval) ◮ A homotopy is trivial if it factorizes through w ◮ A morphism p is shrinkable if there exist s with p ◦ s = 1, and homotopy s ◦ p ∼ 1 with p ◦ s ◦ p ∼ p trivial.

  24. Examples (of V ) V I W shrinkable morphisms all isos isos Set V all isos isos mono all surj Set Cat inj obj equiv retract equivalences mono wk hty equiv (Kan) shrinkable sSet sSet mono wk cat equiv (Joyal) shrinkable 2-Cat biequivalences surj, full biequivalences

  25. Examples (of V ) V I W shrinkable morphisms all isos isos Set V all isos isos mono all surj Set Cat inj obj equiv retract equivalences mono wk hty equiv (Kan) shrinkable sSet sSet mono wk cat equiv (Joyal) shrinkable 2-Cat biequivalences surj, full biequivalences In general, for f : X → Y in V : ◮ trivial fibration ⇒ shrinkable ( if X , Y cofibrant ) ◮ shrinkable ⇒ weak equiv (if X fibrant or cofibrant)

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend