Associated Categories

Prelegent(ci)

Michał R. Przybyłek

Afiliacja

Uniwersytet Warszawski

Termin

5 listopada 2012 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

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.

---