基于层范畴的正规Ω-集合范畴的cartesian闭性

The Property of Cartesian Closed of the Category of Normal Ω-sets Based on the Category of Sheaves

本文引入正规Ω-集合范畴的概念,研究了正规Ω-集合范畴中的幂对象,进而说明正规Ω-集合范畴是cartesian闭的。

In this paper,we introduce the conception of the category of normalΩ-sets based on the category of sheaves,and study the exponential in the category of normalΩ-sets,furthermore,we prove that the category of normalΩ-sets is a cartesian closed category.