19 Oct
1998
19 Oct
'98
5:19 p.m.
Does any body know if comma categories have been defined in enriched contexts?
I'm not sure if it's what you have in mind, but combining comma categories and enrichment is the theme of Casley, R.T., Crew, R.F., Meseguer, J., and Pratt, V.R., ``Temporal Structures'', Mathematical Structures in Computer Science, Volume 1:2, 179-213, July 1991. The abstract is at my web page as http://boole.stanford.edu/chuguide.html#P2 Vaughan Pratt