Limit preservation from naturality (2005)

by Mario Caccamo, Glynn Winskel
Venue:In Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004), volume 122 of Electron. Notes Theor. Comput. Sci