A Notion of Homotopy for the Effective Topos

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

We define a notion of homotopy in the effective topos.
Original languageEnglish
Pages (from-to)1-15
Number of pages16
JournalMathematical Structures in Computer Science
Volume25
Issue numberSpecial Issue 5
Early online date17 Nov 2014
DOIs
Publication statusPublished - Jun 2015

Fingerprint

Dive into the research topics of 'A Notion of Homotopy for the Effective Topos'. Together they form a unique fingerprint.

Cite this