T-categories and some representation theorems
The characterizations of upper approximation operators based on special coverings
In this paper, we discuss the approximation operators [...] apr¯NS and [...] apr¯S which are based on NS(U) and S. We not only obtain some properties of NS(U) and S, but also give examples to show some special properties. We also study sufficient and necessary conditions when they become closure operators. In addition, we give general and topological characterizations of the covering for two types of covering-based upper approximation operators being closure operators.
The partially ordered family of C M-homomorphisms.
Topological categories containing any category of algebras
Topologie générale et espaces d'ultrafiltres
Two notes on formalized topology