La unidad η : 1 → "GF" y la co-unidad ε: "FG" → 1 tienen las propiedades siguientes: la composición (ε"F")o("F"η), una transformación natural "F"→"FGF"→"F", es igual a 1, y la composición ("G"ε)o(η"G"): "G"→"GFG"→"G" es igual a 1.