Given a notion "A" in mathematics, in many cases "coA" is also defined. Here are some common examples:
- sine and cosine;
- tangent and cotangent;
- secant and cosecant;
- function and cofunction;
- morphism and comorphism;
- functor and cofunctor;
- domain and codomain;
- limit and colimit;
- set and coset;
- product and coproduct;
- fibration and cofibration;
- homology and cohomology;
- homotopy and cohomotopy;
- prime and coprime;
- vector and covector;
and the list goes on. My question is, what is the generally accepted meaning of the prefix "co"? Given a mathematical notion "A", when is "coA" also defined? Also, is "cocoA" always the same as "A"? (Here I am only asking about mathematical terminologies, so "coconut" does not count.)
Edit: Among all the examples listed above, the pair puzzles me the most is "set and coset". A coset is defined in the context of a subgroup of a group. I am wondering if there is any reason to call it a coset.