Log In

A Notion of Homotopy for the Effective Topos

Files

a-notion-of-homotopy-for-the-effective-topos.pdf (160.47 KB)

Publication date

2015-06

Authors

van Oosten, JaapISNI 000000011793772X

Editors

Advisors

Supervisors

DOI

https://doi.org/10.1017/S096012951400053X

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository
Open Access logo

License

taverne

Abstract

We define a notion of homotopy in the effective topos.

Keywords

Taverne

Citation

van Oosten, J 2015, 'A Notion of Homotopy for the Effective Topos', Mathematical Structures in Computer Science, vol. 25, no. Special Issue 5, pp. 1132-1146. https://doi.org/10.1017/S096012951400053X

URI

https://dspace.library.uu.nl/handle/1874/464396