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.
At enriched category it uses to say that
A Top-enriched category is a topological category.
But then at topological category, which redirects to topological concrete category it says that it
does not mean Top-enriched category.
Of course for many people it does. But to get the $n$Lab entries straight, and to go along with the entry simplicially enriched category, I started an entry
just for completeness (and since I need the material elsewhere).
1 to 1 of 1