Category theory naming is the main hurdle in the adoption of category concepts by programmers. This library fix this issue by proposing unversally understood names to replace the fuzzy and unclear category theory names used in Haskell.