; TeX output 2008.07.24:1020 ˅v{html: html:src:410 20-13.texCp0J
cmsl10CTheoryUUandApplicationsofCategories,K`y
cmr10V*ol.q20,No.13,2008,pp.405{html:496 html:.uK{html: html:P6src:384 20-13.tex#XQ ff cmr12QUOTIENTS/OFUNIT4AL$g ff cmmi12A(
!",
cmsy101
-CATEGORIES 41$XQ cmr12VrOLODYMYRLVYUBASHENKOANDOLEKSANDRMANZYUK$ $src:385 20-13.tex5-
cmcsc10Abstract.
Assumingw3thatw26LR
eusm10Bisafull
b>
cmmi10AO! cmsy71x-subGcategoryofaunitalA1x-categoryCwe $constructthequotientunitalA1x-categoryD=`C=B'.CItrepresentstheA^ 0er cmmi7u፷1x-2-functor$A7!A^u፷1x(C;A)ٓR cmr7mo7d7j eusm7B,~whichzBassoGciateszCwithagivenunitalA1x-categoryAtheA1x-cat-$egoryNofunitalA1x-functorsCf!A,whoseNrestrictiontoBiscontractible.]Namely*,$thereisaunitalA1x-functoreu:C!DsuchthatthecompGositionBu,UX!CTe2 ! aD$iscontractible, andforanarbitraryunitalA1x-categoryAtherestrictionA1-functor$(e8)
msam101)M3:A^u፷1x(D;A)!A^u፷1(C;A)mo7dBrisUUanequivqalence. $src:400 20-13.texLet9m#R
cmss10C fe c
O-qy msbm7|bGethedierentialgradedcategoryofdierentialgraded,
msbm10|-moGdules.5W*eprove$thatGXtheGYY*onedaA1x-functorY:A!A^u፷1x(A^op;C fe c7|q²)GXisafullembGeddingforanarbitrary$unital
A1x-categoryA.Inparticular,ڻsuchAisA1-equivqalenttoadierentialgraded$categoryUUwiththesamesetofob 8jects.&Contents
html: html: src:1 20-13.toc`html:1InrtroSduction html:c406src:13 20-13.toc`html:2Quotienrtsoffreeg cmmi12AK cmsy81 -categories html:-9413src:25 20-13.toc`html:3Asimpleexample html:H?419src:29 20-13.toc`html:4A1 -categoriesandquivrers html:421src:47 20-13.toc`html:5RelativrelyfreeA1 -categories html:(6433src:61 20-13.toc`html:6Unitalitryof@LR
eusm10@D html:Z_445src:69 20-13.toc`html:7EquivXalenceoftrwoquotientsofA1 -categories html: