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.
1 to 6 of 6
I hope to motivate the structure of a closed category $C$ as the minimal amount of structure necessary to recover a $2$-category of categories enriched in self-enriched $C$.
That sounds interesting!
This is interesting, but I wonder whether it’s appropriate for the “Idea” section of closed category, since it seems a bit esoteric. Maybe we could put it a bit further down the page?
Since no one replied to #3, and in particular no one objected, I’ve moved the material in question further down the page of closed category into a subsection of “Properties”.
1 to 6 of 6