학술저널
On a Construction of Subobject Classifiers
- 충청수학회
- Journal of the Chungcheong Mathematical Society
- Volume 7, No. 1
-
1994.0613 - 23 (11 pages)
- 0
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.
ABSTRACT
1. Introduction
2. Syntax of L
3. Semantics of L
4. A type model D of a language L
5. A topos generated by types D( L)
REFERENCES
(0)
(0)