An embedding theorem for closed categories (1973)

by B Day
Venue:in ‘Proceedings of the Sydney Category Seminar 1972/73’, Vol. 420 of LNM