How do people call an additive functor from a triangulated category $C$ to an abelian one that converts distinguished triangles into long exact sequences. Does one usually call a covariant functor of this sort 'homology' and denote it by $H\_i$, whereas a contravariant functor is called cohomology and is denoted by $H^i$? For example, if we consider the $i$-th homology (?) of $C$ with respect to a $t$-structure $t$ for it, is it fine to denote it by $H\_i^t$?


Upd. Besides, consider a cohomological complex $\dots\to C^0\to C^1\to C^2\to \dots$. Does it have homology ($H\_i(C)$) or cohomology ($H^i(C)$)?



Homology or cohomology?
(CW because it's more an over-long comment than a real answer.)


I think there are too many competing normalizations to make a good choice. In lieu of sensible default, call one of them homology, and call the other cohomology and I'm sure it'll be fine. This is also probably why someone worked out the language "left-derived" and "right-derived".


Personally, I think the distinction between "homological" and "cohomological" chain complexes is artificial; what *might* make a chain complex "co"-chain is that it was initially zero, whereas "really-chain" complexes might be eventually zero. Of course, we're often interested in things that do both, and things that do neither --- e.g. either theory on manifolds, or geometric K theory and elliptic cohomology. Anyways, if you're playing with chain complexes, I'd always call the kernel-mod-image construction the "homology" of a chain complex. We'd reserve the right to write "cohomology of X" for the homology of a contravariant construction from X, but it's still a homology of something.


Historically, "Homology" comes from a relation that Poincaré described on submanifolds of a manifold; there are both covariant and contravariant ways to make this functorial and algebraic on the category of smooth manifolds; for eitehr one you probably have to deal with singular submanifolds eventually. The contravariant one is called cobordism[1] these days and is represented by a spectrum indexed by *codimension*. There *is* that theorem that all reasonable "cohomology" theories on spaces are corepresentable; there are reasonable representable homology theories (like homotopy), and there are homology theories that aren't representable (like singular homology of spaces, iirc). Perhaps if your things are always corepresenable it'd be reasonable to call them cohomologies.


[1] That's "co" meaning "together", not "dual". That is, two things may be "co-bordant"; not that "co-bordisms" pair with bordisms. Although, I suppose they might, anyways...


