A Relationship between Equilogical Spaces and Type Two Effectivity