Associated Categories

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.