On Fri, Mar 25, 2005 at 12:20:45PM +0000, Robin Houston wrote:
Who first defined categories enriched over a _promonoidal_ base? I'd particularly like references, but any information would be welcome.
Many thanks to everyone who replied off-list. I get the impression that there may be no published account of this. There is a short remark in _Categories enriched on two sides_ by Kelly, Labella, Schmitt and Street: "We note, without going into details here, that we can repeat the above with monoidal categories replaced by the more general promonoidal categories of [D1]" (where [D1] is a reference to Day's _On closed categories of functors_ and "the above" is a precis of enriched category theory.) One respondent said the idea is due to Day and Street. Can anyone confirm that? Thanks again. Robin 28-Mar-2005 11:19:48 -0400,3787;000000000000-00000000