摘要

We study constructs of type [0, infinity]Set(Omega) consisting of affine sets over [0, infinity] modelled by some algebra Omega The categorical theory of closure operators is used to study separated and complete objects with respect to the Zariski closure operator, naturally defined in any category [0, infinity]Set(Omega) Several basic examples are provided, in particular we show that the construct of approach spaces. the constructs of pseudo (quasi) metric spaces with contractions.

  • 出版日期2010-6-1