Moved content to enrichment versus internalisation.
]]>I added an explicit reference to the delooping of a monoidal category with appropriate rewording.
]]>added DOI-link to this item:
Added some words and phrases surrounding the expression “base of enrichment” (for which I will create a separate page, but pointing to this one).
]]>added DOI-link for this item:
I am removing the redirects for enriched groupoid in order to give this a stand-alone entry
]]>Cite Linton’s autonomous categories.
]]>Briefly mention enrichment in a closed category and a skew-monoidal category, without definitions.
]]>Mention polyads.
Edit: I see this is already mentioned on category enriched in a bicategory, but it probably doesn’t hurt to mention it here too.
]]>Added early reference to Kelly.
]]>Added early reference to the idea of an enriched category.
]]>Started a section on the tensor product of -enriched categories for a symmetric monoidal category.
]]>Added redirection from enriched.
]]>I have copied that reference also to Selected writings at Jean Bénabou
]]>Added link to Bénabou original paper
Anonymous
]]>Add reference to Bénabou’s Catégories relatives.
]]>Thanks. Let’s add hyperlinks to references, so that one can actually go and see them. I have expanded it out (here) like this:
Am also copying this to Joachim Lambek.
]]>Cite first reference to categories enriched in a multicategory.
]]>added (here) mentioning of the example of strict (2,1)-categories.
]]>added pointer to:
added pointer to:
Thanks.
The first Google hit gives a pdf-copy (pdf), so I have included that.
]]>Add reference to an original account of enriched categories by Maranda.
]]>Added a note on generalized algebraic theories.
]]>