A Notion of Homotopy for the Effective Topos

Jakobus van Oosten

doi:10.1017/S096012951400053X

A Notion of Homotopy for the Effective Topos

Jakobus van Oosten^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › Academic › peer-review

Abstract

We define a notion of homotopy in the effective topos.

Original language	English
Pages (from-to)	1132-1146
Number of pages	15
Journal	Mathematical Structures in Computer Science
Volume	25
Issue number	Special Issue 5
Early online date	17 Nov 2014
DOIs	https://doi.org/10.1017/S096012951400053X
Publication status	Published - Jun 2015

Access to Document

10.1017/S096012951400053X

a-notion-of-homotopy-for-the-effective-toposFinal published version, 160 KBLicence: Taverne

Cite this

@article{e58e79af93bf4a45848b6ccf0017815c,

title = "A Notion of Homotopy for the Effective Topos",

abstract = "We define a notion of homotopy in the effective topos.",

author = "{van Oosten}, Jakobus",

year = "2015",

month = jun,

doi = "10.1017/S096012951400053X",

language = "English",

volume = "25",

pages = "1132--1146",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "Special Issue 5",

}

TY - JOUR

T1 - A Notion of Homotopy for the Effective Topos

AU - van Oosten, Jakobus

PY - 2015/6

Y1 - 2015/6

N2 - We define a notion of homotopy in the effective topos.

AB - We define a notion of homotopy in the effective topos.

U2 - 10.1017/S096012951400053X

DO - 10.1017/S096012951400053X

M3 - Article

SN - 0960-1295

VL - 25

SP - 1132

EP - 1146

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - Special Issue 5

ER -

A Notion of Homotopy for the Effective Topos

Abstract

Access to Document

Fingerprint

Cite this