5
$\begingroup$

I’m reading “Sheaves in geometry and logic”, in page 80:

Please refer to [1]: https://i.sstatic.net/INrU0.jpg

It says “…,therefore $FU=\coprod_{x\in U} fx$. The space…”.

So could anyone please explain why therefore $FU$ is a coproduct?

It seems that $FU$ should be just the product of $F(\{x\})$?

Improve this question
$\endgroup$
2
  • 8
    $\begingroup$ It's a typo. The author was probably thinking about $Y$ and inverted the symbol. $\endgroup$
    – John Wiltshire-Gordon
    Commented Dec 28, 2023 at 2:47
  • 6
    $\begingroup$ Your guess is completely right, it must be $FU=\prod_{x\in U}fx$ $\endgroup$
    – მამუკა ჯიბლაძე
    Commented Dec 28, 2023 at 5:41

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .