Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added this pointer:
added also pointer to
(who does finally switch terminology from “simplicial groupoid” to “groupoid enriched over simplicial sets” but still does not state the definition of enriched groupoids)
together with more comments on the history of the notion.
Presumably the assumption that be a cosmos can be relaxed to simply asking for to be a cartesian monoidal category?
how about formulating it this way:
…a cartesian monoidal category (serving as an cosmos for enrichment)…
I think varkor is suggesting that the cosmos (or cartesian cosmos) assumptions are rather more than what is needed. In that case, I wouldn’t say “cosmos for enrichment”, but “base for enrichment” or something similar. Not sure we have a page that accommodates that extra generality, but if not, I think we should.
I know, that’s why I suggested the reformulation “serving as…”.
Now base of enrichment is redirecting to cosmos. Feel invited to split it off as a separate entry.
1 to 9 of 9