 In this article for example, the letters "X", "F", "f", ε will consistently denote things which live in the category "C", the letters "Y", "G", "g", η will consistently denote things which live in the category "D", and whenever possible such things will be referred to in order from left to right (a functor "F"