학술논문
On a Construction of Subobject Classifiers
이용수 0
- 영문명
- 발행기관
- 충청수학회
- 저자명
- HYANG IL YI
- 간행물 정보
- 『Journal of the Chungcheong Mathematical Society』Volume 7, No. 1, 13~23쪽, 전체 11쪽
- 주제분류
- 자연과학 > 자연과학일반
- 파일형태
- 발행일자
- 1994.06.30
4,120원
구매일시로부터 72시간 이내에 다운로드 가능합니다.
이 학술논문 정보는 (주)교보문고와 각 발행기관 사이에 저작물 이용 계약이 체결된 것으로, 교보문고를 통해 제공되고 있습니다.
국문 초록
영문 초록
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
키워드
해당간행물 수록 논문
- Some Properties of Generalized Fractions
- Strong Higher Derivations on Ultraprime Banach Algebras
- An Extended Version of Integral Continuitity Theorem
- On a Construction of Subobject Classifiers
- Intermediate Subrings of Normalizing Extensions
- On the Topological Stability in Dynamical Systems
- On SF-Rings and Semisimple Rings
- The Characterization of Optimal Control Using Delay Differential Operator
- Lie Algebras with an 1-filtrations
- A Geometric Characterization of Complete Continuity Property
- On a New Selection Theorem
- An. O(h⁶) Quintic Spline Interpolation for Quintic Spline Collocation Method
- Derivations on Semiprime Rings and Banach Algebras, I
- Relation between Clifford Semigroups and Abelian Regular Rings
- A Note on Derivations of Banach Algebras
- Stability of Dynamical Polysystems
- Upper-Lower Solutions for Singular Elliptic Equations under Nonlinear Boundary Conditions
- Κε-Stability in Differential Systems
- A Boundary Element Method for Nonlinear Boundary Value Problems
- Noncommutative Versions of Singer-Weriner Theorem
- Numerical Computation for the Least Squares Solution of Minimum Norm to the First Kind Integral Equations
- On a Transversality over Local Global Rings
- A Characterization of The Strong Measurability via Oscillation
- Flows Associated with Semiflows
참고문헌
관련논문
자연과학 > 자연과학일반분야 NEW
- Factors Affecting the Willingness to Pay for Environmental Improvements during the COVID-19 Pandemic in Taean-gun, Chungcheongnam-do
- Evaluating the Particulate Matter and Carbon Dioxide Reduction of Four Broad-leaved Evergreen Plants
- A Scoping Review of Research Trends in Forest Therapy Programs by Subject Types: Focused on KCD-8
최근 이용한 논문
교보eBook 첫 방문을 환영 합니다!
신규가입 혜택 지급이 완료 되었습니다.
바로 사용 가능한 교보e캐시 1,000원 (유효기간 7일)
지금 바로 교보eBook의 다양한 콘텐츠를 이용해 보세요!