Edit: My reading comprehension is low and I didn't notice that a quantale needs to be closed :)
Hi,
I'm confused about the definition of quantale. You said:
Definition. A quantale is a closed monoidal poset \( \mathcal{V}\) that has all joins: th…
Puzzle 157: Using Christopher's answer to 156 we should get the natural transformation which sends every German to Heinrich. The idea is that a natural transformation \(\alpha : \mathrm{Lan}_G (H) \rightarrow F \) is uniquely determined by where it …