Namespaces
Variants
Actions

Difference between revisions of "Topological structures"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (Undo revision 48988 by Ulf Rehmann (talk))
Tag: Undo
Line 1: Line 1:
<!--
 
t0931501.png
 
$#A+1 = 787 n = 2
 
$#C+1 = 787 : ~/encyclopedia/old_files/data/T093/T.0903150 Topological structures
 
Automatically converted into TeX, above some diagnostics.
 
Please remove this comment and the {{TEX|auto}} line below,
 
if TeX found to be correct.
 
-->
 
 
{{TEX|auto}}
 
{{TEX|done}}
 
 
 
==Introduction.==
 
==Introduction.==
General topology (also called set-theoretic topology or analytic topology, cf. [[Topology, general|Topology, general]]) tries to explain such concepts as convergence and continuity known from classical analysis in a general setting. Originally, this was done for metric spaces (M. Fréchet [[#References|[a10]]], 1906), and later on for the topological spaces (F. Hausdorff [[#References|[a11]]], 1914) which are known today as Hausdorff spaces. The usual concept of a [[Topological space|topological space]] goes back to C. Kuratowski [[#References|[a25]]] (1922), who axiomatized the idea of  "closure"  and thus explained  "nearness"  between a point $  x $
+
General topology (also called set-theoretic topology or analytic topology, cf. [[Topology, general|Topology, general]]) tries to explain such concepts as convergence and continuity known from classical analysis in a general setting. Originally, this was done for metric spaces (M. Fréchet [[#References|[a10]]], 1906), and later on for the topological spaces (F. Hausdorff [[#References|[a11]]], 1914) which are known today as Hausdorff spaces. The usual concept of a [[Topological space|topological space]] goes back to C. Kuratowski [[#References|[a25]]] (1922), who axiomatized the idea of  "closure"  and thus explained  "nearness"  between a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t0931501.png" /> and a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t0931502.png" /> (usually denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t0931503.png" />, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t0931504.png" /> belongs to the closure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t0931505.png" />). But the ideas of [[Uniform continuity|uniform continuity]]; [[Uniform convergence|uniform convergence]]; and [[Completeness (in topology)|completeness (in topology)]], which make sense for metric spaces, could not be explained for topological spaces. Therefore, uniform spaces were introduced (A. Weil [[#References|[a33]]] (1937) defined them by means of  "entourages"  and J.W. Tukey [[#References|[a32]]] (1940) by means of  "uniform covers" , cf. also [[Uniform space|Uniform space]]). For the same reason V.A. Efremovich [[#References|[a7]]] (1952) studied  "proximity spaces"  by axiomatizing the concept of  "nearness between two sets"  (cf. also [[Proximity space|Proximity space]]). Hereafter several attempts were made to combine topological and uniform concepts, e.g. L. Nachbin (1949) studied quasi-uniform spaces (cf. [[#References|[a9]]]), A. Császár (1957) invented syntopogeneous spaces (cf. [[#References|[a5]]]), D.B. Doitchinov [[#References|[a6]]] (1964) introduced generalized topological spaces (or supertopological spaces), M. Katětov [[#References|[a21]]] (1965) studied merotopic spaces (or semi-nearness spaces) and H. Herrlich [[#References|[a13]]] (1974) invented nearness spaces. The intuitive concept of  "nearness"  which is fundamental in topology has now found a satisfactory definition: namely, by means of nearness spaces (respectively, merotopic spaces)  "nearness of an arbitrary collection of sets"  is explicable.
and a set $  A $(
 
usually denoted by $  x \in \overline{A}\; $,  
 
i.e. $  x $
 
belongs to the closure of $  A $).  
 
But the ideas of [[Uniform continuity|uniform continuity]]; [[Uniform convergence|uniform convergence]]; and [[Completeness (in topology)|completeness (in topology)]], which make sense for metric spaces, could not be explained for topological spaces. Therefore, uniform spaces were introduced (A. Weil [[#References|[a33]]] (1937) defined them by means of  "entourages"  and J.W. Tukey [[#References|[a32]]] (1940) by means of  "uniform covers" , cf. also [[Uniform space|Uniform space]]). For the same reason V.A. Efremovich [[#References|[a7]]] (1952) studied  "proximity spaces"  by axiomatizing the concept of  "nearness between two sets"  (cf. also [[Proximity space|Proximity space]]). Hereafter several attempts were made to combine topological and uniform concepts, e.g. L. Nachbin (1949) studied quasi-uniform spaces (cf. [[#References|[a9]]]), A. Császár (1957) invented syntopogeneous spaces (cf. [[#References|[a5]]]), D.B. Doitchinov [[#References|[a6]]] (1964) introduced generalized topological spaces (or supertopological spaces), M. Katětov [[#References|[a21]]] (1965) studied merotopic spaces (or semi-nearness spaces) and H. Herrlich [[#References|[a13]]] (1974) invented nearness spaces. The intuitive concept of  "nearness"  which is fundamental in topology has now found a satisfactory definition: namely, by means of nearness spaces (respectively, merotopic spaces)  "nearness of an arbitrary collection of sets"  is explicable.
 
  
Since continuity of mappings between topological spaces cannot be explained by means of convergent sequences, as in classical analysis, more general concepts were needed. Therefore, E.H. Moore and H.L. Smith [[#References|[a26]]] (1922) developed the theory of nets (cf. [[Net (of sets in a topological space)|Net (of sets in a topological space)]]) and later on H. Cartan [[#References|[a3]]] (1937) introduced filters (cf. [[Filter|Filter]]). Because of the existence of ultrafilters (cf. [[Ultrafilter|Ultrafilter]]) the theory of filters is preferably used in general topology. By axiomatizing the concept of filter convergence one obtains limit spaces — a generalization of topological spaces. They were first investigated by H.-J. Kowalsky [[#References|[a24]]] (1954) and, independently, by H.R. Fischer [[#References|[a8]]] (1959). With respect to the study of function spaces, limit spaces are more convenient than topological spaces. A more restrictive notion, namely the notion of pseudo-topological space ( = $
+
Since continuity of mappings between topological spaces cannot be explained by means of convergent sequences, as in classical analysis, more general concepts were needed. Therefore, E.H. Moore and H.L. Smith [[#References|[a26]]] (1922) developed the theory of nets (cf. [[Net (of sets in a topological space)|Net (of sets in a topological space)]]) and later on H. Cartan [[#References|[a3]]] (1937) introduced filters (cf. [[Filter|Filter]]). Because of the existence of ultrafilters (cf. [[Ultrafilter|Ultrafilter]]) the theory of filters is preferably used in general topology. By axiomatizing the concept of filter convergence one obtains limit spaces — a generalization of topological spaces. They were first investigated by H.-J. Kowalsky [[#References|[a24]]] (1954) and, independently, by H.R. Fischer [[#References|[a8]]] (1959). With respect to the study of function spaces, limit spaces are more convenient than topological spaces. A more restrictive notion, namely the notion of pseudo-topological space (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t0931506.png" /> Choquet space), was studied before by G. Choquet [[#References|[a4]]] (1948). Many other concepts have been developed, e.g. convergence spaces by D.C. Kent [[#References|[a23]]] (1964) and filter-merotopic spaces (i.e. grill-determined semi-nearness spaces) by Katětov [[#References|[a21]]] (1965).
Choquet space), was studied before by G. Choquet [[#References|[a4]]] (1948). Many other concepts have been developed, e.g. convergence spaces by D.C. Kent [[#References|[a23]]] (1964) and filter-merotopic spaces (i.e. grill-determined semi-nearness spaces) by Katětov [[#References|[a21]]] (1965).
 
  
 
All the above-mentioned types of spaces are structured sets. The structure-preserving mappings between them are called continuous or uniformly continuous, respectively. Thus, many concrete categories are obtained. The striking similarities of constructions in these categories led to the definition of topological categories and the investigation of their relationships to each other. So, a new discipline, called categorical topology, was created (about 1971) (cf. Herrlich [[#References|[a12]]] (1971) and O. Wyler [[#References|[a34]]] (1971)).
 
All the above-mentioned types of spaces are structured sets. The structure-preserving mappings between them are called continuous or uniformly continuous, respectively. Thus, many concrete categories are obtained. The striking similarities of constructions in these categories led to the definition of topological categories and the investigation of their relationships to each other. So, a new discipline, called categorical topology, was created (about 1971) (cf. Herrlich [[#References|[a12]]] (1971) and O. Wyler [[#References|[a34]]] (1971)).
Line 27: Line 9:
  
 
==Topological categories.==
 
==Topological categories.==
By a concrete category one means a [[Category|category]] $  {\mathcal C} $
+
By a concrete category one means a [[Category|category]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t0931507.png" /> whose objects are structured sets, i.e. pairs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t0931508.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t0931509.png" /> is a set and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315010.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315011.png" />-structure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315012.png" />, whose morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315013.png" /> are suitable mappings between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315015.png" />, and whose composition is the usual composition of mappings — in other words: a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315016.png" /> together with a faithful (i.e. forgetful) functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315017.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315018.png" /> into the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315019.png" /> of sets (and mappings).
whose objects are structured sets, i.e. pairs $  ( X, \xi ) $
 
where $  X $
 
is a set and $  \xi $
 
is a $  {\mathcal C} $-
 
structure on $  X $,  
 
whose morphisms $  f: ( X, \xi ) \rightarrow ( Y, \mu ) $
 
are suitable mappings between $  X $
 
and $  Y $,  
 
and whose composition is the usual composition of mappings — in other words: a category $  {\mathcal C} $
 
together with a faithful (i.e. forgetful) functor $  {\mathcal U} : {\mathcal C} \rightarrow  \mathop{\rm Set} $
 
from $  {\mathcal C} $
 
into the category $  \mathop{\rm Set} $
 
of sets (and mappings).
 
  
A concrete category $  {\mathcal C} $
+
A concrete category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315020.png" /> is called topological if and only if it satisfies the following conditions:
is called topological if and only if it satisfies the following conditions:
 
  
$  \mathop{\rm Cat}  \mathop{\rm top} _ {1} $).  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315021.png" />). Existence of initial structures. For any set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315022.png" />, any family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315023.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315024.png" />-objects indexed by some class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315025.png" /> and any family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315026.png" /> of mappings indexed by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315027.png" />, there exists a unique <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315028.png" />-structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315029.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315030.png" /> which is initial with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315031.png" />, i.e. such that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315032.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315033.png" /> a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315034.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315035.png" />-morphism if and only if for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315036.png" /> the composite mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315037.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315038.png" />-morphism.
Existence of initial structures. For any set $  X $,  
 
any family $  (( X _ {i} , \xi _ {i} )) _ {i \in I }  $
 
of $  {\mathcal C} $-
 
objects indexed by some class $  I $
 
and any family $  ( f _ {i} : X \rightarrow X _ {i} ) _ {i \in I }  $
 
of mappings indexed by $  I $,  
 
there exists a unique $  {\mathcal C} $-
 
structure $  \xi $
 
on $  X $
 
which is initial with respect to $  ( X, f _ {i} , ( X _ {i} , \xi _ {i} ), I) $,
 
i.e. such that for any $  {\mathcal C} $-
 
object $  ( Y, \mu ) $
 
a mapping $  g: ( Y, \mu ) \rightarrow ( X, \xi ) $
 
is a $  {\mathcal C} $-
 
morphism if and only if for every $  i \in I $
 
the composite mapping $  ( f _ {i} \circ g): ( Y, \mu ) \rightarrow ( X _ {i} , \xi _ {i} ) $
 
is a $  {\mathcal C} $-
 
morphism.
 
  
$  \mathop{\rm Cat}  \mathop{\rm top} _ {2} $).  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315039.png" />). Fibre-smallness. For any set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315040.png" />, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315041.png" />-fibre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315042.png" />, i.e. the class of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315043.png" />-structures on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315044.png" />, is a set.
Fibre-smallness. For any set $  X $,  
 
the $  {\mathcal C} $-
 
fibre of $  X $,  
 
i.e. the class of all $  {\mathcal C} $-
 
structures on $  X $,  
 
is a set.
 
  
$  \mathop{\rm Cat}  \mathop{\rm top} _ {3} $).  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315045.png" />). Terminal separator property. For any set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315046.png" /> of cardinality one there exists precisely one <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315047.png" />-structure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315048.png" />.
Terminal separator property. For any set $  X $
 
of cardinality one there exists precisely one $  {\mathcal C} $-
 
structure on $  X $.
 
  
 
===Examples of topological categories.===
 
===Examples of topological categories.===
  
1) The category  $  \mathop{\rm Top} $
 
of topological spaces (and continuous mappings).
 
  
2) The category $  \mathop{\rm Unif} $
+
1) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315049.png" /> of topological spaces (and continuous mappings).
of uniform spaces (and uniformly-continuous mappings).
+
 
 +
2) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315050.png" /> of uniform spaces (and uniformly-continuous mappings).
  
3) The category $  \mathop{\rm Prox} $
+
3) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315051.png" /> of proximity spaces (and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315052.png" />-mappings).
of proximity spaces (and $  \delta $-
 
mappings).
 
  
4) The categories $  \mathop{\rm Conv} $,  
+
4) The categories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315053.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315054.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315055.png" /> of convergence spaces, limit spaces and pseudo-topological spaces (and continuous mappings), respectively.
$  \mathop{\rm Lim} $
 
and $  \mathop{\rm PsTop} $
 
of convergence spaces, limit spaces and pseudo-topological spaces (and continuous mappings), respectively.
 
  
(Let $  X $
+
(Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315056.png" /> be a set, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315057.png" /> the set of all filters on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315058.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315059.png" /> a subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315060.png" /> such that the following conditions are satisfied:
be a set, $  F ( X) $
 
the set of all filters on $  X $
 
and $  q $
 
a subset of $  F ( X) \times X $
 
such that the following conditions are satisfied:
 
  
$  \mathop{\rm Lim} _ {1} $)  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315061.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315062.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315063.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315064.png" /> denotes the set of all subsets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315065.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315066.png" /> containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315067.png" />; and
$  ( \dot{x} , x) \in q $
 
for each $  x \in X $,  
 
where $  \dot{x} $
 
denotes the set of all subsets $  A $
 
of $  X $
 
containing $  x $;  
 
and
 
  
$  \mathop{\rm Lim} _ {2} $)  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315068.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315069.png" /> whenever <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315070.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315071.png" />.
$  ( {\mathcal G} , x) \in q $
 
whenever $  ( {\mathcal F} , x) \in q $
 
and $  {\mathcal F} \subset  {\mathcal G} $.
 
  
Then $  ( X, q) $
+
Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315072.png" /> is called a convergence space if: (C) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315073.png" /> implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315074.png" />; a limit space if: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315075.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315076.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315077.png" /> imply <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315078.png" />; and a pseudo-topological space or Choquet space if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315079.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315080.png" /> whenever <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315081.png" /> for each ultrafilter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315082.png" />.
is called a convergence space if: (C) $  ( {\mathcal F} , x) \in q $
 
implies $  ( {\mathcal F} \cap \dot{x} , x) \in q $;  
 
a limit space if: $  \mathop{\rm Lim} _ {3} $)  
 
$  ( {\mathcal F} , x) \in q $
 
and $  ( {\mathcal G} , x) \in q $
 
imply $  ( {\mathcal F} \cap {\mathcal G} , x) \in q $;  
 
and a pseudo-topological space or Choquet space if $  \mathop{\rm PsT} $)  
 
$  ( {\mathcal F} , x) \in q $
 
whenever $  ( {\mathcal G} , x) \in q $
 
for each ultrafilter $  {\mathcal G} \supset {\mathcal F} $.
 
  
Instead of $  ( {\mathcal F} , x) \in q $
+
Instead of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315083.png" /> one usually writes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315084.png" /> (read: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315085.png" /> converges to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315086.png" />). In each case the morphisms are all continuous mappings, i.e. those carrying filters converging to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315087.png" /> to filters converging to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315088.png" />.)
one usually writes $  {\mathcal F} \rightarrow x $(
 
read: $  {\mathcal F} $
 
converges to $  x $).  
 
In each case the morphisms are all continuous mappings, i.e. those carrying filters converging to $  x $
 
to filters converging to $  f ( x) $.)
 
  
5) The category $  \mathop{\rm SynTop} $
+
5) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315089.png" /> of syntopogeneous spaces (and continuous mappings) (cf. [[#References|[a5]]]).
of syntopogeneous spaces (and continuous mappings) (cf. [[#References|[a5]]]).
 
  
6) The category $  \mathop{\rm SuperTop} $
+
6) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315090.png" /> of supertopological spaces (and continuous mappings) (cf. [[#References|[a6]]]).
of supertopological spaces (and continuous mappings) (cf. [[#References|[a6]]]).
 
  
7) The category $  \mathop{\rm QuasiUnif} $
+
7) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315091.png" /> of quasi-uniform spaces (and quasi-uniformly continuous mappings) (cf. [[#References|[a9]]]).
of quasi-uniform spaces (and quasi-uniformly continuous mappings) (cf. [[#References|[a9]]]).
 
  
8) The categories $  \mathop{\rm Mer} $
+
8) The categories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315092.png" /> of merotopic spaces (and uniformly-continuous mappings) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315093.png" /> of nearness spaces (and uniformly-continuous mappings).
of merotopic spaces (and uniformly-continuous mappings) and $  \mathop{\rm Near} $
 
of nearness spaces (and uniformly-continuous mappings).
 
  
(Let $  X $
+
(Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315094.png" /> be a set and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315095.png" /> be a non-empty set of non-empty coverings of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315096.png" /> such that the following conditions are satisfied:
be a set and let $  \mu $
 
be a non-empty set of non-empty coverings of $  X $
 
such that the following conditions are satisfied:
 
  
$  N _ {1} $)  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315097.png" />) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315098.png" /> refines <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t09315099.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150100.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150101.png" />;
if $  {\mathcal A} $
 
refines $  {\mathcal B} $
 
and $  {\mathcal A} \in \mu $,  
 
then $  {\mathcal B} \in \mu $;
 
  
$  N _ {2} $)  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150102.png" />) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150103.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150104.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150105.png" />.
if $  {\mathcal A} \in \mu $
 
and $  {\mathcal B} \in \mu $,  
 
then $  \{ {A \cap B } : {A \in {\mathcal A}  \textrm{ and }  B \in {\mathcal B} } \} \in \mu $.
 
  
Then $  ( X, \mu ) $
+
Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150106.png" /> is called a merotopic space, or semi-nearness space, and the elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150107.png" /> are called uniform coverings.
is called a merotopic space, or semi-nearness space, and the elements of $  \mu $
 
are called uniform coverings.
 
  
A merotopic space $  ( X, \mu ) $
+
A merotopic space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150108.png" /> is called a nearness space if the following condition is satisfied:
is called a nearness space if the following condition is satisfied:
 
  
$  N _ {3} $)  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150109.png" />) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150110.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150111.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150112.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150113.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150114.png" /> are merotopic spaces (respectively, nearness spaces), then a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150115.png" /> is called uniformly continuous if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150116.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150117.png" />.)
If $  {\mathcal A} \in \mu $,  
 
then $  \{ { { \mathop{\rm int} } _  \mu  A } : {A \in {\mathcal A} } \} \in \mu $,  
 
where $  { \mathop{\rm int} } _  \mu  A = \{ {x \in X } : {A, X \setminus  \{ x \} \in \mu } \} $.  
 
If $  ( X, \mu ) $
 
and $  ( Y, \mu ) $
 
are merotopic spaces (respectively, nearness spaces), then a mapping $  f: X \rightarrow Y $
 
is called uniformly continuous if and only if $  f ^ { - 1 } {\mathcal A} = \{ {f ^ { - 1 } [ A] } : {A \in {\mathcal A} } \} \in \mu $
 
for each $  {\mathcal A} \in \eta $.)
 
  
9) The category $  \mathop{\rm BiTop} $
+
9) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150118.png" /> of bitopological spaces (and pairwise continuous mappings) (cf. [[#References|[a22]]]).
of bitopological spaces (and pairwise continuous mappings) (cf. [[#References|[a22]]]).
 
  
10) The category $  \mathop{\rm Born} $
+
10) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150119.png" /> of bornological spaces (and bounded mappings) (cf. [[#References|[a20]]]).
of bornological spaces (and bounded mappings) (cf. [[#References|[a20]]]).
 
  
11) The category $  \mathop{\rm Simp} $
+
11) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150120.png" /> of simplicial complexes (and simplicial mappings) (cf. [[#References|[a30]]]).
of simplicial complexes (and simplicial mappings) (cf. [[#References|[a30]]]).
 
  
12) The categories $  \mathop{\rm Rere} $
+
12) The categories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150121.png" /> of reflexive relations and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150122.png" /> of pre-ordered sets (the objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150123.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150124.png" />) are pairs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150125.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150126.png" /> is a set and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150127.png" /> is a reflexive (respectively, reflexive and transitive) relation on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150128.png" />; in each case, morphisms are relation-preserving mappings).
of reflexive relations and $  \mathop{\rm PrOrd} $
 
of pre-ordered sets (the objects of $  \mathop{\rm Rere} $(
 
respectively, $  \mathop{\rm PrOrd} $)  
 
are pairs $  ( X, \rho ) $
 
where $  X $
 
is a set and $  \rho $
 
is a reflexive (respectively, reflexive and transitive) relation on $  X $;  
 
in each case, morphisms are relation-preserving mappings).
 
  
13) The category $  \mathop{\rm CGTop} $
+
13) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150129.png" /> of compactly-generated topological spaces (and continuous mappings) (i.e. the smallest coreflective subcategory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150130.png" /> containing the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150131.png" /> of compact Hausdorff spaces (and continuous mappings)).
of compactly-generated topological spaces (and continuous mappings) (i.e. the smallest coreflective subcategory of $  \mathop{\rm Top} $
 
containing the category $  \mathop{\rm CompT} _ {2} $
 
of compact Hausdorff spaces (and continuous mappings)).
 
  
14) The categories $  \mathop{\rm Conv} _ {s} $,  
+
14) The categories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150132.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150133.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150134.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150135.png" /> of symmetric convergence spaces, symmetric limit spaces, symmetric pseudo-topological spaces, and symmetric topological spaces (and continuous mappings).
$  \mathop{\rm Lim} _ {s} $,  
 
$  \mathop{\rm PsTop} _ {s} $,  
 
and $  \mathop{\rm Top} _ {s} $
 
of symmetric convergence spaces, symmetric limit spaces, symmetric pseudo-topological spaces, and symmetric topological spaces (and continuous mappings).
 
  
(A convergence space $  ( X, q) $
+
(A convergence space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150136.png" /> is called symmetric if
is called symmetric if
 
  
$$
+
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150137.png" /></td> </tr></table>
( S) \ \
 
( {\mathcal F} , y) \in q \
 
\textrm{ and } \
 
x \in \cap {\mathcal F} \
 
\textrm{ imply } \
 
( {\mathcal F} , x) \in q.
 
$$
 
  
In particular, a topological space $  X $
+
In particular, a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150138.png" /> is symmetric if and only if it is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150140.png" />-space, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150141.png" /> implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150142.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150143.png" />.)
is symmetric if and only if it is an $  R _ {0} $-
 
space, i.e. $  x \in \overline{ {\{ y \} }}\; $
 
implies $  y \in \overline{ {\{ x \} }}\; $
 
for each $  ( x, y) \in X \times X $.)
 
  
15) The category $  \mathop{\rm Grill} $
+
15) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150144.png" /> of grill-determined semi-nearness spaces (and uniformly continuous mappings).
of grill-determined semi-nearness spaces (and uniformly continuous mappings).
 
  
(A semi-nearness space $  ( X, \mu ) $
+
(A semi-nearness space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150145.png" /> is called grill-determined if every near collection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150146.png" /> of subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150147.png" /> is contained in some near grill <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150148.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150149.png" />. Here, a collection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150150.png" /> of subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150151.png" /> is called near if for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150152.png" /> there is some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150153.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150154.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150155.png" />, and a grill if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150156.png" /> and for each pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150157.png" /> of subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150158.png" /> one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150159.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150160.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150161.png" />.
is called grill-determined if every near collection $  {\mathcal A} $
 
of subsets of $  X $
 
is contained in some near grill $  {\mathcal G} $
 
on $  X $.  
 
Here, a collection $  {\mathcal B} $
 
of subsets of $  X $
 
is called near if for each $  {\mathcal C} \in \mu $
 
there is some $  C \in {\mathcal C} $
 
such that $  C \cap B \neq \phi $
 
for each $  B \in {\mathcal B} $,  
 
and a grill if $  \phi \notin {\mathcal B} $
 
and for each pair $  ( A, B) $
 
of subsets of $  X $
 
one has $  A \cup B \in {\mathcal B} $
 
if and only if $  A \in {\mathcal B} $
 
or $  B \in {\mathcal B} $.
 
  
The category $  \mathop{\rm Grill} $
+
The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150162.png" /> is isomorphic to the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150163.png" />, defined as follows: the objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150164.png" /> are pairs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150165.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150166.png" /> is a set and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150167.png" /> is a set of filters on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150168.png" /> such that the following conditions hold: 1) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150169.png" />, and a filter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150170.png" /> is finer than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150171.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150172.png" />; and 2) for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150173.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150174.png" />. The morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150175.png" /> are the mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150176.png" /> such that for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150177.png" /> the filter generated by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150178.png" /> belongs to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150179.png" />.)
is isomorphic to the category $  \mathop{\rm Fil} $,  
 
defined as follows: the objects of $  \mathop{\rm Fil} $
 
are pairs $  ( X, \gamma ) $
 
where $  X $
 
is a set and $  \gamma $
 
is a set of filters on $  X $
 
such that the following conditions hold: 1) if $  {\mathcal F} \in \gamma $,  
 
and a filter $  {\mathcal G} $
 
is finer than $  {\mathcal F} $,  
 
then $  {\mathcal G} \in \gamma $;  
 
and 2) for every $  x \in X $,  
 
$  \dot{x} \in \gamma $.  
 
The morphisms $  f: ( X, \gamma ) \rightarrow ( X  ^  \prime  , \gamma  ^  \prime  ) $
 
are the mappings $  f: X \rightarrow X  ^  \prime  $
 
such that for each $  {\mathcal F} \in \gamma $
 
the filter generated by $  \{ {f [ F] } : {F \in {\mathcal F} } \} $
 
belongs to $  \gamma  ^  \prime  $.)
 
  
16) The category $  \mathop{\rm Cont} $
+
16) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150180.png" /> of contigual nearness spaces (and uniformly-continuous mappings).
of contigual nearness spaces (and uniformly-continuous mappings).
 
  
(A nearness space $  ( X, \mu ) $
+
(A nearness space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150181.png" /> is called contigual if for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150182.png" /> there exists a finite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150183.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150184.png" />.)
is called contigual if for each $  A \in \mu $
 
there exists a finite $  {\mathcal B} \subset  {\mathcal A} $
 
with $  {\mathcal B} \in \mu $.)
 
  
17) The category $  \mathop{\rm SubTop} $
+
17) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150185.png" /> of subtopological nearness spaces (and uniformly-continuous mappings).
of subtopological nearness spaces (and uniformly-continuous mappings).
 
  
(A nearness space $  ( X, \mu ) $
+
(A nearness space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150186.png" /> is called subtopological if it can be imbedded in a topological nearness space (i.e. symmetric topological space). Note that the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150187.png" /> is isomorphic to the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150188.png" /> of topological nearness spaces (and uniformly-continuous mappings). Here a nearness space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150189.png" /> is called topological if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150190.png" /> implies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150191.png" />.)
is called subtopological if it can be imbedded in a topological nearness space (i.e. symmetric topological space). Note that the category $  \mathop{\rm Top} _ {s} $
 
is isomorphic to the category $  \mathop{\rm T}\AAh Near $
 
of topological nearness spaces (and uniformly-continuous mappings). Here a nearness space $  ( X, \mu ) $
 
is called topological if $  X = \cup \{ { { \mathop{\rm int} } _  \mu  A } : {A \in {\mathcal A} } \} $
 
implies $  {\mathcal A} \in \mu $.)
 
  
 
==Properties of topological categories.==
 
==Properties of topological categories.==
  
1) The condition  $  \mathop{\rm Cat}  \mathop{\rm top} _ {1} $)
 
may be replaced by the following equivalent one (existence of final structures): For any set  $  X $,
 
any family  $  (( X _ {i} , \xi _ {i} )) _ {i \in I }  $
 
of  $  {\mathcal C} $-
 
objects indexed by some class  $  I $
 
and any family  $  ( f _ {i} :  X _ {i} \rightarrow X) _ {i \in I }  $
 
of mappings indexed by  $  I $,
 
there exists a unique  $  {\mathcal C} $-
 
structure  $  \xi $
 
on  $  X $
 
which is final with respect to  $  (( X _ {i} , \xi _ {i} ), f _ {i} , X, I) $,
 
i.e. for any  $  {\mathcal C} $-
 
object  $  ( Y, \mu ) $
 
a mapping  $  g:  ( X, \xi ) \rightarrow ( Y, \mu ) $
 
is a  $  {\mathcal C} $-
 
morphism if and only if for every  $  i \in I $
 
the composite mapping  $  g \circ f _ {i} :  ( X _ {i} , \xi _ {i} ) \rightarrow ( Y, \mu ) $
 
is a  $  {\mathcal C} $-
 
morphism.
 
  
2) Let $  {\mathcal C} $
+
1) The condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150192.png" />) may be replaced by the following equivalent one (existence of final structures): For any set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150193.png" />, any family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150194.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150195.png" />-objects indexed by some class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150196.png" /> and any family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150197.png" /> of mappings indexed by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150198.png" />, there exists a unique <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150199.png" />-structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150200.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150201.png" /> which is final with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150202.png" />, i.e. for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150203.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150204.png" /> a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150205.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150206.png" />-morphism if and only if for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150207.png" /> the composite mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150208.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150209.png" />-morphism.
be a topological category. Then the following hold:
+
 
 +
2) Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150210.png" /> be a topological category. Then the following hold:
  
$  {\mathcal C} $
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150211.png" /> is complete and co-complete, and the forgetful functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150212.png" /> lifts limits via initiality and co-limits via finality from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150213.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150214.png" />.
is complete and co-complete, and the forgetful functor $  U: {\mathcal C} \rightarrow  \mathop{\rm Set} $
 
lifts limits via initiality and co-limits via finality from $  \mathop{\rm Set} $
 
to $  {\mathcal C} $.
 
  
A $  {\mathcal C} $-
+
A <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150215.png" />-morphism is a [[Monomorphism|monomorphism]] ([[Epimorphism|epimorphism]]; [[Bimorphism|bimorphism]]) if and only if it is injective (surjective, bijective).
morphism is a [[Monomorphism|monomorphism]] ([[Epimorphism|epimorphism]]; [[Bimorphism|bimorphism]]) if and only if it is injective (surjective, bijective).
 
  
$  {\mathcal C} $
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150216.png" /> is wellpowered and co-wellpowered.
is wellpowered and co-wellpowered.
 
  
For any $  {\mathcal C} $-
+
For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150217.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150218.png" /> the following conditions are equivalent: a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150219.png" /> is an [[Imbedding of categories|imbedding of categories]], i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150220.png" /> is injective and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150221.png" /> is initial with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150222.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150223.png" />; b) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150224.png" /> is an extremal monomorphism; and c) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150225.png" /> is a regular monomorphism.
morphism $  f: ( X, \xi ) \rightarrow ( Y, \mu ) $
 
the following conditions are equivalent: a) $  f $
 
is an [[Imbedding of categories|imbedding of categories]], i.e. $  f $
 
is injective and $  \xi $
 
is initial with respect to $  ( Y, \mu ) $
 
and $  f $;  
 
b) $  f $
 
is an extremal monomorphism; and c) $  f $
 
is a regular monomorphism.
 
  
For any $  {\mathcal C} $-
+
For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150226.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150227.png" /> the following conditions are equivalent: a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150228.png" /> is a [[Quotient mapping|quotient mapping]], i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150229.png" /> is surjective and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150230.png" /> is final with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150231.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150232.png" />; b) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150233.png" /> is an extremal epimorphism; and c) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150234.png" /> is a regular epimorphism.
morphism $  f: ( X, \xi ) \rightarrow ( Y, \mu ) $
 
the following conditions are equivalent: a) $  f $
 
is a [[Quotient mapping|quotient mapping]], i.e. $  f $
 
is surjective and $  \eta $
 
is final with respect to $  ( X, \xi ) $
 
and $  f $;  
 
b) $  f $
 
is an extremal epimorphism; and c) $  f $
 
is a regular epimorphism.
 
  
$  {\mathcal C} $
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150235.png" /> is an (epi, embedding)-category and a (quotient, mono)-category.
is an (epi, embedding)-category and a (quotient, mono)-category.
 
  
The forgetful functor $  U: {\mathcal C} \rightarrow  \mathop{\rm Set} $
+
The forgetful functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150236.png" /> has a full and faithful left adjoint, i.e. for any set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150237.png" /> there exists a discrete structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150238.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150239.png" />, distinguished by the property that any mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150240.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150241.png" />-morphism.
has a full and faithful left adjoint, i.e. for any set $  X $
 
there exists a discrete structure $  \xi _ {X} $
 
on $  X $,  
 
distinguished by the property that any mapping $  f: ( X, \xi _ {X} ) \rightarrow ( Y, \eta ) $
 
is a $  {\mathcal C} $-
 
morphism.
 
  
The forgetful functor $  U: {\mathcal C} \rightarrow  \mathop{\rm Set} $
+
The forgetful functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150242.png" /> has a full and faithful right adjoint, i.e. for any set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150243.png" /> there exists a non-discrete <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150244.png" />-structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150245.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150246.png" /> distinguished by the property that any mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150247.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150248.png" />-morphism.
has a full and faithful right adjoint, i.e. for any set $  X $
 
there exists a non-discrete $  {\mathcal C} $-
 
structure $  \xi  ^ {X} $
 
on $  X $
 
distinguished by the property that any mapping $  f: ( Y, \eta ) \rightarrow ( X, \xi  ^ {X} ) $
 
is a $  {\mathcal C} $-
 
morphism.
 
  
For any set $  X $,  
+
For any set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150249.png" />, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150250.png" />-fibre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150251.png" />, ordered by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150252.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150253.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150254.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150255.png" />-morphism, is a [[Complete lattice|complete lattice]].
the $  {\mathcal C} $-
 
fibre of $  X $,  
 
ordered by $  \xi \leq  \mu $
 
$  \iff $
 
$  1 _ {X} : ( X, \xi ) \rightarrow ( X, \eta ) $
 
is a $  {\mathcal C} $-
 
morphism, is a [[Complete lattice|complete lattice]].
 
  
For any set $  X \neq \emptyset $,  
+
For any set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150256.png" />, any constant mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150257.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150258.png" />-morphism.
any constant mapping $  f: ( X, \xi ) \rightarrow ( Y, \eta ) $
 
is a $  {\mathcal C} $-
 
morphism.
 
  
Any $  {\mathcal C} $-
+
Any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150259.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150260.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150261.png" /> is a separator.
object $  ( X, \xi ) $
 
with $  X \neq \emptyset $
 
is a separator.
 
  
A $  {\mathcal C} $-
+
A <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150262.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150263.png" /> is a co-separator if and only if there exists an imbedding of a non-discrete object with two points into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150264.png" />.
object $  C $
 
is a co-separator if and only if there exists an imbedding of a non-discrete object with two points into $  C $.
 
  
A $  {\mathcal C} $-
+
A <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150265.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150266.png" /> is projective if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150267.png" /> is the discrete structure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150268.png" /> (cf. also [[Projective object of a category|Projective object of a category]]).
object $  ( X, \xi ) $
 
is projective if and only if $  \xi $
 
is the discrete structure on $  X $(
 
cf. also [[Projective object of a category|Projective object of a category]]).
 
  
A $  {\mathcal C} $-
+
A <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150269.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150270.png" /> is injective if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150271.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150272.png" /> is the non-discrete structure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150273.png" /> (cf. also [[Injective object|Injective object]]).
object $  ( X, \xi ) $
 
is injective if and only if $  X \neq \emptyset $
 
and $  \xi $
 
is the non-discrete structure on $  X $(
 
cf. also [[Injective object|Injective object]]).
 
  
3) In order to describe the relationships between topological categories, the theory of reflections and co-reflections is extremely useful. Below, subcategories are always assumed to be full and isomorphism closed. (A subcategory $  {\mathcal A} $
+
3) In order to describe the relationships between topological categories, the theory of reflections and co-reflections is extremely useful. Below, subcategories are always assumed to be full and isomorphism closed. (A subcategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150274.png" /> of a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150275.png" /> is called isomorphism closed if each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150276.png" />-object isomorphic to some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150277.png" />-object is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150278.png" />-object; for being full see [[Full subcategory|Full subcategory]].) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150279.png" /> is a subcategory of a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150280.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150281.png" /> denotes the inclusion functor, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150282.png" /> is called reflective (respectively, co-reflective) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150283.png" /> if one of the two following (equivalent) conditions is satisfied: a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150284.png" /> has a left adjoint <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150285.png" /> (respectively, right adjoint <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150286.png" />) called a reflector (respectively, a co-reflector); or b) for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150287.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150288.png" /> there exist an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150289.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150290.png" /> and a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150291.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150292.png" />, called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150294.png" />-reflection of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150295.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150296.png" />, called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150298.png" />-coreflection of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150299.png" />), such that for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150300.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150301.png" /> and each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150302.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150303.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150304.png" />) there is a unique <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150305.png" />-morphism (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150306.png" />-morphism) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150307.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150308.png" />) such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150309.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150310.png" />).
of a category $  {\mathcal C} $
 
is called isomorphism closed if each $  {\mathcal C} $-
 
object isomorphic to some $  {\mathcal A} $-
 
object is an $  {\mathcal A} $-
 
object; for being full see [[Full subcategory|Full subcategory]].) If $  {\mathcal A} $
 
is a subcategory of a category $  {\mathcal C} $
 
and $  {\mathcal J} : {\mathcal A} \rightarrow {\mathcal C} $
 
denotes the inclusion functor, then $  {\mathcal A} $
 
is called reflective (respectively, co-reflective) in $  {\mathcal C} $
 
if one of the two following (equivalent) conditions is satisfied: a) $  {\mathcal J} $
 
has a left adjoint $  {\mathcal R} $(
 
respectively, right adjoint $  {\mathcal R} _ {C} $)  
 
called a reflector (respectively, a co-reflector); or b) for each $  {\mathcal C} $-
 
object $  X $
 
there exist an $  {\mathcal A} $-
 
object $  X _  {\mathcal A}  $
 
and a $  {\mathcal C} $-
 
morphism $  r _ {X} : X \rightarrow X _  {\mathcal A}  $,  
 
called an $  {\mathcal A} $-
 
reflection of $  X $(
 
respectively, $  m _ {X} : X _  {\mathcal A}  \rightarrow X $,  
 
called an $  {\mathcal A} $-
 
coreflection of $  X $),  
 
such that for each $  {\mathcal A} $-
 
object $  Y $
 
and each $  {\mathcal C} $-
 
morphism $  f: X \rightarrow Y $(
 
respectively, $  f: Y \rightarrow X $)  
 
there is a unique $  {\mathcal A} $-
 
morphism ( = {\mathcal C} $-
 
morphism) $  \overline{f}\; : X _  {\mathcal A}  \rightarrow Y $(
 
respectively, $  \overline{f}\; : Y \rightarrow X _  {\mathcal A}  $)  
 
such that $  \overline{f}\; \circ r _ {X} = f $(
 
respectively, $  m _ {X} \circ \overline{f}\; = f  $).
 
  
Further, a subcategory $  {\mathcal A} $
+
Further, a subcategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150311.png" /> is called epireflective (monocoreflective), extremal epireflective (extremal monocoreflective) or bireflective (bicoreflective) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150312.png" />, respectively, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150313.png" /> is reflective (coreflective) and for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150314.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150315.png" />, the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150316.png" />-reflections (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150317.png" />-coreflections) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150318.png" /> are epimorphisms (monomorphisms), extremal epimorphisms (extremal monomorphisms) or bimorphisms, respectively.
is called epireflective (monocoreflective), extremal epireflective (extremal monocoreflective) or bireflective (bicoreflective) in $  {\mathcal C} $,  
 
respectively, if $  {\mathcal A} $
 
is reflective (coreflective) and for each $  {\mathcal C} $-
 
object $  X $,  
 
the $  {\mathcal A} $-
 
reflections ( $  {\mathcal A} $-
 
coreflections) of $  X $
 
are epimorphisms (monomorphisms), extremal epimorphisms (extremal monomorphisms) or bimorphisms, respectively.
 
  
 
For topological categories the following two assertions hold:
 
For topological categories the following two assertions hold:
Line 451: Line 135:
 
Any bireflective (and any bicoreflective) subcategory of a topological category is a topological category.
 
Any bireflective (and any bicoreflective) subcategory of a topological category is a topological category.
  
Let $  {\mathcal A} $
+
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150319.png" /> be a subcategory of a topological category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150320.png" />. Then the following hold:
be a subcategory of a topological category $  {\mathcal C} $.  
 
Then the following hold:
 
  
a) $  {\mathcal A} $
+
a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150321.png" /> is epireflective (extremal epireflective) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150322.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150323.png" /> is closed under formation of products and subobjects (i.e. extremal monomorphisms) (weak subobjects, i.e. monomorphisms) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150324.png" />;
is epireflective (extremal epireflective) in $  {\mathcal C} $
 
if and only if $  {\mathcal A} $
 
is closed under formation of products and subobjects (i.e. extremal monomorphisms) (weak subobjects, i.e. monomorphisms) in $  {\mathcal C} $;
 
  
b) $  {\mathcal A} $
+
b) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150325.png" /> is bireflective in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150326.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150327.png" /> is reflective in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150328.png" /> and contains all non-discrete objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150329.png" />;
is bireflective in $  {\mathcal C} $
 
if and only if $  {\mathcal A} $
 
is reflective in $  {\mathcal C} $
 
and contains all non-discrete objects of $  {\mathcal C} $;
 
  
c) if $  {\mathcal A} $
+
c) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150330.png" /> contains at least one object with non-empty underlying set, then the following conditions are equivalent:
contains at least one object with non-empty underlying set, then the following conditions are equivalent:
 
  
( $  \alpha $)  
+
(<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150331.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150332.png" /> is coreflective in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150333.png" />;
$  {\mathcal A} $
 
is coreflective in $  {\mathcal C} $;
 
  
( $  \beta $)  
+
(<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150334.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150335.png" /> is bicoreflective in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150336.png" />;
$  {\mathcal A} $
 
is bicoreflective in $  {\mathcal C} $;
 
  
( $  \gamma $)  
+
(<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150337.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150338.png" /> is closed under formation of coproducts and quotient objects in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150339.png" />;
$  {\mathcal A} $
 
is closed under formation of coproducts and quotient objects in $  {\mathcal C} $;
 
  
( $  \delta $)  
+
(<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150340.png" />) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150341.png" /> is coreflective in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150342.png" /> and contains all discrete objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150343.png" />.
$  {\mathcal A} $
 
is coreflective in $  {\mathcal C} $
 
and contains all discrete objects of $  {\mathcal C} $.
 
  
The relations between several topological categories are illustrated in the diagram below hold. Here $  R $(
+
The relations between several topological categories are illustrated in the diagram below hold. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150344.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150345.png" />) stands for imbedding as a bireflective (respectively, bicoreflective) subcategory.
respectively, $  C $)  
 
stands for imbedding as a bireflective (respectively, bicoreflective) subcategory.
 
  
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t093150a.gif" />
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t093150a.gif" />
Line 494: Line 157:
 
Figure: t093150a
 
Figure: t093150a
  
Concerning the formation of initial and final structures in the topological categories listed in the diagram, one may use the following result: If $  {\mathcal A} $
+
Concerning the formation of initial and final structures in the topological categories listed in the diagram, one may use the following result: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150346.png" /> is a bireflective (respectively, bicoreflective) subcategory of some topological category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150347.png" />, then the initial structures (respectively, final structures) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150348.png" /> are formed as in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150349.png" />, whereas the final structures (respectively, initial structures) are formed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150350.png" /> by applying the left adjoint <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150351.png" /> (respectively, right adjoint <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150352.png" />) of the inclusion functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150353.png" /> (i.e. the final structures (respectively, initial structures) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150354.png" /> are obtained from the final structures (respectively, initial structures) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150355.png" /> by bireflective (respectively, bicoreflective) modification).
is a bireflective (respectively, bicoreflective) subcategory of some topological category $  {\mathcal C} $,  
 
then the initial structures (respectively, final structures) in $  {\mathcal A} $
 
are formed as in $  {\mathcal C} $,  
 
whereas the final structures (respectively, initial structures) are formed in $  {\mathcal C} $
 
by applying the left adjoint $  {\mathcal R} $(
 
respectively, right adjoint $  {\mathcal R} _ {C} $)  
 
of the inclusion functor $  {\mathcal I} : {\mathcal A} \rightarrow {\mathcal C} $(
 
i.e. the final structures (respectively, initial structures) in $  {\mathcal A} $
 
are obtained from the final structures (respectively, initial structures) in $  {\mathcal C} $
 
by bireflective (respectively, bicoreflective) modification).
 
  
 
===Example.===
 
===Example.===
The symmetric topological spaces (or topological nearness spaces) form a bicoreflective subcategory of $  \mathop{\rm Near} $:  
+
The symmetric topological spaces (or topological nearness spaces) form a bicoreflective subcategory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150356.png" />: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150357.png" /> is a topological nearness space, then the identity mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150358.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150359.png" />-coreflection, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150360.png" /> consists of all coverings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150361.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150362.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150363.png" />; the corresponding coreflector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150364.png" /> assigns to each nearness space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150365.png" /> the topological nearness space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150366.png" />, i.e. its bicoreflective modification.
If $  ( X, \mu ) $
 
is a topological nearness space, then the identity mapping $  1 _ {X} : ( X, \mu _ {t} ) \rightarrow ( X, \mu ) $
 
is a $  \mathop{\rm T}\AAh Near $-
 
coreflection, where $  \mu _ {t} $
 
consists of all coverings $  {\mathcal A} $
 
of $  X $
 
such that $  X = \cup \{ { { \mathop{\rm int} } _  \mu  A } : {A \in {\mathcal A} } \} $;  
 
the corresponding coreflector $  T:   \mathop{\rm Near} \rightarrow  \mathop{\rm T}\AAh Near $
 
assigns to each nearness space $  ( X, \mu ) $
 
the topological nearness space $  ( X, \mu _ {t} ) $,  
 
i.e. its bicoreflective modification.
 
  
First, consider the construction of subspaces and products in $  \mathop{\rm Near} $.
+
First, consider the construction of subspaces and products in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150367.png" />.
  
 
===Subspaces.===
 
===Subspaces.===
Let $  ( X, \mu ) $
+
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150368.png" /> be a nearness space, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150369.png" /> a subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150370.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150371.png" /> the inclusion mapping. Then there is a unique initial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150372.png" />-structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150373.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150374.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150375.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150376.png" />, namely <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150377.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150378.png" />. The pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150379.png" /> is called a nearness subspace of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150380.png" />.
be a nearness space, $  A $
 
a subset of $  X $
 
and $  i: A \rightarrow X $
 
the inclusion mapping. Then there is a unique initial $  \mathop{\rm Near} $-
 
structure $  \mu _ {A} $
 
on $  A $
 
with respect to $  i $
 
and $  ( X, \mu ) $,
 
namely $  \mu _ {A} = \{ \{ A \} \wedge {\mathcal U} : {\mathcal U} \in \mu \} $
 
where $  \{ A \} \wedge {\mathcal U} = \{ {A \cap U } : {U \in {\mathcal U} } \} $.  
 
The pair $  ( A, \mu _ {A} ) $
 
is called a nearness subspace of $  ( X, \mu ) $.
 
  
 
===Products.===
 
===Products.===
Let $  (( X _ {i} , \mu _ {i} )) _ {i \in I }  $
+
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150381.png" /> be a family of nearness spaces indexed by some set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150382.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150383.png" /> be the Cartesian product of the family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150384.png" /> (cf. [[Direct product|Direct product]]) and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150385.png" /> be the projection mapping for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150386.png" />. Then there is a unique initial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150387.png" />-structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150388.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150389.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150390.png" />, namely the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150391.png" /> of all coverings of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150392.png" /> which are refined by some finite intersection of elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150393.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150394.png" /> and the intersection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150395.png" /> of two coverings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150396.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150397.png" /> of some set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150398.png" /> is defined to be the covering <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150399.png" />. The pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150400.png" /> is called the nearness product space of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150401.png" />.
be a family of nearness spaces indexed by some set $  I $,  
 
let $  \prod X _ {i} $
 
be the Cartesian product of the family ( X _ {i} ) _ {i \in I }  $(
 
cf. [[Direct product|Direct product]]) and let $  p _ {i} : \prod X _ {i} \rightarrow X _ {i} $
 
be the projection mapping for each $  i \in I $.  
 
Then there is a unique initial $  \mathop{\rm Near} $-
 
structure $  \mu $
 
on $  \prod X _ {i} $
 
with respect to $  ( \prod X _ {i} , p _ {i} , ( X _ {i} , \mu _ {i} ), I) $,
 
namely the set $  \mu $
 
of all coverings of $  \prod X _ {i} $
 
which are refined by some finite intersection of elements of $  \{ {p _ {i}  ^ {-} 1 {\mathcal U} _ {i} } : { {\mathcal U} _ {i} \in \mu _ {i } \textrm{ and }  i \in I } \} $,  
 
where $  p _ {i}  ^ {-} 1 {\mathcal U} _ {i} = \{ {p _ {i}  ^ {-} 1 [ U _ {i} ] } : {U _ {i} \in {\mathcal U} _ {i} } \} $
 
and the intersection $  {\mathcal A} \wedge {\mathcal B} $
 
of two coverings $  {\mathcal A} $
 
and $  {\mathcal B} $
 
of some set $  X $
 
is defined to be the covering $  \{ {A \cap B } : {A \in {\mathcal A}  \textrm{ and }  B \in {\mathcal B} } \} $.  
 
The pair $  ( \prod X _ {i} , \mu ) $
 
is called the nearness product space of $  (( X _ {i} , \mu _ {i} )) _ {i \in I }  $.
 
  
Secondly, subspaces and products in $  \mathop{\rm T}\AAh Near $
+
Secondly, subspaces and products in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150402.png" /> are constructed by forming them first in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150403.png" /> and then applying the coreflector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150404.png" />. In this way one obtains the usual constructions of subspaces and products for (symmetric) topological spaces. But it is this second step that destroys desirable statements, e.g. the following:
are constructed by forming them first in $  \mathop{\rm Near} $
 
and then applying the coreflector $  T $.  
 
In this way one obtains the usual constructions of subspaces and products for (symmetric) topological spaces. But it is this second step that destroys desirable statements, e.g. the following:
 
  
 
1) products of paracompact topological spaces are paracompact;
 
1) products of paracompact topological spaces are paracompact;
  
2) products of compact Hausdorff spaces with normal $  R _ {0} $-
+
2) products of compact Hausdorff spaces with normal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150405.png" />-spaces are normal;
spaces are normal;
 
  
3) subspaces of paracompact topological spaces (normal $  R _ {0} $-
+
3) subspaces of paracompact topological spaces (normal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150406.png" />-spaces) are paracompact (normal);
spaces) are paracompact (normal);
 
  
4) $  \mathop{\rm dim} ( X \times Y) \leq  \mathop{\rm dim}  X +  \mathop{\rm dim}  Y $
+
4) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150407.png" /> for paracompact topological spaces;
for paracompact topological spaces;
 
  
5) $  \mathop{\rm dim}  X = \mathop{\rm dim}  Y $
+
5) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150408.png" /> for dense subspaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150409.png" /> of regular <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150410.png" />-spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150411.png" />.
for dense subspaces $  X $
 
of regular $  R _ {0} $-
 
spaces $  Y $.
 
  
Each of the above statements is false when products and subspaces are formed in the usual (topological) sense, but all of them are true when products and subspaces are formed in $  \mathop{\rm Near} $,  
+
Each of the above statements is false when products and subspaces are formed in the usual (topological) sense, but all of them are true when products and subspaces are formed in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150412.png" />, and then they are special cases of more general theorems. Consider, for example, the situation for paracompact spaces: A nearness space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150413.png" /> is called paracompact provided that it is a uniform <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150414.png" />-space. Here a nearness space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150415.png" /> is called an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150417.png" />-space if the underlying topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150418.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150419.png" />-space, and uniform if each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150420.png" /> is star-refined by some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150421.png" />. Thus, uniform nearness spaces are uniform spaces (described by uniform coverings) and uniform <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150422.png" />-spaces are separated uniform spaces, whereas the paracompact topological spaces are precisely those <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150423.png" />-spaces which are simultaneously topological and uniform. Then products and subspaces of paracompact nearness spaces are paracompact nearness spaces. In particular, products and subspaces (in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150424.png" />) of paracompact topological spaces are paracompact, but in general not topological. Further information can be found in, for example, [[#References|[a14]]] and [[#References|[a28]]].
and then they are special cases of more general theorems. Consider, for example, the situation for paracompact spaces: A nearness space $  ( X, \mu ) $
 
is called paracompact provided that it is a uniform $  N _ {1} $-
 
space. Here a nearness space $  ( X, \mu ) $
 
is called an $  N _ {1} $-
 
space if the underlying topological space $  T (( X, \mu )) $
 
is a $  T _ {1} $-
 
space, and uniform if each $  {\mathcal A} \in \mu $
 
is star-refined by some $  {\mathcal B} \in \mu $.  
 
Thus, uniform nearness spaces are uniform spaces (described by uniform coverings) and uniform $  N _ {1} $-
 
spaces are separated uniform spaces, whereas the paracompact topological spaces are precisely those $  N _ {1} $-
 
spaces which are simultaneously topological and uniform. Then products and subspaces of paracompact nearness spaces are paracompact nearness spaces. In particular, products and subspaces (in $  \mathop{\rm Near} $)  
 
of paracompact topological spaces are paracompact, but in general not topological. Further information can be found in, for example, [[#References|[a14]]] and [[#References|[a28]]].
 
  
 
==Generalizations.==
 
==Generalizations.==
Initially structured (i.e. monotopological) categories. Epireflective (respectively, extremal epireflective) subcategories of topological categories are not topological, in general. E.g. the category $  \mathop{\rm Haus} $
+
Initially structured (i.e. monotopological) categories. Epireflective (respectively, extremal epireflective) subcategories of topological categories are not topological, in general. E.g. the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150425.png" /> of Hausdorff spaces (and continuous mappings) is an extremal epireflective subcategory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150426.png" />, but <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150427.png" /> is not topological (note that the imbedding of the Hausdorff space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150428.png" /> of rational numbers into the Hausdorff space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150429.png" /> of real number is an epimorphism in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150430.png" /> which is not surjective). In order to include <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150431.png" /> in the present consideration, one needs the following definition: A concrete category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150432.png" /> is called initially structured (or monotopological) if it satisfies <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150433.png" />) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150434.png" />) and if for any set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150435.png" />, any family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150436.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150437.png" />-objects indexed by some class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150438.png" /> and any mono-source <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150439.png" /> of mappings indexed by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150440.png" /> (i.e. any family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150441.png" /> of mappings such that for any pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150442.png" /> of mappings with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150443.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150444.png" />, it follows that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150445.png" />) there exists a unique <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150446.png" />-structure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150447.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150448.png" /> which is initial with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150449.png" />.
of Hausdorff spaces (and continuous mappings) is an extremal epireflective subcategory of $  \mathop{\rm Top} $,  
 
but $  \mathop{\rm Haus} $
 
is not topological (note that the imbedding of the Hausdorff space $  \mathbf Q $
 
of rational numbers into the Hausdorff space $  \mathbf R $
 
of real number is an epimorphism in $  \mathop{\rm Haus} $
 
which is not surjective). In order to include $  \mathop{\rm Haus} $
 
in the present consideration, one needs the following definition: A concrete category $  {\mathcal C} $
 
is called initially structured (or monotopological) if it satisfies $  \mathop{\rm Cat}  \mathop{\rm top} _ {2} $)  
 
and $  \mathop{\rm Cat}  \mathop{\rm top} _ {3} $)  
 
and if for any set $  X $,  
 
any family $  (( X _ {i} , \xi _ {i} )) _ {i \in I }  $
 
of $  {\mathcal C} $-
 
objects indexed by some class $  I $
 
and any mono-source $  ( f _ {i} : X \rightarrow X _ {i} ) _ {i \in I }  $
 
of mappings indexed by $  I $(
 
i.e. any family $  ( f _ {i} : X \rightarrow X _ {i} ) _ {i \in I }  $
 
of mappings such that for any pair $  Y _ {\rightarrow _  \beta  } ^ {\rightarrow  ^  \alpha  } X $
 
of mappings with $  f _ {i} \circ \alpha = f _ {i} \circ \beta $
 
for each $  i \in I $,  
 
it follows that $  \alpha = \beta $)  
 
there exists a unique $  {\mathcal C} $-
 
structure $  \xi $
 
on $  X $
 
which is initial with respect to $  ( X, f _ {i} , ( X _ {i} , \xi _ {i} ), I) $.
 
  
Obviously, every topological category is initially structured. Furthermore, every epireflective (respectively, extremal epireflective) subcategory of a topological category (respectively, initially structured category) is initially structured. E.g. the categories $  \mathop{\rm Top} _ {0} $(
+
Obviously, every topological category is initially structured. Furthermore, every epireflective (respectively, extremal epireflective) subcategory of a topological category (respectively, initially structured category) is initially structured. E.g. the categories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150450.png" /> (topological <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150451.png" />-spaces), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150452.png" /> (topological <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150453.png" />-spaces), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150454.png" /> (regular topological <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150455.png" />-spaces) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150456.png" /> (completely-regular topological <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150457.png" />-spaces), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150458.png" /> (partially ordered sets), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150459.png" /> (Hausdorff convergence spaces), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150460.png" /> (Hausdorff limit spaces), and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150461.png" /> (Hausdorff pseudo-topological spaces) (the Hausdorff property in the last three examples means that limits of filters are unique) are initially structured categories which are not topological. Conversely, every initially structured category is an extremal epireflective subcategory of some topological category. Initially structured categories are complete, cocomplete and wellpowered, but they do not have all the nice properties of topological categories; in particular, they are not cowellpowered (e.g. the category of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150462.png" />-spaces (i.e. Urysohn spaces, cf. [[Urysohn space|Urysohn space]]) (and continuous mappings) is initially structured, but not cowellpowered). See [[#References|[a28]]] for further details.
topological $  T _ {0} $-
 
spaces), $  \mathop{\rm Top} _ {1} $(
 
topological $  T _ {1} $-
 
spaces), $  \mathop{\rm Reg} _ {1} $(
 
regular topological $  T _ {1} $-
 
spaces) $  \mathop{\rm CompReg} _ {1} $(
 
completely-regular topological $  T _ {1} $-
 
spaces), $  \mathop{\rm Poset} $(
 
partially ordered sets), $  \mathop{\rm HConv} $(
 
Hausdorff convergence spaces), $  \mathop{\rm HLim} $(
 
Hausdorff limit spaces), and $  \mathop{\rm HPsTop} $(
 
Hausdorff pseudo-topological spaces) (the Hausdorff property in the last three examples means that limits of filters are unique) are initially structured categories which are not topological. Conversely, every initially structured category is an extremal epireflective subcategory of some topological category. Initially structured categories are complete, cocomplete and wellpowered, but they do not have all the nice properties of topological categories; in particular, they are not cowellpowered (e.g. the category of $  T _ {2a} $-
 
spaces (i.e. Urysohn spaces, cf. [[Urysohn space|Urysohn space]]) (and continuous mappings) is initially structured, but not cowellpowered). See [[#References|[a28]]] for further details.
 
  
Topological categories over arbitrary base categories. First some definitions. Let $  {\mathcal F} : {\mathcal C} \rightarrow {\mathcal X} $
+
Topological categories over arbitrary base categories. First some definitions. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150463.png" /> be a functor. A pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150464.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150465.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150466.png" />-object and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150467.png" /> a class-indexed family of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150468.png" />-morphisms each with domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150469.png" />, called a source in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150470.png" />, is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150472.png" />-initial if and only if for each source <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150473.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150474.png" /> and each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150475.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150476.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150477.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150478.png" />, there exists a unique <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150479.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150480.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150481.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150482.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150483.png" />. A functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150484.png" /> is called topological if for each class-indexed family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150485.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150486.png" />-objects and each source <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150487.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150488.png" /> there exists a unique <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150489.png" />-initial source <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150490.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150491.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150492.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150493.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150494.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150495.png" /> be a fixed category, called base category. A concrete category over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150496.png" /> is pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150497.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150498.png" /> is a category and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150499.png" /> a functor which is faithful, amnestic (i.e. any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150500.png" />-isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150501.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150502.png" />-identity if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150503.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150504.png" />-identity) and transportable (i.e. for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150505.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150506.png" />, each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150507.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150508.png" /> and each isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150509.png" /> there exists a unique <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150510.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150511.png" /> and an isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150512.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150513.png" />). The functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150514.png" /> is called the underlying functor of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150515.png" />. Occasionally, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150516.png" /> is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150517.png" />. A concrete category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150518.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150519.png" /> is called initially complete if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150520.png" /> is topological, it is called small-fibred if for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150521.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150522.png" /> the class of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150523.png" />-objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150524.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150525.png" /> is a set, and it is called topological if it is initially complete and small-fibred.
be a functor. A pair $  ( A, ( f _ {i} : A \rightarrow A _ {i} ) _ {i \in I }  ) $
 
where $  A $
 
is a $  {\mathcal C} $-
 
object and $  ( f _ {i} : A \rightarrow A _ {i} ) _ {i \in I }  $
 
a class-indexed family of $  {\mathcal C} $-
 
morphisms each with domain $  A $,  
 
called a source in $  {\mathcal C} $,  
 
is $  {\mathcal F} $-
 
initial if and only if for each source $  ( B, ( g _ {i} : B \rightarrow A _ {i} ) _ {i \in I }  ) $
 
in  $  {\mathcal C} $
 
and each $  {\mathcal X} $-
 
morphism $  f: {\mathcal F} ( B) \rightarrow {\mathcal F} ( A) $
 
such that $  {\mathcal F} ( f _ {i} ) \circ f = {\mathcal F} ( g _ {i} ) $
 
for each $  i \in I $,  
 
there exists a unique $  {\mathcal C} $-
 
morphism $  \overline{f}\; : B \rightarrow A $
 
with $  {\mathcal F} ( \overline{f}\;  ) = f $
 
and $  f _ {i} \circ \overline{f}\; = g _ {i} $
 
for each $  i \in I $.  
 
A functor $  {\mathcal F} : {\mathcal C} \rightarrow X $
 
is called topological if for each class-indexed family $  ( A _ {i} ) _ {i \in I }  $
 
of $  {\mathcal C} $-
 
objects and each source $  ( X, ( f _ {i} : X \rightarrow {\mathcal F} ( A _ {i} )) _ {i \in I }  ) $
 
in  $  {\mathcal X} $
 
there exists a unique $  {\mathcal F} $-
 
initial source $  ( A, ( g _ {i} : A \rightarrow A _ {i} ) _ {i \in I }  ) $
 
in  $  {\mathcal C} $
 
with $  {\mathcal F} ( A) = X $
 
and $  {\mathcal F} ( g _ {i} ) = f _ {i} $
 
for each $  i \in I $.  
 
Let $  {\mathcal X} $
 
be a fixed category, called base category. A concrete category over $  {\mathcal X} $
 
is pair $  ( {\mathcal C} , {\mathcal F} ) $
 
where $  {\mathcal C} $
 
is a category and $  {\mathcal F} : {\mathcal C} \rightarrow {\mathcal X} $
 
a functor which is faithful, amnestic (i.e. any $  {\mathcal C} $-
 
isomorphism $  f $
 
is a $  {\mathcal C} $-
 
identity if and only if $  {\mathcal F} ( f) $
 
is an $  {\mathcal X} $-
 
identity) and transportable (i.e. for each $  {\mathcal C} $-
 
object $  A $,  
 
each $  {\mathcal X} $-
 
object $  B $
 
and each isomorphism $  q: B \rightarrow {\mathcal F} ( A) $
 
there exists a unique $  {\mathcal C} $-
 
object $  C $
 
and an isomorphism $  \overline{q}\; : C \rightarrow A $
 
with $  {\mathcal F} ( \overline{q}\; ) = q $).  
 
The functor $  {\mathcal F} $
 
is called the underlying functor of $  ( {\mathcal C} , {\mathcal F} ) $.  
 
Occasionally, $  ( {\mathcal C} , {\mathcal F} ) $
 
is denoted by $  C $.  
 
A concrete category $  ( {\mathcal C} , {\mathcal F} ) $
 
over $  {\mathcal F} $
 
is called initially complete if $  {\mathcal F} : {\mathcal C} \rightarrow {\mathcal X} $
 
is topological, it is called small-fibred if for each $  {\mathcal X} $-
 
object $  X $
 
the class of all $  {\mathcal C} $-
 
objects $  A $
 
with $  {\mathcal F} ( A) = X $
 
is a set, and it is called topological if it is initially complete and small-fibred.
 
  
Obviously, if $  {\mathcal C} $
+
Obviously, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150526.png" /> is a topological category as defined at the beginning of this article and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150527.png" /> denotes the forgetful functor, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150528.png" /> is topological over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150529.png" />. But the axiom <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150530.png" />), which is equivalent to the fact that all constant mappings (i.e. functions that factor through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150531.png" />) between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150532.png" />-objects are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150533.png" />-morphisms, is now omitted. Thus, e.g., the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150534.png" /> of directed graphs and (graph homomorphisms) is no longer excluded. Base categories other than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150535.png" /> are, e.g.,
is a topological category as defined at the beginning of this article and if $  {\mathcal F} : {\mathcal C} \rightarrow  \mathop{\rm Set} $
 
denotes the forgetful functor, then $  ( {\mathcal C} , {\mathcal F} ) $
 
is topological over $  \mathop{\rm Set} $.  
 
But the axiom $  \mathop{\rm Cat}  \mathop{\rm top} _ {3} $),  
 
which is equivalent to the fact that all constant mappings (i.e. functions that factor through $  \{ \emptyset \} $)  
 
between $  {\mathcal C} $-
 
objects are $  {\mathcal C} $-
 
morphisms, is now omitted. Thus, e.g., the category $  \mathop{\rm Graph} $
 
of directed graphs and (graph homomorphisms) is no longer excluded. Base categories other than $  \mathop{\rm Set} $
 
are, e.g.,
 
  
1) the category $  {\mathcal T} $
+
1) the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150536.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150537.png" /> as single object and the identity mapping as single morphism. Then concrete categories over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150538.png" /> are partially ordered classes. Topological categories over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150539.png" /> are complete lattices.
with $  \{ \emptyset \} $
 
as single object and the identity mapping as single morphism. Then concrete categories over $  {\mathcal T} $
 
are partially ordered classes. Topological categories over $  {\mathcal T} $
 
are complete lattices.
 
  
2) The category $  \mathop{\rm Group} $
+
2) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150540.png" /> of groups (and homomorphisms). Then the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150541.png" /> of topological groups (and continuous homomorphisms) is topological over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150542.png" />.
of groups (and homomorphisms). Then the category $  \mathop{\rm TopGroup} $
 
of topological groups (and continuous homomorphisms) is topological over $  \mathop{\rm Group} $.
 
  
3) The category $  {\mathcal C} $
+
3) The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150543.png" /> whose objects are pairs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150544.png" /> of disjoint sets and whose morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150545.png" /> are mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150546.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150547.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150548.png" />. Then the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150549.png" /> whose objects are triples <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150550.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150551.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150552.png" />-object and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150553.png" />, and whose morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150554.png" /> are <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150555.png" />-morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150556.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150557.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150558.png" />, is topological over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150559.png" /> (note that the objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150560.png" /> are called nets; nets are used in computer science, cf. [[#References|[a29]]]).
whose objects are pairs $  ( A, B) $
 
of disjoint sets and whose morphisms $  F: ( A, B) \rightarrow ( A  ^  \prime  , B  ^  \prime  ) $
 
are mappings $  F: A \cup B \rightarrow A  ^  \prime  \cup B  ^  \prime  $
 
such that $  F [ A] \subset  A  ^  \prime  $
 
and $  F [ B] \subset  B  ^  \prime  $.  
 
Then the category $  \mathop{\rm Net} $
 
whose objects are triples $  ( A, B, R) $,
 
where $  ( A, B) $
 
is a $  {\mathcal C} $-
 
object and $  R \subset  ( A \times B) \cup ( B \times A) $,  
 
and whose morphisms $  F: ( A, B, R) \rightarrow ( A  ^  \prime  , B  ^  \prime  , R  ^  \prime  ) $
 
are $  {\mathcal C} $-
 
morphisms $  F: ( A, B) \rightarrow ( A  ^  \prime  , B  ^  \prime  ) $
 
such that $  ( F ( x), F ( y)) \in R  ^  \prime  $
 
for each $  ( x, y) \in R $,  
 
is topological over $  {\mathcal C} $(
 
note that the objects of $  \mathop{\rm Net} $
 
are called nets; nets are used in computer science, cf. [[#References|[a29]]]).
 
  
Topological functors are faithful, amnestic and transportable. Thus, they lead to concrete categories which are initially complete. If $  {\mathcal C} $
+
Topological functors are faithful, amnestic and transportable. Thus, they lead to concrete categories which are initially complete. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150561.png" /> is a topological category over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150562.png" /> with underlying functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150563.png" />, then according to the results on topological categories over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150564.png" />, one obtains: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150565.png" /> has a full and faithful left adjoint and a full and faithful right adjoint, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150566.png" /> lifts limits via initiality and colimits via finality from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150567.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150568.png" />, any factorization structure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150569.png" /> can be lifted via initiality (respectively, via finality) to a factorization structure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150570.png" />, completeness, cocompleteness, wellpoweredness and cowellpoweredness hold in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150571.png" /> if and only if they hold in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150572.png" />, fibres are complete lattices, etc. Moreover, duality holds, i.e. if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150573.png" /> is topological over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150574.png" />, then the dual category (cf. [[Category|Category]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150575.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150576.png" /> is topological over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150577.png" />.
is a topological category over $  {\mathcal X} $
 
with underlying functor $  {\mathcal F} $,  
 
then according to the results on topological categories over $  \mathop{\rm Set} $,  
 
one obtains: $  {\mathcal F} $
 
has a full and faithful left adjoint and a full and faithful right adjoint, $  {\mathcal F} $
 
lifts limits via initiality and colimits via finality from $  {\mathcal X} $
 
to $  {\mathcal C} $,  
 
any factorization structure on $  {\mathcal X} $
 
can be lifted via initiality (respectively, via finality) to a factorization structure on $  {\mathcal C} $,  
 
completeness, cocompleteness, wellpoweredness and cowellpoweredness hold in $  {\mathcal C} $
 
if and only if they hold in $  {\mathcal X} $,  
 
fibres are complete lattices, etc. Moreover, duality holds, i.e. if $  {\mathcal C} $
 
is topological over $  {\mathcal X} $,  
 
then the dual category (cf. [[Category|Category]]) $  {\mathcal C}  ^ {op} $
 
of $  {\mathcal C} $
 
is topological over $  {\mathcal X}  ^ {op} $.
 
  
 
==Cartesian closedness and further restrictions.==
 
==Cartesian closedness and further restrictions.==
The category $  \mathop{\rm Top} $
+
The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150578.png" /> of topological spaces and continuous mappings fails to have some desirable properties, e.g. the product of two quotient mappings need not be a quotient mapping and there is in general no natural function space topology, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150579.png" /> is not Cartesian closed (cf. [[Category|Category]]). Because of this fact, which is inconvenient for investigations in algebraic topology (homotopy theory), functional analysis (duality theory) or topological algebra (quotients), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150580.png" /> has been substituted either by well-behaved subcategories or by more convenient supercategories. The precise ideas are as follows.
of topological spaces and continuous mappings fails to have some desirable properties, e.g. the product of two quotient mappings need not be a quotient mapping and there is in general no natural function space topology, i.e. $  \mathop{\rm Top} $
 
is not Cartesian closed (cf. [[Category|Category]]). Because of this fact, which is inconvenient for investigations in algebraic topology (homotopy theory), functional analysis (duality theory) or topological algebra (quotients), $  \mathop{\rm Top} $
 
has been substituted either by well-behaved subcategories or by more convenient supercategories. The precise ideas are as follows.
 
  
1) A category $  {\mathcal C} $
+
1) A category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150581.png" /> is Cartesian closed if the following conditions are satisfied (cf. also [[Category|Category]]):
is Cartesian closed if the following conditions are satisfied (cf. also [[Category|Category]]):
 
  
a) for each pair $  ( A, B) $
+
a) for each pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150582.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150583.png" />-objects, there exists a product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150584.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150585.png" />;
of $  {\mathcal C} $-
 
objects, there exists a product $  A \times B $
 
in $  {\mathcal C} $;
 
  
b) for each $  {\mathcal C} $-
+
b) for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150586.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150587.png" /> holds: For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150588.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150589.png" />, there exist some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150590.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150591.png" /> and some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150592.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150593.png" /> such that for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150594.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150595.png" /> and each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150596.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150597.png" /> there exists a unique <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150598.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150599.png" /> such that the diagram
object $  A $
 
holds: For each $  {\mathcal C} $-
 
object $  B $,  
 
there exist some $  {\mathcal C} $-
 
object $  B  ^ {A} $
 
and some $  {\mathcal C} $-
 
morphism $  e _ {A, B }  : A \times B  ^ {A} \rightarrow B $
 
such that for each $  {\mathcal C} $-
 
object $  C $
 
and each $  {\mathcal C} $-
 
morphism $  f: A \times C \rightarrow B $
 
there exists a unique $  {\mathcal C} $-
 
morphism $  \overline{f}\; : C \rightarrow B  ^ {A} $
 
such that the diagram
 
  
$$
+
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150600.png" /></td> </tr></table>
  
commutes (i.e. for each $  {\mathcal C} $-
+
commutes (i.e. for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150601.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150602.png" /> the functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150603.png" />, defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150604.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150605.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150606.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150607.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150608.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150609.png" />, has a right adjoint, denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150610.png" />); the objects of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150611.png" /> are called power objects.
object $  A $
 
the functor $  A \times - : {\mathcal C} \rightarrow {\mathcal C} $,  
 
defined by $  ( A \times -) ( B) = A \times B $
 
for each $  {\mathcal C} $-
 
object $  B $
 
and $  ( A \times -) ( f) = 1 _ {A} \times f $
 
for each $  {\mathcal C} $-
 
morphism $  f $,  
 
has a right adjoint, denoted by $  \bullet  ^ {A} $);  
 
the objects of the form $  B  ^ {A} $
 
are called power objects.
 
  
2) Let $  {\mathcal C} $
+
2) Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150612.png" /> be a category. A class-indexed family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150613.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150614.png" />-morphisms is called an epi-sink if for any pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150615.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150616.png" />-morphisms with domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150617.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150618.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150619.png" />, it follows that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150620.png" />.
be a category. A class-indexed family $  ( f _ {i} : B _ {i} \rightarrow B) _ {i \in I }  $
 
of $  {\mathcal C} $-
 
morphisms is called an epi-sink if for any pair $  ( \alpha , \beta ) $
 
of $  {\mathcal C} $-
 
morphisms with domain $  B $
 
such that $  \alpha \circ f _ {i} = \beta \circ f _ {i} $
 
for each $  i \in I $,  
 
it follows that $  \alpha = \beta $.
 
  
3) Let $  {\mathcal C} $
+
3) Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150621.png" /> be a topological category. An epi-sink <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150622.png" /> is called final if the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150623.png" />-structure of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150624.png" /> is final with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150625.png" />.
be a topological category. An epi-sink $  ( f _ {i} : B _ {i} \rightarrow B) _ {i \in I }  $
 
is called final if the $  {\mathcal C} $-
 
structure of $  B $
 
is final with respect to $  ( f _ {i} ) _ {i \in I }  $.
 
  
For a topological category $  {\mathcal C} $
+
For a topological category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150626.png" /> the following assertions are equivalent:
the following assertions are equivalent:
 
  
$  {\mathcal C} $
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150627.png" /> is Cartesian closed;
is Cartesian closed;
 
  
For any $  {\mathcal C} $-
+
For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150628.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150629.png" /> and any set-indexed family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150630.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150631.png" />-objects the following are satisfied:
object $  A $
 
and any set-indexed family $  ( B _ {i} ) _ {i \in I }  $
 
of $  {\mathcal C} $-
 
objects the following are satisfied:
 
  
a) $  A \times \amalg _ {i \in I }  B _ {i} \cong \amalg _ {i \in I }  ( A \times B _ {i} ) $(
+
a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150632.png" /> (more exactly: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150633.png" /> preserves coproducts), and
more exactly: $  A \times \amalg $
 
preserves coproducts), and
 
  
b) If $  f $
+
b) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150634.png" /> is a quotient mapping then so is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150635.png" />, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150636.png" /> preserves quotient mappings;
is a quotient mapping then so is $  1 _ {A} \times f $,  
 
i.e. $  A \times - $
 
preserves quotient mappings;
 
  
a) For any $  {\mathcal C} $-
+
a) For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150637.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150638.png" /> and any set-indexed family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150639.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150640.png" />-objects one has:
object $  A $
 
and any set-indexed family $  ( B _ {i} ) _ {i \in I }  $
 
of $  {\mathcal C} $-
 
objects one has:
 
  
$  A \times \amalg _ {i \in I }  B _ {i} \cong \amalg _ {i \in I }  ( A \times B _ {i} ) $(
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150641.png" /> (more exactly: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150642.png" /> preserves coproducts), and
more exactly: $  A \times - $
 
preserves coproducts), and
 
  
b) In $  {\mathcal C} $
+
b) In <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150643.png" /> the product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150644.png" /> of any two quotient mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150645.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150646.png" /> is a quotient mapping;
the product $  f \times g $
 
of any two quotient mappings $  f $
 
and $  g $
 
is a quotient mapping;
 
  
For each $  {\mathcal C} $-
+
For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150647.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150648.png" /> the functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150649.png" /> preserves final epi-sinks: for any final epi-sink <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150650.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150651.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150652.png" /> is a final epi-sink;
object $  A $
 
the functor $  A \times - $
 
preserves final epi-sinks: for any final epi-sink $  ( f _ {i} : B _ {i} \rightarrow B) _ {i \in I }  $
 
in  $  {\mathcal C} $,  
 
$  ( 1 _ {A} \times f _ {i} : A \times B _ {i} \rightarrow A \times B) _ {i \in I }  $
 
is a final epi-sink;
 
  
For each pair $  ( A, B) \in | {\mathcal C} | \times | {\mathcal C} | $,
+
For each pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150653.png" />, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150654.png" /> of all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150655.png" />-morphisms from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150656.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150657.png" /> can be endowed with the structure of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150658.png" />-object, denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150659.png" />, such that
the set $  [ A, B] _  {\mathcal C}  $
 
of all $  {\mathcal C} $-
 
morphisms from $  A $
 
to $  B $
 
can be endowed with the structure of a $  {\mathcal C} $-
 
object, denoted by $  B  ^ {A} $,  
 
such that
 
  
a) the evaluation mapping $  e _ {A,B} : A \times B  ^ {A} \rightarrow B $,  
+
a) the evaluation mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150660.png" />, defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150661.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150662.png" />, is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150663.png" />-morphism;
defined by $  e _ {A,B} ( a, g) = g ( a) $
 
for each $  ( a, g) \in A \times B  ^ {A} $,  
 
is a $  {\mathcal C} $-
 
morphism;
 
  
b) for each $  {\mathcal C} $-
+
b) for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150664.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150665.png" />, the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150666.png" /> defined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150667.png" /> for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150668.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150669.png" />, is surjective.
object $  C $,  
 
the mapping $  \psi : ( B  ^ {A} )  ^ {C} \rightarrow B ^ {A \times C } $
 
defined by $  \psi ( f) = e _ {A,B} \circ ( 1 _ {A} \times f  ) $
 
for each $  {\mathcal C} $-
 
morphism $  f: C \rightarrow B  ^ {A} $,  
 
is surjective.
 
  
4) It follows that for a Cartesian closed topological category $  {\mathcal C} $
+
4) It follows that for a Cartesian closed topological category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150670.png" /> the following holds:
the following holds:
 
  
$  \alpha $)  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150671.png" /> ) the first exponential law: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150672.png" />;
the first exponential law: $  A ^ {B \times C } \cong ( A  ^ {B} )  ^ {C} $;
 
  
$  \beta $)  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150673.png" /> ) the second exponential law: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150674.png" />;
the second exponential law: $  ( \prod _ {i \in I }  A _ {i} )  ^ {B} \cong \prod _ {i \in I }  A _ {i}  ^ {B} $;
 
  
$  \gamma $)  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150675.png" /> ) the third exponential law: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150676.png" />;
the third exponential law: $  A ^ {\amalg _ {i \in I }  B _ {i} } \cong \prod _ {i \in i }  A ^ {B _ {i} } $;
 
  
$  \delta $)  
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150677.png" /> ) the distributive law: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150678.png" />.
the distributive law: $  A \times \amalg _ {i \in i }  B _ {i} \cong \amalg _ {i \in I }  A \times B _ {i} $.
 
  
Examples of Cartesian closed topological categories are: $  \mathop{\rm Set} $,  
+
Examples of Cartesian closed topological categories are: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150679.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150680.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150681.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150682.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150683.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150684.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150685.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150686.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150687.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150688.png" />.
$  \mathop{\rm PsTop} $,  
 
$  \mathop{\rm Lim} $,  
 
$  \mathop{\rm Conv} $,  
 
$  \mathop{\rm Grill} $,  
 
$  \mathop{\rm Born} $,  
 
$  \mathop{\rm Simp} $,  
 
$  \mathop{\rm Rere} $,  
 
$  \mathop{\rm PrOrd} $,  
 
$  \mathop{\rm CGTop} $.
 
  
5) If $  {\mathcal C} $
+
5) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150689.png" /> is an initially structured category, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150690.png" /> is Cartesian closed if and only if for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150691.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150692.png" /> the functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150693.png" /> preserves final epi-sinks. Furthermore, in a Cartesian closed initially structured category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150694.png" /> the power object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150695.png" /> may be interpreted (up to isomorphism) as the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150696.png" /> endowed with a suitable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150697.png" />-structure, i.e. as a  "function space" , and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150698.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150699.png" /> is the usual evaluation mapping (up to isomorphism). Since every extremal epireflective subcategory of a Cartesian closed initially structured category is Cartesian closed, one obtains that the categories <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150700.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150701.png" /> (Hausdorff convergence spaces), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150702.png" /> (Hausdorff limit spaces), and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150703.png" /> (Hausdorff pseudo-topological spaces), respectively (the Hausdorff property means in each case that limits of filters are unique) are Cartesian closed initially structured categories, because they are extremal epireflective in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150704.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150705.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150706.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150707.png" />, respectively (see, e.g., [[#References|[a28]]]). Since some of the Cartesian closed topological categories mentioned above satisfy another nice property too, it is useful to define the following: A category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150708.png" /> is called a [[Topos|topos]] (quasi-topos) if the following conditions are satisfied: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150709.png" /> has finite limits and colimits; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150710.png" /> is Cartesian closed; and in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150711.png" /> (strong) partial morphisms are representable, i.e. for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150712.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150713.png" /> there exists a (strong) monomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150714.png" /> universal in the following sense: given a (strong) partial morphism into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150715.png" /> (i.e. a pair consisting of a (strong) monomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150716.png" /> and a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150717.png" />), there exists a unique pullback
is an initially structured category, then $  {\mathcal C} $
 
is Cartesian closed if and only if for each $  {\mathcal C} $-
 
object $  A $
 
the functor $  A \times - $
 
preserves final epi-sinks. Furthermore, in a Cartesian closed initially structured category $  {\mathcal C} $
 
the power object $  B  ^ {A} $
 
may be interpreted (up to isomorphism) as the set $  [ A, B] _  {\mathcal C}  $
 
endowed with a suitable $  {\mathcal C} $-
 
structure, i.e. as a  "function space" , and the $  {\mathcal C} $-
 
morphism $  e _ {A,B} $
 
is the usual evaluation mapping (up to isomorphism). Since every extremal epireflective subcategory of a Cartesian closed initially structured category is Cartesian closed, one obtains that the categories $  \mathop{\rm Poset} $,  
 
$  \mathop{\rm HConv} $(
 
Hausdorff convergence spaces), $  \mathop{\rm HLim} $(
 
Hausdorff limit spaces), and $  \mathop{\rm HPsTop} $(
 
Hausdorff pseudo-topological spaces), respectively (the Hausdorff property means in each case that limits of filters are unique) are Cartesian closed initially structured categories, because they are extremal epireflective in $  \mathop{\rm PrOrd} $,  
 
$  \mathop{\rm Conv} $,  
 
$  \mathop{\rm Lim} $,  
 
and $  \mathop{\rm PsTop} $,  
 
respectively (see, e.g., [[#References|[a28]]]). Since some of the Cartesian closed topological categories mentioned above satisfy another nice property too, it is useful to define the following: A category $  {\mathcal C} $
 
is called a [[Topos|topos]] (quasi-topos) if the following conditions are satisfied: $  {\mathcal A} $
 
has finite limits and colimits; $  {\mathcal A} $
 
is Cartesian closed; and in $  {\mathcal A} $(
 
strong) partial morphisms are representable, i.e. for each $  {\mathcal A} $-
 
object $  A $
 
there exists a (strong) monomorphism $  m _ {A} : A \rightarrow A  ^ {*} $
 
universal in the following sense: given a (strong) partial morphism into $  A $(
 
i.e. a pair consisting of a (strong) monomorphism $  m: B \rightarrow C $
 
and a morphism $  f: B \rightarrow A $),  
 
there exists a unique pullback
 
  
$$
+
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150718.png" /></td> </tr></table>
  
Obviously, every topos is a quasi-topos. From the above-mentioned Cartesian closed topological categories only $  \mathop{\rm Set} $
+
Obviously, every topos is a quasi-topos. From the above-mentioned Cartesian closed topological categories only <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150719.png" /> is a topos (note that topoi are balanced categories, i.e. categories in which every bimorphism is an isomorphism). Since in each category that has pushouts strong monomorphisms coincide with extremal monomorphisms, strong monomorphisms may be replaced by imbeddings if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150720.png" /> is a topological category. For a topological category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150721.png" /> one thus finds that the following conditions are equivalent:
is a topos (note that topoi are balanced categories, i.e. categories in which every bimorphism is an isomorphism). Since in each category that has pushouts strong monomorphisms coincide with extremal monomorphisms, strong monomorphisms may be replaced by imbeddings if $  {\mathcal C} $
 
is a topological category. For a topological category $  {\mathcal C} $
 
one thus finds that the following conditions are equivalent:
 
  
$  {\mathcal C} $
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150722.png" /> is a quasi-topos;
is a quasi-topos;
 
  
$  {\mathcal C} $
+
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150723.png" /> is Cartesian closed and every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150724.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150725.png" /> can be imbedded via the addition of a single point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150726.png" /> into a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150727.png" />-object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150728.png" /> such that the following holds: For every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150729.png" />-morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150730.png" /> from a subobject <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150731.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150732.png" /> into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150733.png" />, the unique function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150734.png" /> defined by
is Cartesian closed and every $  {\mathcal C} $-
 
object $  A $
 
can be imbedded via the addition of a single point $  \infty _ {A} $
 
into a $  {\mathcal C} $-
 
object $  A  ^ {*} = A \cup \{ \infty _ {A} \} $
 
such that the following holds: For every $  {\mathcal C} $-
 
morphism $  f: C \rightarrow A $
 
from a subobject $  C $
 
of $  B $
 
into $  A $,  
 
the unique function $  f ^ { * } : B \rightarrow A  ^ {*} $
 
defined by
 
  
$$
+
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150735.png" /></td> </tr></table>
f ^ { * } ( b)  = \
 
\left \{
 
  
is a $  {\mathcal C} $-
+
is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150736.png" />-morphism;
morphism;
 
  
in $  {\mathcal C} $
+
in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150737.png" /> final epi-sinks are universal, i.e. if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150738.png" /> is a final epi-sink in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150739.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150740.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150741.png" />-morphism and for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150742.png" /> the diagram
final epi-sinks are universal, i.e. if $  ( f _ {i} : A _ {i} \rightarrow A) _ {i \in I }  $
 
is a final epi-sink in $  {\mathcal C} $,  
 
$  f: B \rightarrow A $
 
is a $  {\mathcal C} $-
 
morphism and for each $  i \in I $
 
the diagram
 
  
$$
+
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150743.png" /></td> </tr></table>
  
is a pullback in $  {\mathcal C} $,  
+
is a pullback in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150744.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150745.png" /> is a final epi-sink in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150746.png" />;
then $  ( g _ {i} : B _ {i} \rightarrow B) _ {i \in I }  $
 
is a final epi-sink in $  {\mathcal C} $;
 
  
a) $  {\mathcal C} $
+
a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150747.png" /> is Cartesian closed, and
is Cartesian closed, and
 
  
b) in $  {\mathcal C} $
+
b) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150748.png" /> final (epi-)sinks are hereditary, i.e. if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150749.png" /> is a final (epi-)sink in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150750.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150751.png" /> is a subspace of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150752.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150753.png" /> is a subspace of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150754.png" /> with underlying set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150755.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150756.png" /> is the corresponding restriction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150757.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150758.png" /> is also a final (epi-)sink in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150759.png" />.
final (epi-)sinks are hereditary, i.e. if $  ( f _ {i} : A _ {i} \rightarrow A) _ {i \in I }  $
 
is a final (epi-)sink in $  {\mathcal C} $,  
 
$  B $
 
is a subspace of $  A $,  
 
$  B _ {i} $
 
is a subspace of $  A _ {i} $
 
with underlying set $  f _ {i} ^ { - 1 } [ B] $,  
 
and $  g _ {i} : B _ {i} \rightarrow B $
 
is the corresponding restriction of $  f _ {i} $,  
 
then $  ( g _ {i} : B _ {i} \rightarrow B) _ {i \in I }  $
 
is also a final (epi-)sink in $  {\mathcal C} $.
 
  
 
Alternative names for topological categories which are quasi-topoi are strongly topological categories and topological universes.
 
Alternative names for topological categories which are quasi-topoi are strongly topological categories and topological universes.
  
Examples of quasi-topoi are: $  \mathop{\rm PsTop} $,  
+
Examples of quasi-topoi are: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150760.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150761.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150762.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150763.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150764.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150765.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150766.png" />.
$  \mathop{\rm Lim} $,  
 
$  \mathop{\rm Conv} $,  
 
$  \mathop{\rm Grill} $,  
 
$  \mathop{\rm Born} $,  
 
$  \mathop{\rm Simp} $,  
 
$  \mathop{\rm Rere} $.
 
  
 
In particular, topological categories which are quasi-topoi have hereditary quotients (cf.
 
In particular, topological categories which are quasi-topoi have hereditary quotients (cf.
  
above), a condition whose usefulness has become apparent in the study of connectedness properties in topological categories (cf. [[#References|[a18]]] and [[#References|[a27]]]). Even in $  \mathop{\rm Mer} $
+
above), a condition whose usefulness has become apparent in the study of connectedness properties in topological categories (cf. [[#References|[a18]]] and [[#References|[a27]]]). Even in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150767.png" /> final sinks are hereditary, though <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150768.png" /> is not Cartesian closed. Since Cartesian closedness is a convenient property for topological categories (cf. [[#References|[a31]]]), the quasi-topos property may be considered to be an ultra-convenient property (cf. [[#References|[a35]]]). Hence it seems desirable to find, for a given topological category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150769.png" /> and a given convenient (respectively, ultra-convenient) property <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150770.png" />, a smallest extension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150771.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150772.png" /> satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150773.png" />. Such an extension is called a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150775.png" />-hull of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150776.png" />. Considerable efforts have been made to construct such hulls. For further details see e.g. [[#References|[a16]]].
final sinks are hereditary, though $  \mathop{\rm Mer} $
 
is not Cartesian closed. Since Cartesian closedness is a convenient property for topological categories (cf. [[#References|[a31]]]), the quasi-topos property may be considered to be an ultra-convenient property (cf. [[#References|[a35]]]). Hence it seems desirable to find, for a given topological category $  {\mathcal C} $
 
and a given convenient (respectively, ultra-convenient) property $  P $,  
 
a smallest extension $  P ( {\mathcal C} ) $
 
of $  {\mathcal C} $
 
satisfying $  P $.  
 
Such an extension is called a $  P $-
 
hull of $  {\mathcal C} $.  
 
Considerable efforts have been made to construct such hulls. For further details see e.g. [[#References|[a16]]].
 
  
Cartesian closed topological categories over arbitrary base categories can even have concrete powers (a topological category $  {\mathcal C} $
+
Cartesian closed topological categories over arbitrary base categories can even have concrete powers (a topological category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150777.png" /> over a base category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150778.png" /> with underlying functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150779.png" /> is said to have concrete powers if for all objects <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150780.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150781.png" /> both <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150782.png" /> and the evaluation mappings in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150783.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150784.png" /> coincide), e.g. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150785.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150786.png" /> are quasi-topoi with concrete powers. For investigations on Cartesian closedness of topological categories over arbitrary base categories and quasi-topoi see e.g. [[#References|[a1]]] and [[#References|[a15]]].
over a base category $  {\mathcal X} $
 
with underlying functor $  {\mathcal F} $
 
is said to have concrete powers if for all objects $  A $
 
and $  B $
 
both $  {\mathcal F} ( B  ^ {A} ) = {\mathcal F} ( B) ^ { {\mathcal F} ( A) } $
 
and the evaluation mappings in $  {\mathcal C} $
 
and $  {\mathcal X} $
 
coincide), e.g. $  \mathop{\rm Graph} $
 
and $  \mathop{\rm Net} $
 
are quasi-topoi with concrete powers. For investigations on Cartesian closedness of topological categories over arbitrary base categories and quasi-topoi see e.g. [[#References|[a1]]] and [[#References|[a15]]].
 
  
 
==Final remarks.==
 
==Final remarks.==
It has turned out that several desirable properties concerning, e.g., paracompactness, normality or dimension which are false in $  \mathop{\rm Top} $
+
It has turned out that several desirable properties concerning, e.g., paracompactness, normality or dimension which are false in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150787.png" /> become true when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150788.png" /> is replaced by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150789.png" />, which is nicely imbedded in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150790.png" />. Even for the investigation of function spaces the subcategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150791.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150792.png" />, for example, is better behaved than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150793.png" />. By means of a suitable completion, called canonical completion (or Herrlich completion), of a nearness space well-known extensions and compactifications such as the Wallman extension, Hewitt's realcompactification, Aleksandrov's one-point compactification and the Stone–Čech compactification are obtained. Even every Hausdorff compactification (respectively, regular Hausdorff extension) of a topological space can be obtained by means of canonical completion (cf. e.g. [[#References|[a17]]] and [[#References|[a28]]] for further details). Last but not least, the Čech homology and cohomology theory used in algebraic topology has a suitable generalization to nearness spaces (respectively, merotopic spaces), where the fundamental idea is to replace open coverings by uniform coverings (cf., e.g., [[#References|[a2]]] and [[#References|[a28]]] for more detailed information).
become true when $  \mathop{\rm Top} $
 
is replaced by $  \mathop{\rm Near} $,  
 
which is nicely imbedded in $  \mathop{\rm Mer} $.  
 
Even for the investigation of function spaces the subcategory $  \mathop{\rm Grill} $
 
of $  \mathop{\rm Mer} $,  
 
for example, is better behaved than $  \mathop{\rm Top} $.  
 
By means of a suitable completion, called canonical completion (or Herrlich completion), of a nearness space well-known extensions and compactifications such as the Wallman extension, Hewitt's realcompactification, Aleksandrov's one-point compactification and the Stone–Čech compactification are obtained. Even every Hausdorff compactification (respectively, regular Hausdorff extension) of a topological space can be obtained by means of canonical completion (cf. e.g. [[#References|[a17]]] and [[#References|[a28]]] for further details). Last but not least, the Čech homology and cohomology theory used in algebraic topology has a suitable generalization to nearness spaces (respectively, merotopic spaces), where the fundamental idea is to replace open coverings by uniform coverings (cf., e.g., [[#References|[a2]]] and [[#References|[a28]]] for more detailed information).
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J. Adámek,  H. Herrlich,  "Cartesian closed categories, quasitopoi and topological universes"  ''Comm. Math. Univ. Carolinae'' , '''27'''  (1986)  pp. 235–257</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H.L. Bently,  "Homology and cohomology for merotopic and nearness spaces"  ''Quaest. Math.'' , '''6'''  (1978)  pp. 541–568</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H. Cartan,  "Théorie des filtres"  ''Comp. Rend.'' , '''205'''  (1937)  pp. 595–598</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  G. Choquet,  "Convergences"  ''Ann. Univ. Grenoble Sect. Sci. Math. Phys. (N.S.)'' , '''23'''  (1948)  pp. 57–112</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  A. Császár,  "Foundations of general topology" , Macmillan  (1963)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  D.B. Doitchinov,  "A unified theory of topological spaces, proximity spaces and uniform spaces"  ''Soviet Math. Dokl.'' , '''5'''  (1964)  pp. 595–598  ''Dokl. Akad. Nauk SSSR'' , '''5'''  (1964)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  V.A. Efremovič,  "Geometry of proximity"  ''Math. USSR Sb.'' , '''31''' :  73  (1952)  pp. 189–200  ''Mat. Sb.'' , '''31''' :  73  (1952)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  H.R. Fischer,  "Limesräume"  ''Math. Ann.'' , '''137'''  (1959)  pp. 269–303</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  P. Fletscher,  W.F. Lindgren,  "Quasi-uniform spaces" , M. Dekker  (1982)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  M. Fréchet,  "Sur quelques points du calcul fonctionnel"  ''Rend. Palermo'' , '''22'''  (1906)  pp. 1–74</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  F. Hausdorff,  "Grundzüge der Mengenlehre" , Leipzig  (1914)  (Reprinted (incomplete) English translation: Set theory, Chelsea (1978))</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  H. Herrlich,  "Categorical topology"  ''General Topol. Appl.'' , '''1'''  (1071)  pp. 1–15</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  H. Herrlich,  "Topological structures" , ''Math. Centre Tracts'' , '''52''' , Math. Centre , Amsterdam  (1974)  pp. 59–122</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  H. Herrlich,  "Some topological theorems which fail to be true" , ''Categorical Topology'' , ''Lect. notes in math.'' , '''540''' , Springer  (1976)  pp. 265–285</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  H. Herrlich,  "Universal topology" , ''Categorical Topology'' , ''Sigma Ser. Pure Math.'' , Heldermann  (1984)  pp. 223–281</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  H. Herrlich,  "Topological improvements of categories of structured sets"  ''General Topol. Appl.'' , '''27'''  (1987)  pp. 145–155</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  H. Herrlich,  "Topologie II: Uniforme Räume" , Heldermann  (1988)</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  H. Herrlich,  G. Salicrup,  R. Vásquez,  "Light factorization structures"  ''Quest. Math.'' , '''3'''  (1979)  pp. 189–213</TD></TR><TR><TD valign="top">[a19]</TD> <TD valign="top">  H. Herrlich,  G.E. Strecker,  "Category theory" , Heldermann  (1979)</TD></TR><TR><TD valign="top">[a20]</TD> <TD valign="top">  H. Hogbe-Nlend,  "Théorie des bornologies et applications" , ''Lect. notes in math.'' , Springer  (1971)</TD></TR><TR><TD valign="top">[a21]</TD> <TD valign="top">  M. Katětov,  "On continuity structures and spaces of mappings"  ''Comm. Math. Univ. Carolinae'' , '''6'''  (1965)  pp. 257–278</TD></TR><TR><TD valign="top">[a22]</TD> <TD valign="top">  C.J. Kelley,  "Bitopological spaces"  ''Proc. London Math. Soc.'' , '''13'''  (1963)  pp. 71–89</TD></TR><TR><TD valign="top">[a23]</TD> <TD valign="top">  D.C. Kent,  "Convergence functions and their related topologies"  ''Fund. Math.'' , '''54'''  (1964)  pp. 125–133</TD></TR><TR><TD valign="top">[a24]</TD> <TD valign="top">  H.-J. Kowalsky,  "Limesräume und Komplettierung"  ''Math. Nachr.'' , '''12'''  (1954)  pp. 301–340</TD></TR><TR><TD valign="top">[a25]</TD> <TD valign="top">  C. Kuratowski,  "Sur l'opération <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150794.png" /> de l'analysis situs"  ''Fund. Math.'' , '''3'''  (1922)  pp. 182–199</TD></TR><TR><TD valign="top">[a26]</TD> <TD valign="top">  E.H. Moore,  H.L. Smith,  "A general theory of limits"  ''Amer. J. Math.'' , '''44'''  (1922)  pp. 102–121</TD></TR><TR><TD valign="top">[a27]</TD> <TD valign="top">  G. Preuss,  "Connectednesses and disconnectednesses in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150795.png" />-Near" , ''Categorical Aspects of Topology and Analysis'' , ''Lect. notes in math.'' , '''915''' , Springer  (1982)</TD></TR><TR><TD valign="top">[a28]</TD> <TD valign="top">  G. Preuss,  "Topological structures—An approach to categorical topology" , Reidel  (1988)</TD></TR><TR><TD valign="top">[a29]</TD> <TD valign="top">  W. Reisig,  "Petri nets" , ''EATCS Monographs on Theoretical Computer Science'' , '''4''' , Springer  (1985)</TD></TR><TR><TD valign="top">[a30]</TD> <TD valign="top">  E.H. Spanier,  "Algebraic topology" , Springer  (1966)</TD></TR><TR><TD valign="top">[a31]</TD> <TD valign="top">  N.E. Steenrod,  "A convenient category of topological spaces"  ''Michigan Math. J.'' , '''14'''  (1967)  pp. 133–152</TD></TR><TR><TD valign="top">[a32]</TD> <TD valign="top">  J.W. Tukey,  "Convergence and uniformity in topology" , Princeton Univ. Press  (1940)</TD></TR><TR><TD valign="top">[a33]</TD> <TD valign="top">  A. Weil,  "Sur les espaces à structure uniforme et sur la topologie générale" , Hermann  (1937)</TD></TR><TR><TD valign="top">[a34]</TD> <TD valign="top">  O. Wyler,  "Top categories and categorical topology"  ''General Topol. Appl.'' , '''1'''  (1971)  pp. 17–28</TD></TR><TR><TD valign="top">[a35]</TD> <TD valign="top">  O. Wyler,  "Are there topoi in topology?" , ''Categorical Topology'' , ''Lect. notes in math.'' , '''540''' , Springer  (1976)  pp. 699–719</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J. Adámek,  H. Herrlich,  "Cartesian closed categories, quasitopoi and topological universes"  ''Comm. Math. Univ. Carolinae'' , '''27'''  (1986)  pp. 235–257</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H.L. Bently,  "Homology and cohomology for merotopic and nearness spaces"  ''Quaest. Math.'' , '''6'''  (1978)  pp. 541–568</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  H. Cartan,  "Théorie des filtres"  ''Comp. Rend.'' , '''205'''  (1937)  pp. 595–598</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  G. Choquet,  "Convergences"  ''Ann. Univ. Grenoble Sect. Sci. Math. Phys. (N.S.)'' , '''23'''  (1948)  pp. 57–112</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  A. Császár,  "Foundations of general topology" , Macmillan  (1963)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  D.B. Doitchinov,  "A unified theory of topological spaces, proximity spaces and uniform spaces"  ''Soviet Math. Dokl.'' , '''5'''  (1964)  pp. 595–598  ''Dokl. Akad. Nauk SSSR'' , '''5'''  (1964)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  V.A. Efremovič,  "Geometry of proximity"  ''Math. USSR Sb.'' , '''31''' :  73  (1952)  pp. 189–200  ''Mat. Sb.'' , '''31''' :  73  (1952)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  H.R. Fischer,  "Limesräume"  ''Math. Ann.'' , '''137'''  (1959)  pp. 269–303</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  P. Fletscher,  W.F. Lindgren,  "Quasi-uniform spaces" , M. Dekker  (1982)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  M. Fréchet,  "Sur quelques points du calcul fonctionnel"  ''Rend. Palermo'' , '''22'''  (1906)  pp. 1–74</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  F. Hausdorff,  "Grundzüge der Mengenlehre" , Leipzig  (1914)  (Reprinted (incomplete) English translation: Set theory, Chelsea (1978))</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  H. Herrlich,  "Categorical topology"  ''General Topol. Appl.'' , '''1'''  (1071)  pp. 1–15</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  H. Herrlich,  "Topological structures" , ''Math. Centre Tracts'' , '''52''' , Math. Centre , Amsterdam  (1974)  pp. 59–122</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  H. Herrlich,  "Some topological theorems which fail to be true" , ''Categorical Topology'' , ''Lect. notes in math.'' , '''540''' , Springer  (1976)  pp. 265–285</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  H. Herrlich,  "Universal topology" , ''Categorical Topology'' , ''Sigma Ser. Pure Math.'' , Heldermann  (1984)  pp. 223–281</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  H. Herrlich,  "Topological improvements of categories of structured sets"  ''General Topol. Appl.'' , '''27'''  (1987)  pp. 145–155</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  H. Herrlich,  "Topologie II: Uniforme Räume" , Heldermann  (1988)</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  H. Herrlich,  G. Salicrup,  R. Vásquez,  "Light factorization structures"  ''Quest. Math.'' , '''3'''  (1979)  pp. 189–213</TD></TR><TR><TD valign="top">[a19]</TD> <TD valign="top">  H. Herrlich,  G.E. Strecker,  "Category theory" , Heldermann  (1979)</TD></TR><TR><TD valign="top">[a20]</TD> <TD valign="top">  H. Hogbe-Nlend,  "Théorie des bornologies et applications" , ''Lect. notes in math.'' , Springer  (1971)</TD></TR><TR><TD valign="top">[a21]</TD> <TD valign="top">  M. Katětov,  "On continuity structures and spaces of mappings"  ''Comm. Math. Univ. Carolinae'' , '''6'''  (1965)  pp. 257–278</TD></TR><TR><TD valign="top">[a22]</TD> <TD valign="top">  C.J. Kelley,  "Bitopological spaces"  ''Proc. London Math. Soc.'' , '''13'''  (1963)  pp. 71–89</TD></TR><TR><TD valign="top">[a23]</TD> <TD valign="top">  D.C. Kent,  "Convergence functions and their related topologies"  ''Fund. Math.'' , '''54'''  (1964)  pp. 125–133</TD></TR><TR><TD valign="top">[a24]</TD> <TD valign="top">  H.-J. Kowalsky,  "Limesräume und Komplettierung"  ''Math. Nachr.'' , '''12'''  (1954)  pp. 301–340</TD></TR><TR><TD valign="top">[a25]</TD> <TD valign="top">  C. Kuratowski,  "Sur l'opération <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150794.png" /> de l'analysis situs"  ''Fund. Math.'' , '''3'''  (1922)  pp. 182–199</TD></TR><TR><TD valign="top">[a26]</TD> <TD valign="top">  E.H. Moore,  H.L. Smith,  "A general theory of limits"  ''Amer. J. Math.'' , '''44'''  (1922)  pp. 102–121</TD></TR><TR><TD valign="top">[a27]</TD> <TD valign="top">  G. Preuss,  "Connectednesses and disconnectednesses in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150795.png" />-Near" , ''Categorical Aspects of Topology and Analysis'' , ''Lect. notes in math.'' , '''915''' , Springer  (1982)</TD></TR><TR><TD valign="top">[a28]</TD> <TD valign="top">  G. Preuss,  "Topological structures—An approach to categorical topology" , Reidel  (1988)</TD></TR><TR><TD valign="top">[a29]</TD> <TD valign="top">  W. Reisig,  "Petri nets" , ''EATCS Monographs on Theoretical Computer Science'' , '''4''' , Springer  (1985)</TD></TR><TR><TD valign="top">[a30]</TD> <TD valign="top">  E.H. Spanier,  "Algebraic topology" , Springer  (1966)</TD></TR><TR><TD valign="top">[a31]</TD> <TD valign="top">  N.E. Steenrod,  "A convenient category of topological spaces"  ''Michigan Math. J.'' , '''14'''  (1967)  pp. 133–152</TD></TR><TR><TD valign="top">[a32]</TD> <TD valign="top">  J.W. Tukey,  "Convergence and uniformity in topology" , Princeton Univ. Press  (1940)</TD></TR><TR><TD valign="top">[a33]</TD> <TD valign="top">  A. Weil,  "Sur les espaces à structure uniforme et sur la topologie générale" , Hermann  (1937)</TD></TR><TR><TD valign="top">[a34]</TD> <TD valign="top">  O. Wyler,  "Top categories and categorical topology"  ''General Topol. Appl.'' , '''1'''  (1971)  pp. 17–28</TD></TR><TR><TD valign="top">[a35]</TD> <TD valign="top">  O. Wyler,  "Are there topoi in topology?" , ''Categorical Topology'' , ''Lect. notes in math.'' , '''540''' , Springer  (1976)  pp. 699–719</TD></TR></table>

Revision as of 14:53, 7 June 2020

Introduction.

General topology (also called set-theoretic topology or analytic topology, cf. Topology, general) tries to explain such concepts as convergence and continuity known from classical analysis in a general setting. Originally, this was done for metric spaces (M. Fréchet [a10], 1906), and later on for the topological spaces (F. Hausdorff [a11], 1914) which are known today as Hausdorff spaces. The usual concept of a topological space goes back to C. Kuratowski [a25] (1922), who axiomatized the idea of "closure" and thus explained "nearness" between a point and a set (usually denoted by , i.e. belongs to the closure of ). But the ideas of uniform continuity; uniform convergence; and completeness (in topology), which make sense for metric spaces, could not be explained for topological spaces. Therefore, uniform spaces were introduced (A. Weil [a33] (1937) defined them by means of "entourages" and J.W. Tukey [a32] (1940) by means of "uniform covers" , cf. also Uniform space). For the same reason V.A. Efremovich [a7] (1952) studied "proximity spaces" by axiomatizing the concept of "nearness between two sets" (cf. also Proximity space). Hereafter several attempts were made to combine topological and uniform concepts, e.g. L. Nachbin (1949) studied quasi-uniform spaces (cf. [a9]), A. Császár (1957) invented syntopogeneous spaces (cf. [a5]), D.B. Doitchinov [a6] (1964) introduced generalized topological spaces (or supertopological spaces), M. Katětov [a21] (1965) studied merotopic spaces (or semi-nearness spaces) and H. Herrlich [a13] (1974) invented nearness spaces. The intuitive concept of "nearness" which is fundamental in topology has now found a satisfactory definition: namely, by means of nearness spaces (respectively, merotopic spaces) "nearness of an arbitrary collection of sets" is explicable.

Since continuity of mappings between topological spaces cannot be explained by means of convergent sequences, as in classical analysis, more general concepts were needed. Therefore, E.H. Moore and H.L. Smith [a26] (1922) developed the theory of nets (cf. Net (of sets in a topological space)) and later on H. Cartan [a3] (1937) introduced filters (cf. Filter). Because of the existence of ultrafilters (cf. Ultrafilter) the theory of filters is preferably used in general topology. By axiomatizing the concept of filter convergence one obtains limit spaces — a generalization of topological spaces. They were first investigated by H.-J. Kowalsky [a24] (1954) and, independently, by H.R. Fischer [a8] (1959). With respect to the study of function spaces, limit spaces are more convenient than topological spaces. A more restrictive notion, namely the notion of pseudo-topological space ( Choquet space), was studied before by G. Choquet [a4] (1948). Many other concepts have been developed, e.g. convergence spaces by D.C. Kent [a23] (1964) and filter-merotopic spaces (i.e. grill-determined semi-nearness spaces) by Katětov [a21] (1965).

All the above-mentioned types of spaces are structured sets. The structure-preserving mappings between them are called continuous or uniformly continuous, respectively. Thus, many concrete categories are obtained. The striking similarities of constructions in these categories led to the definition of topological categories and the investigation of their relationships to each other. So, a new discipline, called categorical topology, was created (about 1971) (cf. Herrlich [a12] (1971) and O. Wyler [a34] (1971)).

The terminology of this article corresponds to [a19] and [a28].

Topological categories.

By a concrete category one means a category whose objects are structured sets, i.e. pairs where is a set and is a -structure on , whose morphisms are suitable mappings between and , and whose composition is the usual composition of mappings — in other words: a category together with a faithful (i.e. forgetful) functor from into the category of sets (and mappings).

A concrete category is called topological if and only if it satisfies the following conditions:

). Existence of initial structures. For any set , any family of -objects indexed by some class and any family of mappings indexed by , there exists a unique -structure on which is initial with respect to , i.e. such that for any -object a mapping is a -morphism if and only if for every the composite mapping is a -morphism.

). Fibre-smallness. For any set , the -fibre of , i.e. the class of all -structures on , is a set.

). Terminal separator property. For any set of cardinality one there exists precisely one -structure on .

Examples of topological categories.

1) The category of topological spaces (and continuous mappings).

2) The category of uniform spaces (and uniformly-continuous mappings).

3) The category of proximity spaces (and -mappings).

4) The categories , and of convergence spaces, limit spaces and pseudo-topological spaces (and continuous mappings), respectively.

(Let be a set, the set of all filters on and a subset of such that the following conditions are satisfied:

) for each , where denotes the set of all subsets of containing ; and

) whenever and .

Then is called a convergence space if: (C) implies ; a limit space if: ) and imply ; and a pseudo-topological space or Choquet space if ) whenever for each ultrafilter .

Instead of one usually writes (read: converges to ). In each case the morphisms are all continuous mappings, i.e. those carrying filters converging to to filters converging to .)

5) The category of syntopogeneous spaces (and continuous mappings) (cf. [a5]).

6) The category of supertopological spaces (and continuous mappings) (cf. [a6]).

7) The category of quasi-uniform spaces (and quasi-uniformly continuous mappings) (cf. [a9]).

8) The categories of merotopic spaces (and uniformly-continuous mappings) and of nearness spaces (and uniformly-continuous mappings).

(Let be a set and let be a non-empty set of non-empty coverings of such that the following conditions are satisfied:

) if refines and , then ;

) if and , then .

Then is called a merotopic space, or semi-nearness space, and the elements of are called uniform coverings.

A merotopic space is called a nearness space if the following condition is satisfied:

) If , then , where . If and are merotopic spaces (respectively, nearness spaces), then a mapping is called uniformly continuous if and only if for each .)

9) The category of bitopological spaces (and pairwise continuous mappings) (cf. [a22]).

10) The category of bornological spaces (and bounded mappings) (cf. [a20]).

11) The category of simplicial complexes (and simplicial mappings) (cf. [a30]).

12) The categories of reflexive relations and of pre-ordered sets (the objects of (respectively, ) are pairs where is a set and is a reflexive (respectively, reflexive and transitive) relation on ; in each case, morphisms are relation-preserving mappings).

13) The category of compactly-generated topological spaces (and continuous mappings) (i.e. the smallest coreflective subcategory of containing the category of compact Hausdorff spaces (and continuous mappings)).

14) The categories , , , and of symmetric convergence spaces, symmetric limit spaces, symmetric pseudo-topological spaces, and symmetric topological spaces (and continuous mappings).

(A convergence space is called symmetric if

In particular, a topological space is symmetric if and only if it is an -space, i.e. implies for each .)

15) The category of grill-determined semi-nearness spaces (and uniformly continuous mappings).

(A semi-nearness space is called grill-determined if every near collection of subsets of is contained in some near grill on . Here, a collection of subsets of is called near if for each there is some such that for each , and a grill if and for each pair of subsets of one has if and only if or .

The category is isomorphic to the category , defined as follows: the objects of are pairs where is a set and is a set of filters on such that the following conditions hold: 1) if , and a filter is finer than , then ; and 2) for every , . The morphisms are the mappings such that for each the filter generated by belongs to .)

16) The category of contigual nearness spaces (and uniformly-continuous mappings).

(A nearness space is called contigual if for each there exists a finite with .)

17) The category of subtopological nearness spaces (and uniformly-continuous mappings).

(A nearness space is called subtopological if it can be imbedded in a topological nearness space (i.e. symmetric topological space). Note that the category is isomorphic to the category of topological nearness spaces (and uniformly-continuous mappings). Here a nearness space is called topological if implies .)

Properties of topological categories.

1) The condition ) may be replaced by the following equivalent one (existence of final structures): For any set , any family of -objects indexed by some class and any family of mappings indexed by , there exists a unique -structure on which is final with respect to , i.e. for any -object a mapping is a -morphism if and only if for every the composite mapping is a -morphism.

2) Let be a topological category. Then the following hold:

is complete and co-complete, and the forgetful functor lifts limits via initiality and co-limits via finality from to .

A -morphism is a monomorphism (epimorphism; bimorphism) if and only if it is injective (surjective, bijective).

is wellpowered and co-wellpowered.

For any -morphism the following conditions are equivalent: a) is an imbedding of categories, i.e. is injective and is initial with respect to and ; b) is an extremal monomorphism; and c) is a regular monomorphism.

For any -morphism the following conditions are equivalent: a) is a quotient mapping, i.e. is surjective and is final with respect to and ; b) is an extremal epimorphism; and c) is a regular epimorphism.

is an (epi, embedding)-category and a (quotient, mono)-category.

The forgetful functor has a full and faithful left adjoint, i.e. for any set there exists a discrete structure on , distinguished by the property that any mapping is a -morphism.

The forgetful functor has a full and faithful right adjoint, i.e. for any set there exists a non-discrete -structure on distinguished by the property that any mapping is a -morphism.

For any set , the -fibre of , ordered by is a -morphism, is a complete lattice.

For any set , any constant mapping is a -morphism.

Any -object with is a separator.

A -object is a co-separator if and only if there exists an imbedding of a non-discrete object with two points into .

A -object is projective if and only if is the discrete structure on (cf. also Projective object of a category).

A -object is injective if and only if and is the non-discrete structure on (cf. also Injective object).

3) In order to describe the relationships between topological categories, the theory of reflections and co-reflections is extremely useful. Below, subcategories are always assumed to be full and isomorphism closed. (A subcategory of a category is called isomorphism closed if each -object isomorphic to some -object is an -object; for being full see Full subcategory.) If is a subcategory of a category and denotes the inclusion functor, then is called reflective (respectively, co-reflective) in if one of the two following (equivalent) conditions is satisfied: a) has a left adjoint (respectively, right adjoint ) called a reflector (respectively, a co-reflector); or b) for each -object there exist an -object and a -morphism , called an -reflection of (respectively, , called an -coreflection of ), such that for each -object and each -morphism (respectively, ) there is a unique -morphism (-morphism) (respectively, ) such that (respectively, ).

Further, a subcategory is called epireflective (monocoreflective), extremal epireflective (extremal monocoreflective) or bireflective (bicoreflective) in , respectively, if is reflective (coreflective) and for each -object , the -reflections (-coreflections) of are epimorphisms (monomorphisms), extremal epimorphisms (extremal monomorphisms) or bimorphisms, respectively.

For topological categories the following two assertions hold:

Any bireflective (and any bicoreflective) subcategory of a topological category is a topological category.

Let be a subcategory of a topological category . Then the following hold:

a) is epireflective (extremal epireflective) in if and only if is closed under formation of products and subobjects (i.e. extremal monomorphisms) (weak subobjects, i.e. monomorphisms) in ;

b) is bireflective in if and only if is reflective in and contains all non-discrete objects of ;

c) if contains at least one object with non-empty underlying set, then the following conditions are equivalent:

() is coreflective in ;

() is bicoreflective in ;

() is closed under formation of coproducts and quotient objects in ;

() is coreflective in and contains all discrete objects of .

The relations between several topological categories are illustrated in the diagram below hold. Here (respectively, ) stands for imbedding as a bireflective (respectively, bicoreflective) subcategory.

Figure: t093150a

Concerning the formation of initial and final structures in the topological categories listed in the diagram, one may use the following result: If is a bireflective (respectively, bicoreflective) subcategory of some topological category , then the initial structures (respectively, final structures) in are formed as in , whereas the final structures (respectively, initial structures) are formed in by applying the left adjoint (respectively, right adjoint ) of the inclusion functor (i.e. the final structures (respectively, initial structures) in are obtained from the final structures (respectively, initial structures) in by bireflective (respectively, bicoreflective) modification).

Example.

The symmetric topological spaces (or topological nearness spaces) form a bicoreflective subcategory of : If is a topological nearness space, then the identity mapping is a -coreflection, where consists of all coverings of such that ; the corresponding coreflector assigns to each nearness space the topological nearness space , i.e. its bicoreflective modification.

First, consider the construction of subspaces and products in .

Subspaces.

Let be a nearness space, a subset of and the inclusion mapping. Then there is a unique initial -structure on with respect to and , namely where . The pair is called a nearness subspace of .

Products.

Let be a family of nearness spaces indexed by some set , let be the Cartesian product of the family (cf. Direct product) and let be the projection mapping for each . Then there is a unique initial -structure on with respect to , namely the set of all coverings of which are refined by some finite intersection of elements of , where and the intersection of two coverings and of some set is defined to be the covering . The pair is called the nearness product space of .

Secondly, subspaces and products in are constructed by forming them first in and then applying the coreflector . In this way one obtains the usual constructions of subspaces and products for (symmetric) topological spaces. But it is this second step that destroys desirable statements, e.g. the following:

1) products of paracompact topological spaces are paracompact;

2) products of compact Hausdorff spaces with normal -spaces are normal;

3) subspaces of paracompact topological spaces (normal -spaces) are paracompact (normal);

4) for paracompact topological spaces;

5) for dense subspaces of regular -spaces .

Each of the above statements is false when products and subspaces are formed in the usual (topological) sense, but all of them are true when products and subspaces are formed in , and then they are special cases of more general theorems. Consider, for example, the situation for paracompact spaces: A nearness space is called paracompact provided that it is a uniform -space. Here a nearness space is called an -space if the underlying topological space is a -space, and uniform if each is star-refined by some . Thus, uniform nearness spaces are uniform spaces (described by uniform coverings) and uniform -spaces are separated uniform spaces, whereas the paracompact topological spaces are precisely those -spaces which are simultaneously topological and uniform. Then products and subspaces of paracompact nearness spaces are paracompact nearness spaces. In particular, products and subspaces (in ) of paracompact topological spaces are paracompact, but in general not topological. Further information can be found in, for example, [a14] and [a28].

Generalizations.

Initially structured (i.e. monotopological) categories. Epireflective (respectively, extremal epireflective) subcategories of topological categories are not topological, in general. E.g. the category of Hausdorff spaces (and continuous mappings) is an extremal epireflective subcategory of , but is not topological (note that the imbedding of the Hausdorff space of rational numbers into the Hausdorff space of real number is an epimorphism in which is not surjective). In order to include in the present consideration, one needs the following definition: A concrete category is called initially structured (or monotopological) if it satisfies ) and ) and if for any set , any family of -objects indexed by some class and any mono-source of mappings indexed by (i.e. any family of mappings such that for any pair of mappings with for each , it follows that ) there exists a unique -structure on which is initial with respect to .

Obviously, every topological category is initially structured. Furthermore, every epireflective (respectively, extremal epireflective) subcategory of a topological category (respectively, initially structured category) is initially structured. E.g. the categories (topological -spaces), (topological -spaces), (regular topological -spaces) (completely-regular topological -spaces), (partially ordered sets), (Hausdorff convergence spaces), (Hausdorff limit spaces), and (Hausdorff pseudo-topological spaces) (the Hausdorff property in the last three examples means that limits of filters are unique) are initially structured categories which are not topological. Conversely, every initially structured category is an extremal epireflective subcategory of some topological category. Initially structured categories are complete, cocomplete and wellpowered, but they do not have all the nice properties of topological categories; in particular, they are not cowellpowered (e.g. the category of -spaces (i.e. Urysohn spaces, cf. Urysohn space) (and continuous mappings) is initially structured, but not cowellpowered). See [a28] for further details.

Topological categories over arbitrary base categories. First some definitions. Let be a functor. A pair where is a -object and a class-indexed family of -morphisms each with domain , called a source in , is -initial if and only if for each source in and each -morphism such that for each , there exists a unique -morphism with and for each . A functor is called topological if for each class-indexed family of -objects and each source in there exists a unique -initial source in with and for each . Let be a fixed category, called base category. A concrete category over is pair where is a category and a functor which is faithful, amnestic (i.e. any -isomorphism is a -identity if and only if is an -identity) and transportable (i.e. for each -object , each -object and each isomorphism there exists a unique -object and an isomorphism with ). The functor is called the underlying functor of . Occasionally, is denoted by . A concrete category over is called initially complete if is topological, it is called small-fibred if for each -object the class of all -objects with is a set, and it is called topological if it is initially complete and small-fibred.

Obviously, if is a topological category as defined at the beginning of this article and if denotes the forgetful functor, then is topological over . But the axiom ), which is equivalent to the fact that all constant mappings (i.e. functions that factor through ) between -objects are -morphisms, is now omitted. Thus, e.g., the category of directed graphs and (graph homomorphisms) is no longer excluded. Base categories other than are, e.g.,

1) the category with as single object and the identity mapping as single morphism. Then concrete categories over are partially ordered classes. Topological categories over are complete lattices.

2) The category of groups (and homomorphisms). Then the category of topological groups (and continuous homomorphisms) is topological over .

3) The category whose objects are pairs of disjoint sets and whose morphisms are mappings such that and . Then the category whose objects are triples , where is a -object and , and whose morphisms are -morphisms such that for each , is topological over (note that the objects of are called nets; nets are used in computer science, cf. [a29]).

Topological functors are faithful, amnestic and transportable. Thus, they lead to concrete categories which are initially complete. If is a topological category over with underlying functor , then according to the results on topological categories over , one obtains: has a full and faithful left adjoint and a full and faithful right adjoint, lifts limits via initiality and colimits via finality from to , any factorization structure on can be lifted via initiality (respectively, via finality) to a factorization structure on , completeness, cocompleteness, wellpoweredness and cowellpoweredness hold in if and only if they hold in , fibres are complete lattices, etc. Moreover, duality holds, i.e. if is topological over , then the dual category (cf. Category) of is topological over .

Cartesian closedness and further restrictions.

The category of topological spaces and continuous mappings fails to have some desirable properties, e.g. the product of two quotient mappings need not be a quotient mapping and there is in general no natural function space topology, i.e. is not Cartesian closed (cf. Category). Because of this fact, which is inconvenient for investigations in algebraic topology (homotopy theory), functional analysis (duality theory) or topological algebra (quotients), has been substituted either by well-behaved subcategories or by more convenient supercategories. The precise ideas are as follows.

1) A category is Cartesian closed if the following conditions are satisfied (cf. also Category):

a) for each pair of -objects, there exists a product in ;

b) for each -object holds: For each -object , there exist some -object and some -morphism such that for each -object and each -morphism there exists a unique -morphism such that the diagram

commutes (i.e. for each -object the functor , defined by for each -object and for each -morphism , has a right adjoint, denoted by ); the objects of the form are called power objects.

2) Let be a category. A class-indexed family of -morphisms is called an epi-sink if for any pair of -morphisms with domain such that for each , it follows that .

3) Let be a topological category. An epi-sink is called final if the -structure of is final with respect to .

For a topological category the following assertions are equivalent:

is Cartesian closed;

For any -object and any set-indexed family of -objects the following are satisfied:

a) (more exactly: preserves coproducts), and

b) If is a quotient mapping then so is , i.e. preserves quotient mappings;

a) For any -object and any set-indexed family of -objects one has:

(more exactly: preserves coproducts), and

b) In the product of any two quotient mappings and is a quotient mapping;

For each -object the functor preserves final epi-sinks: for any final epi-sink in , is a final epi-sink;

For each pair , the set of all -morphisms from to can be endowed with the structure of a -object, denoted by , such that

a) the evaluation mapping , defined by for each , is a -morphism;

b) for each -object , the mapping defined by for each -morphism , is surjective.

4) It follows that for a Cartesian closed topological category the following holds:

) the first exponential law: ;

) the second exponential law: ;

) the third exponential law: ;

) the distributive law: .

Examples of Cartesian closed topological categories are: , , , , , , , , , .

5) If is an initially structured category, then is Cartesian closed if and only if for each -object the functor preserves final epi-sinks. Furthermore, in a Cartesian closed initially structured category the power object may be interpreted (up to isomorphism) as the set endowed with a suitable -structure, i.e. as a "function space" , and the -morphism is the usual evaluation mapping (up to isomorphism). Since every extremal epireflective subcategory of a Cartesian closed initially structured category is Cartesian closed, one obtains that the categories , (Hausdorff convergence spaces), (Hausdorff limit spaces), and (Hausdorff pseudo-topological spaces), respectively (the Hausdorff property means in each case that limits of filters are unique) are Cartesian closed initially structured categories, because they are extremal epireflective in , , , and , respectively (see, e.g., [a28]). Since some of the Cartesian closed topological categories mentioned above satisfy another nice property too, it is useful to define the following: A category is called a topos (quasi-topos) if the following conditions are satisfied: has finite limits and colimits; is Cartesian closed; and in (strong) partial morphisms are representable, i.e. for each -object there exists a (strong) monomorphism universal in the following sense: given a (strong) partial morphism into (i.e. a pair consisting of a (strong) monomorphism and a morphism ), there exists a unique pullback

Obviously, every topos is a quasi-topos. From the above-mentioned Cartesian closed topological categories only is a topos (note that topoi are balanced categories, i.e. categories in which every bimorphism is an isomorphism). Since in each category that has pushouts strong monomorphisms coincide with extremal monomorphisms, strong monomorphisms may be replaced by imbeddings if is a topological category. For a topological category one thus finds that the following conditions are equivalent:

is a quasi-topos;

is Cartesian closed and every -object can be imbedded via the addition of a single point into a -object such that the following holds: For every -morphism from a subobject of into , the unique function defined by

is a -morphism;

in final epi-sinks are universal, i.e. if is a final epi-sink in , is a -morphism and for each the diagram

is a pullback in , then is a final epi-sink in ;

a) is Cartesian closed, and

b) in final (epi-)sinks are hereditary, i.e. if is a final (epi-)sink in , is a subspace of , is a subspace of with underlying set , and is the corresponding restriction of , then is also a final (epi-)sink in .

Alternative names for topological categories which are quasi-topoi are strongly topological categories and topological universes.

Examples of quasi-topoi are: , , , , , , .

In particular, topological categories which are quasi-topoi have hereditary quotients (cf.

above), a condition whose usefulness has become apparent in the study of connectedness properties in topological categories (cf. [a18] and [a27]). Even in final sinks are hereditary, though is not Cartesian closed. Since Cartesian closedness is a convenient property for topological categories (cf. [a31]), the quasi-topos property may be considered to be an ultra-convenient property (cf. [a35]). Hence it seems desirable to find, for a given topological category and a given convenient (respectively, ultra-convenient) property , a smallest extension of satisfying . Such an extension is called a -hull of . Considerable efforts have been made to construct such hulls. For further details see e.g. [a16].

Cartesian closed topological categories over arbitrary base categories can even have concrete powers (a topological category over a base category with underlying functor is said to have concrete powers if for all objects and both and the evaluation mappings in and coincide), e.g. and are quasi-topoi with concrete powers. For investigations on Cartesian closedness of topological categories over arbitrary base categories and quasi-topoi see e.g. [a1] and [a15].

Final remarks.

It has turned out that several desirable properties concerning, e.g., paracompactness, normality or dimension which are false in become true when is replaced by , which is nicely imbedded in . Even for the investigation of function spaces the subcategory of , for example, is better behaved than . By means of a suitable completion, called canonical completion (or Herrlich completion), of a nearness space well-known extensions and compactifications such as the Wallman extension, Hewitt's realcompactification, Aleksandrov's one-point compactification and the Stone–Čech compactification are obtained. Even every Hausdorff compactification (respectively, regular Hausdorff extension) of a topological space can be obtained by means of canonical completion (cf. e.g. [a17] and [a28] for further details). Last but not least, the Čech homology and cohomology theory used in algebraic topology has a suitable generalization to nearness spaces (respectively, merotopic spaces), where the fundamental idea is to replace open coverings by uniform coverings (cf., e.g., [a2] and [a28] for more detailed information).

References

[a1] J. Adámek, H. Herrlich, "Cartesian closed categories, quasitopoi and topological universes" Comm. Math. Univ. Carolinae , 27 (1986) pp. 235–257
[a2] H.L. Bently, "Homology and cohomology for merotopic and nearness spaces" Quaest. Math. , 6 (1978) pp. 541–568
[a3] H. Cartan, "Théorie des filtres" Comp. Rend. , 205 (1937) pp. 595–598
[a4] G. Choquet, "Convergences" Ann. Univ. Grenoble Sect. Sci. Math. Phys. (N.S.) , 23 (1948) pp. 57–112
[a5] A. Császár, "Foundations of general topology" , Macmillan (1963)
[a6] D.B. Doitchinov, "A unified theory of topological spaces, proximity spaces and uniform spaces" Soviet Math. Dokl. , 5 (1964) pp. 595–598 Dokl. Akad. Nauk SSSR , 5 (1964)
[a7] V.A. Efremovič, "Geometry of proximity" Math. USSR Sb. , 31 : 73 (1952) pp. 189–200 Mat. Sb. , 31 : 73 (1952)
[a8] H.R. Fischer, "Limesräume" Math. Ann. , 137 (1959) pp. 269–303
[a9] P. Fletscher, W.F. Lindgren, "Quasi-uniform spaces" , M. Dekker (1982)
[a10] M. Fréchet, "Sur quelques points du calcul fonctionnel" Rend. Palermo , 22 (1906) pp. 1–74
[a11] F. Hausdorff, "Grundzüge der Mengenlehre" , Leipzig (1914) (Reprinted (incomplete) English translation: Set theory, Chelsea (1978))
[a12] H. Herrlich, "Categorical topology" General Topol. Appl. , 1 (1071) pp. 1–15
[a13] H. Herrlich, "Topological structures" , Math. Centre Tracts , 52 , Math. Centre , Amsterdam (1974) pp. 59–122
[a14] H. Herrlich, "Some topological theorems which fail to be true" , Categorical Topology , Lect. notes in math. , 540 , Springer (1976) pp. 265–285
[a15] H. Herrlich, "Universal topology" , Categorical Topology , Sigma Ser. Pure Math. , Heldermann (1984) pp. 223–281
[a16] H. Herrlich, "Topological improvements of categories of structured sets" General Topol. Appl. , 27 (1987) pp. 145–155
[a17] H. Herrlich, "Topologie II: Uniforme Räume" , Heldermann (1988)
[a18] H. Herrlich, G. Salicrup, R. Vásquez, "Light factorization structures" Quest. Math. , 3 (1979) pp. 189–213
[a19] H. Herrlich, G.E. Strecker, "Category theory" , Heldermann (1979)
[a20] H. Hogbe-Nlend, "Théorie des bornologies et applications" , Lect. notes in math. , Springer (1971)
[a21] M. Katětov, "On continuity structures and spaces of mappings" Comm. Math. Univ. Carolinae , 6 (1965) pp. 257–278
[a22] C.J. Kelley, "Bitopological spaces" Proc. London Math. Soc. , 13 (1963) pp. 71–89
[a23] D.C. Kent, "Convergence functions and their related topologies" Fund. Math. , 54 (1964) pp. 125–133
[a24] H.-J. Kowalsky, "Limesräume und Komplettierung" Math. Nachr. , 12 (1954) pp. 301–340
[a25] C. Kuratowski, "Sur l'opération de l'analysis situs" Fund. Math. , 3 (1922) pp. 182–199
[a26] E.H. Moore, H.L. Smith, "A general theory of limits" Amer. J. Math. , 44 (1922) pp. 102–121
[a27] G. Preuss, "Connectednesses and disconnectednesses in -Near" , Categorical Aspects of Topology and Analysis , Lect. notes in math. , 915 , Springer (1982)
[a28] G. Preuss, "Topological structures—An approach to categorical topology" , Reidel (1988)
[a29] W. Reisig, "Petri nets" , EATCS Monographs on Theoretical Computer Science , 4 , Springer (1985)
[a30] E.H. Spanier, "Algebraic topology" , Springer (1966)
[a31] N.E. Steenrod, "A convenient category of topological spaces" Michigan Math. J. , 14 (1967) pp. 133–152
[a32] J.W. Tukey, "Convergence and uniformity in topology" , Princeton Univ. Press (1940)
[a33] A. Weil, "Sur les espaces à structure uniforme et sur la topologie générale" , Hermann (1937)
[a34] O. Wyler, "Top categories and categorical topology" General Topol. Appl. , 1 (1971) pp. 17–28
[a35] O. Wyler, "Are there topoi in topology?" , Categorical Topology , Lect. notes in math. , 540 , Springer (1976) pp. 699–719
How to Cite This Entry:
Topological structures. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Topological_structures&oldid=49471
This article was adapted from an original article by G. Preuss (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article