[0008] -- Synthetic topos theory

Synthetic topos theory

[index]
[0000]
[0008]

[0008] Proposition

Let $\(U\)$ be a universe. Then $\mathord {\textnormal {\textsf {Topos}}}(U)$ has finite limits.

Proof

↑