Abstract:The isomorphism between our homology functor and these of Vietoris and \v Cech is proved. Introductory result on dimension is proved.
Keywords: alternative set theory, set-definable, homology theory, simplex, complex, Sd-IS of groups
AMS Subject Classification: 55N35, 20F99