constructive-sheaf-semantics:我正在将 Palmgren 的 Constructive Sheaf ...
需积分: 5 198 浏览量
2021-07-03
02:57:42
上传
评论
收藏 12KB ZIP 举报
constructive-sheaf-semantics-master.zip （22个子文件） 
constructive-sheaf-semantics-master 
sheaf.agda 1KB forcing.agda 3KB category morphism-families.agda 731B setoids.agda 405B pullbacks.agda 1KB presheaf.agda 1KB kit equivalence.agda 314B void.agda 95B function.agda 321B unit.agda 330B list.agda 717B sigma.agda 1KB sum.agda 95B setoid.agda 1KB id.agda 568B category.agda 1KB basis.agda 1KB natural-transformation.agda 685B README.md 173B functor.agda 750B .gitignore 11B site.agda 507B资源评论
