[1] M. Arbib E. Manes: 
Fuzzy Morphisms in Automata Theory. Lect. Notes Comp. Sci. 25 (1975), 80-86. 
MR 0403839[2] M. Arbib E. Manes: 
Machines in a Category: An Expository Introduction. SIAM Rev. 16 (1974), 163-192. 
MR 0363719[3] M. Arbib E. Manes: 
Fuzzy Machines in a Category. Bull. Austra. Math. Soc. 13 (1975). 
MR 0407106[5] H. Kleisli: 
Every standard construction is induced by a pair of adjoint functors. Proc. Amer. Math. Soc. 16 (1965), 544-546. 
MR 0177024 | 
Zbl 0138.01704[6] S. Mac Lane: 
Categories for the working mathematician. Springer N.Y.-Heidelberg-Berlin, 1971. 
MR 0354798 | 
Zbl 0232.18001