Abstract
We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category EFF. Path categories are categories of fibra......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
