Convenient categories for topologists
For , we say that is quasi -compact, if for every there is such that , where is the Stone-Čech extension of . In this context, a space is countably compact iff is quasi -compact. If is quasi -compact and is either finite or countable discrete in , then all powers of are countably compact. Assuming , we give an example of a countable subset and a quasi -compact space whose square is not countably compact, and show that in a model of A. Blass and S. Shelah every quasi...