; TeX output 1999.08.23:2330\t*N cmbx12MathematischesInstitutSS1998t*derUniversitatM`unchenT9Blatt1t*Prof.Dr.B.PareigisGgύUNG cmbx12TheoriezderQuanutengrupp=enIIВXQ cmr121.+!", cmsy10C5undD@seienKategorien.g cmmi12F:VC !DseilinksadjungiertzuGVǹ:D!C5.+SeiPH29D۹zusammenmitdenMorphismen2cmmi8i \:PH!Di _einProSdukt+der3bFVamilie(Didڹ)iK cmsy82I9vronObjekten.ZeigenSie,daGP(zusammenmitden+Morphismen꨿Gi,:URGP!GDiOeinProSduktderFVamilie(GDidڹ)i2IIist.݆В2.+SeienrRҼundSlIRinge.ClseidieKategoriederRJ-LinksmoSdulnundDȹdie+Kategorie:derS׹-LinksmoSduln.U[seieinS-RJ-BimoSdul.ErklyarenSie,wie+F>:LxC!DUV;M\7!U5 R M鍹zueinemFVunktorwird.ErklyarenSie,wie+G!:Dv!C5;Nbc7!HVomS(U;N@)bzueinemFVunktorwird.ZeigenSie,daF+linksadjungiertzuGist.BescrhreibSenSieEinheitundKoeinheit.В3.+JederQaassoziativrenAlgebraAordnenwirdieLiealgebraLie(A)mitderLie-+klammerq[a;b]:':=ab1bazu.UmgekrehrtordnenwirjederLiealgebraihre+univrerselleEinhSyullendezu.ErkyarenSie,warumdurchdieseKonstruktionen+adjungierteZFVunktorenerklyartwrerden.(ZwischenwelchenKategorien?)Be-+scrhreibSenSieEinheitundKoeinheit.В4.+ZusatzaufgabSe:)SeiXkeintopologiscrherRaummitBasispunktx|{Ycmr80.Wirde-+ nierendie(reduzierte)EinhyangungGU