内蕴格范畴中的乘积性质

Product in the Internal Lattice of a Topos

从范畴的角度出发,引入了内蕴格范畴的概念,证明了Topos ε的内蕴格范畴对于任意乘积具有封闭性.

In this article,from the perspective of categories,we introduce the concept of the internal lattices category,in a topos,and prove that the internal lattice category of Topos ε is also product closed.