Associated Categories

Speaker(s)

Michał R. Przybyłek

Affiliation

Uniwersytet Warszawski

Date

Nov. 5, 2012, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

Pokażę, że z obiektami dowolnej skończenie zupełnej 2-kateorii z  notacją dyskretności, można związać kategorie, tak aby 1-morfizmy  odpowiadały funktorom pomiędzy dowiązanymi kategoriami, 2-morfizmy  naturalnym transformacjom, a dyskretne obiekty dyskretnym (w  klasycznym sensie) kategoriom. Pozwoli to na transport  teoriokategoryjnych konstrukcji do wnętrza 2-kategorii. Modelowym  przykładem będzie charakteryzacja obiektów wewnętrznie kartezjańsko  domkniętych i wprowadzenie dla takich obiektów morfizmu wykładniczego  C^op x C ---> C.

---