Add unit/counit definition of adjoint.

After    | File Name                             | Before
-----------------------------------------------------------
0m39.45s | Category/Equality                     | 0m40.93s
0m21.09s | NaturalTransformation/Equality        | 0m21.46s
0m17.14s | Functor/Equality                      | 0m18.10s
0m10.88s | Comma/CommaCategory                   | 0m10.50s
0m10.11s | Comma/Duals                           | 0m10.14s
0m09.06s | Groupoid                              | 0m09.56s
0m07.35s | Category/Morphisms                    | 0m07.40s
0m04.72s | Grothendieck/ToSet                    | 0m04.56s
0m03.80s | Groupoid/Functors                     | 0m03.82s
0m02.33s | SumPreCategory                        | 0m02.27s
0m02.10s | Functor/CompositionLaws               | 0m02.09s
0m01.82s | NaturalTransformation/Duals           | 0m01.79s
0m01.79s | ProductPreCategory                    | 0m01.93s
0m01.26s | NaturalTransformation/Composition     | 0m01.22s
0m01.14s | NaturalTransformation/CompositionLaws | 0m01.20s
0m01.12s | InitialTerminalCategory               | 0m01.11s
0m00.82s | NatCategory                           | 0m00.85s
0m00.67s | BoolCategory                          | 0m00.67s
0m00.50s | SetCategory                           | 0m00.49s
0m00.32s | Common                                | 0m00.28s
0m00.25s | NaturalTransformation/Identity        | 0m00.29s
0m00.23s | FunctorPreCategory                    | 0m00.26s
0m00.23s | Functor/Composition                   | 0m00.22s
0m00.22s | Adjoint/UnitCounit                    |   N/A
0m00.21s | Category/Objects                      | 0m00.19s
0m00.20s | Functor/Duals                         | 0m00.22s
0m00.19s | NaturalTransformation/Core            | 0m00.19s
0m00.16s | Category/Duals                        | 0m00.12s
0m00.14s | Category/Core                         | 0m00.17s
0m00.14s | Peano                                 | 0m00.14s
0m00.12s | Functor/Core                          | 0m00.12s
0m00.12s | ComputableCat                         | 0m00.11s
0m00.12s | Category/Category                     | 0m00.10s
0m00.10s | Functor/Identity                      | 0m00.10s
0m00.10s | NaturalTransformation                 | 0m00.10s
0m00.09s | Category/StrictCategory               | 0m00.09s
0m00.09s | DiscreteCategory                      | 0m00.08s
0m00.09s | Grothendieck                          | 0m00.08s
0m00.07s | Utf8                                  | 0m00.08s
0m00.07s | Functor                               | 0m00.11s
0m00.07s | Notations                             | 0m00.04s
0m00.04s | NotationsUtf8                         | 0m00.04s
-----------------------------------------------------------
2m20.52s | Total                                 | 2m23.22s