An embedding theorem for closed categories

[1]  J. Benabou.  Introduction to bicategories , 1967 .

[2]  B. Day.  On closed categories of functors , 1970 .

[3]  Brian Day,et al.  Note on monoidal localisation , 1973, Bulletin of the Australian Mathematical Society.