pnas/pnas.tex
changeset 597 26c4d576e155
parent 595 9c708975b61b
child 598 20de3d710f77
equal deleted inserted replaced
596:37774cf92851 597:26c4d576e155
   237 \end{axiom}
   237 \end{axiom}
   238 
   238 
   239 For $c\in \cl{\cC}_{k-1}(\bd X)$ we define $\cC_k(X; c) = \bd^{-1}(c)$.
   239 For $c\in \cl{\cC}_{k-1}(\bd X)$ we define $\cC_k(X; c) = \bd^{-1}(c)$.
   240 
   240 
   241 Many of the examples we are interested in are enriched in some auxiliary category $\cS$
   241 Many of the examples we are interested in are enriched in some auxiliary category $\cS$
   242 (e.g. vector spaces or rings, or, in the $A_\infty$ case, chain complex or topological spaces).
   242 (e.g. vector spaces or rings, or, in the $A_\infty$ case, chain complexes or topological spaces).
   243 This means that in the top dimension $k=n$ the sets $\cC_n(X; c)$ have the structure
   243 This means that in the top dimension $k=n$ the sets $\cC_n(X; c)$ have the structure
   244 of an object of $\cS$, and all of the structure maps of the category (above and below) are
   244 of an object of $\cS$, and all of the structure maps of the category (above and below) are
   245 compatible with the $\cS$ structure on $\cC_n(X; c)$.
   245 compatible with the $\cS$ structure on $\cC_n(X; c)$.
   246 
   246 
   247 
   247