a : the very first and least normal quantity : one particular b : an individual quantity regarded as a complete in calculation (group concept) Within an adjunction, a organic transformation with the identity functor from the area of the left adjoint functor towards the composition of the correct