Cohesive categories and manifolds
暂无分享,去创建一个
SuntoLe strutture ottenibili per incollamento di «spazi elementari», come le varietà, i fibrati, le varietà fogliettate, possono essere definite da «atlanti di incollamento» e, formalmente, come categorie arricchite su opportune categorie ordinate.
[1] F. William Lawvere,et al. Metric spaces, generalized logic, and closed categories , 1973 .
[2] A. Carboni,et al. Cauchy-completion and the associated sheaf , 1982 .
[3] Alex Heller,et al. Dominical categories: recursion theory without elements , 1987, Journal of Symbolic Logic.
[4] Charles Ehresmann,et al. Sheaves and Cauchy-complete categories , 1981 .
[5] Charles Ehresmann,et al. Gattungen von lokalen Strukturen. , 1958 .