论文信息 - Abstract and Variable Sets in Category Theory 1 - 字舞流文

Abstract and Variable Sets in Category Theory 1

and Variable Sets in Category Theory1

[1] J. Bell. A primer of infinitesimal analysis , 1998 .

[2] I. Moerdijk,et al. Models for smooth infinitesimal analysis , 1990 .

[3] F. W. Lawvere. Cohesive Toposes and Cantor's 'lauter Einsen' , 1994 .

[4] Colin McLarty,et al. Elementary categories, elementary toposes , 1992 .

[5] F. W. Lawvere,et al. Sets for Mathematics , 2003 .

[6] I. Moerdijk,et al. Sheaves in geometry and logic: a first introduction to topos theory , 1992 .