Ülevaade: Eeljärjestuste ja monotoonsete funktsioonide jaoks
teame kaht Tarskile omistatavat püsipunktiteoreemi, millest üks, nn
konstruktiivne omab väga otsest ja hästituntud üldistust kategooriate
ja funktorite jaoks. Teise, nn mittekonstruktiivset teoreemi kohta aga
kiputakse uskuma, et see samavõrd loomulikult ei üldistu. Ettekandes
näitame, et niisugune arvamus on ekslik; teoreemi otsene üldistus on
lihtsalt konstrueeritav, kui valikuline infiimum üldistada
ebatraditsiooniliselt kasutades tugeva dinaturaalsuse mõistet.
Programmeerimise jaoks tähendab see, et nn in-cata ja cata-build
lähenemised induktiivsetele tüüpidele on ekvivalentsed.
Varmo Vene
Viimati muudetud 30.01.2001