Contents of Report

[Data of Report]

Report Number:
TR0104
Date of Registration:
1985.03
English Title:
Towards Automated Synthetic Differential Geomtry 1 ; basic categorical construction
Japanese Title:
***
English Author:
S.Hayashi
Japanese:
***
Name of Organization to which author belongs:
Kyoto Univ.
PDF:
tr0104.pdf

[Contents]

Introduction.... 3
1The Envelope of a Topos.... 4
2The Logic of Envelope.... 9
References.... 16
Appendix.... 18
End.... 21

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports