1. 首页
  2. 课程学习
  3. 专业指导
  4. An introduction to fibrations topos theory the effective topos and modest sets

An introduction to fibrations topos theory the effective topos and modest sets

上传者: 2020-03-16 07:52:45上传 PDF文件 1008.31KB 热度 28次
Atoposisacategoricalmodelofconstructivesettheory.Inparticular,theeectivetoposisthe categorical'universe'ofrecursivemathematics.Amongitsobjectsarethemodestsets,which formaset-theoreticmodelforpolymorphism.Moreprecisely,thereisabrationofmodestsets whichsati
下载地址
用户评论