Anindya wrote:

> I think there's a mistake in the proof that \\(\mathcal{X}^\text{op}\\) is a \\(\mathcal{V}\\)-enriched category.

Whoops! I'll fix it.

This is actually _good_, it restores my sense of reality. "To compose arrows that are turned around, you need to be able to move them around each other" - that's why defining the opposite of a \\(\mathcal{V}\\) -enriched category should require \\(\mathcal{V}\\) to be commutative. I should have been more suspicious of my sudden "discovery".