Projective and inductive generations of relator spaces (Q910046): Difference between revisions

Given a set X and a non-void family \({\mathcal R}\) of reflexive relations on X, the author calls \({\mathcal R}^ a \)relator on X and defines the relator space X(\({\mathcal R})\) to be the pair (X,\({\mathcal R})\). Then he/she calls a relation f from one relator space Y(S) to another one Z(\({\mathcal T})\) mildly continuous if \(f^{-1}\circ T\circ f\in {\mathcal S}\) for all \(T\in {\mathcal T}\). These spaces and relations generalize uniformity: elsewhere, the author proposed them as `the most suitable' for topology and analysis [Acta Math. Hung. 50, 177-201 (1987; Zbl 0643.54033)]. Here the author explicitly constructs the extremal objects in this category (both projective and inductive ones), and provides some illustrative examples.