Subject: categories: Could anyone provide me some information about enriched categories?

From: lndcs01 <[email-masked]>
Date: Thu, 23 Mar 2000 19:17:58 +0800

I am working on categorical model for higher-order subtyping.
I hope someone can tell me where can I find the books or papers
about insertor in enriched categories.

Thanks very much!