충청수학회지 (Journal of the Chungcheong Mathematical Society)

  • 제7권1호
  • /
  • Pages.13-23
  • /
  • 1994
  • /
  • 1226-3524(pISSN)
  • /
  • 2383-6245(eISSN)
충청수학회 (The Chungcheong Mathematical Society)
권호 표지

On a Construction of Subobject Classifiers

  • Yi, Hyang-Il (Department of Applied Mathematics National Fisheries University of Pusan)
  • 투고 : 1994.04.15
  • 발행 : 1994.06.30
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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.

키워드