On 1-form classifiers ∗
暂无分享，去创建一个
[1] A. Kock. Differential forms with values in groups , 1982, Bulletin of the Australian Mathematical Society.
[2] A. Kock. Synthetic Differential Geometry , 1981 .
[3] A. Kock. Formal manifolds and synthetic theory of jet bundles , 1980 .
[4] F. William Lawvere,et al. Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body , 1980 .
[5] Eduardo J. Dubuc,et al. Sur les modèles de la géométrie différentielle synthétique , 1979 .
[6] F. W. Lawvere,et al. Some algebraic problems in the context of functorial semantics of algebraic theories , 1968 .