A notion of homotopy for the effective topos

A notion of homotopy for the effective topos

We define a notion of homotopy in the effective topos.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematical structures in computer science 2015-06, Vol.25 (5), p.1132-1146
1. Verfasser: VAN OOSTEN, JAAP
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We define a notion of homotopy in the effective topos.
ISSN:0960-1295
1469-8072
DOI:10.1017/S096012951400053X