1. F. Borceux, B. J. Day, On product-preserving Kan extensions, B.ll. Austral. Math. Soc. 17 (1977), 247–255.
2. S. Carmody, R. F. C. Walters, The Todd—Coxeter procedure and left Kan extensions, University of Sydney Pure Mathematics Research Reports 90–19, 1990.
3. S. Carmody, R. F. C. Walters, Computing quotients of actions of a free category, in: A. Carboni, M. C. Pedicchio, G. Rosolini (eds.), Category Theory, Proceedings of the International Conference held in Como, Italy, July
22–28, 1990, Lecture Notes in Mathematics 1488, Berlin: Springer—Verlag, 1991.
4. H. S. M. Coxeter, W. O. J. Moser, Generators and Relations for Discrete Groups ( 2nd edition ), Berlin: Springer—Verlag, 1965.
5. G. M. Kelly, S. Lack, Finite-product-preserving functors, Kan extensions, and stronglyfinitary 2-monads, University of Sydney Pure Mathematics Research Reports 92–29, 1992.