Professional Documents
Culture Documents
Category: Hlfod
Category: Hlfod
Y
: a
category A enriched over lek , .
,
morphism spaces ) are complexes
and the
compositions AIYZ) ① AIX'D
. ,
→
AH-2) and identities
,
are
morphisms of complexes .
Examples :
dg algebra .
2) IfB is a k
-
algebra ,
the dg category Eog B has the same
objects as EB and morphism spaces
(Cdg B)14141 =
Horn;14M) =
( {homog morph ofgraded B-modules}
.
.
,
d(f) dof-
=
1-1) Hlfod)
Def the
ca#H°A has the same objects as A and morphisms N°1014147) V4 MEA
.
:
If A is a
dg category , ,
.
H°(Cdg B) HB
Example htpy category of complexes of B- modules
= -
:
.
Def : A
dg→ F: A- B is a
functor s.tk .
F: AIX.4) →
BIFX.FI
) io a
morph . of complexes, V11YEA , .
It is a
quaN-equiva.hn# if F AIX.9)
: →
BIFX FYI is ,
a
qis ,
this c- A
,
andthe functor H°F H°A→H°B
:
is an
equivalence .