Skip to main content
MathOverflow

Return to Question

Math Jaxed
Source Link
Daniele Tampieri
Daniele Tampieri
  • 6.4k
  • 7
  • 30
  • 45

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

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

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

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

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

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=coproduct of 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})?

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\})$?

Source Link
Bonan Su
Bonan Su
  • 51
  • 1

Why equaliser of product and terminal object is coproduct?

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=coproduct of 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})?