motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by s. vickers, providing an algebraic and a coalgebraic category of the new structures. as a result, the nature of the category   topsys   of s. vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...

Motivated by the recent study on categorical properties of latticevalued topology, the paper considers a generalization of the notion of topological system introduced by S. Vickers, providing an algebraic and a coalgebraic category of the new structures. As a result, the nature of the category   TopSys   of S. Vickers gets clari ed, and a metatheorem is stated, claiming that (latticevalu...

We construct a simplicial locally convex algebra, whose weak dual is the standard cosimplicial topological space. The construction is carried out in a purely categorical way, so that it can be used to construct (co)simplicial objects in a variety of categories — in particular, the standard cosimplicial topological space can be produced.

the paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. motivated by an open question of s. e. rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of l. a. zadeh. on the next step, w...

In this article, we introduce the concept of co-covering which is the dual of covering concept. Then, we prove several theorems being similar to the theorems that have been de-veloped for the covering concept. For example, we provide the lifting criterion for co-coverings of a topological space X, which helps us to classify them by subgroups of the group of all homeomorphisms of X.

With increased complexity of geometric data, topological models play an increasingly important role beyond boundary representations, assemblies, finite elements, image processing, and other traditional modeling applications. While many graphand indexbased data structures have been proposed, no standard representation has emerged as of now. Furthermore, such representations typically do not deal...

Nowadays, geospatial information systems (GIS) are widely used to solve different spatial problems based on various types of fundamental data: spatial, temporal, attribute and topological relations. Topological relations are the most important part of GIS which distinguish it from the other kinds of information technologies. One of the important mechanisms for representing topological relations...

‎A topological space is called submaximal if each of its dense subsets is open and is called nodec if each of its nowhere dense ea subsets is closed‎. ‎Here‎, ‎we study a variety of spaces some of which have already been studied in $C(X)$‎. ‎Among them are‎, ‎most importantly‎, ‎quasi $P$-spaces and pointwise quasi $P$-spaces‎. ‎We obtain some new useful topological characterizations of quasi $...