Journal of the Chungcheong Mathematical Society (충청수학회지)
- Volume 7 Issue 1
- /
- Pages.13-23
- /
- 1994
- /
- 1226-3524(pISSN)
- /
- 2383-6245(eISSN)
On a Construction of Subobject Classifiers
- Yi, Hyang-Il (Department of Applied Mathematics National Fisheries University of Pusan)
- Received : 1994.04.15
- Published : 1994.06.30
Abstract
In this paper, we consider the higher-order type theoretic language L and construct a type model D of complete partial ordered set. We show that the complete partial ordered set for the language L gives rise to a category and generates a topos.
Keywords