Difference between revisions of "Topological structures"
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
Ulf Rehmann (talk | contribs) m (Undo revision 48988 by Ulf Rehmann (talk)) Tag: Undo |
||
Line 1: | Line 1: | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
==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 | + | 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 | ||
− | usually denoted by | ||
− | i.e. | ||
− | belongs to the closure of | ||
− | 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]] | + | 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 | ||
− | 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 | + | 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: | ||
− | + | <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 | ||
− | 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. | ||
− | + | <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 | ||
− | the | ||
− | fibre of | ||
− | i.e. the class of all | ||
− | structures on | ||
− | is a set. | ||
− | + | <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 | ||
− | of cardinality one there exists precisely one | ||
− | structure on | ||
===Examples of topological categories.=== | ===Examples of topological categories.=== | ||
− | |||
− | |||
− | 2) The category | + | 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 | + | 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 | ||
− | mappings). | ||
− | 4) The categories | + | 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. |
− | |||
− | and | ||
− | of convergence spaces, limit spaces and pseudo-topological spaces (and continuous mappings), respectively. | ||
− | (Let | + | (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, | ||
− | the set of all filters on | ||
− | and | ||
− | a subset of | ||
− | such that the following conditions are satisfied: | ||
− | + | <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 | |
− | |||
− | for each | ||
− | where | ||
− | denotes the set of all subsets | ||
− | of | ||
− | containing | ||
− | and | ||
− | + | <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" />. | |
− | |||
− | whenever | ||
− | and | ||
− | Then | + | 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) | ||
− | implies | ||
− | a limit space if: | ||
− | |||
− | and | ||
− | imply | ||
− | and a pseudo-topological space or Choquet space if | ||
− | |||
− | whenever | ||
− | for each ultrafilter | ||
− | Instead of | + | 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 | ||
− | 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 | + | 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 | + | 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 | + | 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 | + | 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 | ||
− | of nearness spaces (and uniformly-continuous mappings). | ||
− | (Let | + | (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 | ||
− | be a non-empty set of non-empty coverings of | ||
− | such that the following conditions are satisfied: | ||
− | + | <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 | ||
− | refines | ||
− | and | ||
− | then | ||
− | + | <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 | ||
− | and | ||
− | then | ||
− | Then | + | 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 | ||
− | are called uniform coverings. | ||
− | A merotopic space | + | 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: | ||
− | + | <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 | ||
− | 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 | + | 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 | + | 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 | + | 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 | + | 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 | ||
− | 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 | + | 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 | ||
− | containing the category | ||
− | of compact Hausdorff spaces (and continuous mappings)). | ||
− | 14) The categories | + | 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). |
− | |||
− | |||
− | and | ||
− | of symmetric convergence spaces, symmetric limit spaces, symmetric pseudo-topological spaces, and symmetric topological spaces (and continuous mappings). | ||
− | (A convergence space | + | (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> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | In particular, a topological space | + | 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 | ||
− | space, i.e. | ||
− | implies | ||
− | for each | ||
− | 15) The category | + | 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 | + | (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 | ||
− | 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 | + | 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 | ||
− | 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 | + | 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 | + | (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 | ||
− | there exists a finite | ||
− | with | ||
− | 17) The category | + | 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 | + | (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 | ||
− | 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.== | ==Properties of topological categories.== | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | 2) Let | + | 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: | ||
− | + | <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 | ||
− | lifts limits via initiality and co-limits via finality from | ||
− | to | ||
− | A | + | 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). | ||
− | + | <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 | + | 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 | ||
− | the following conditions are equivalent: a) | ||
− | is an [[Imbedding of categories|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 | + | 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 | ||
− | the following conditions are equivalent: a) | ||
− | is a [[Quotient mapping|quotient mapping]], i.e. | ||
− | is surjective and | ||
− | is final with respect to | ||
− | and | ||
− | b) | ||
− | is an extremal epimorphism; and c) | ||
− | is a regular epimorphism. | ||
− | + | <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 | + | 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 | ||
− | there exists a discrete structure | ||
− | on | ||
− | distinguished by the property that any mapping | ||
− | is a | ||
− | morphism. | ||
− | The forgetful functor | + | 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 | ||
− | there exists a non-discrete | ||
− | structure | ||
− | on | ||
− | distinguished by the property that any mapping | ||
− | is a | ||
− | morphism. | ||
− | For any set | + | 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 | ||
− | fibre of | ||
− | ordered by | ||
− | |||
− | |||
− | is a | ||
− | morphism, is a [[Complete lattice|complete lattice]]. | ||
− | For any set | + | 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 | ||
− | is a | ||
− | morphism. | ||
− | Any | + | 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 | ||
− | with | ||
− | is a separator. | ||
− | A | + | 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 | ||
− | is a co-separator if and only if there exists an imbedding of a non-discrete object with two points into | ||
− | A | + | 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 | ||
− | is projective if and only if | ||
− | is the discrete structure on | ||
− | cf. also [[Projective object of a category|Projective object of a category]]). | ||
− | A | + | 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 | ||
− | is injective if and only if | ||
− | and | ||
− | is the non-discrete structure on | ||
− | 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 | + | 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 | ||
− | is called isomorphism closed if each | ||
− | object isomorphic to some | ||
− | object is an | ||
− | object; for being full see [[Full subcategory|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 | + | 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 | ||
− | 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: | 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 | + | 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 | ||
− | Then the following hold: | ||
− | 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 | ||
− | if and only if | ||
− | is closed under formation of products and subobjects (i.e. extremal monomorphisms) (weak subobjects, i.e. monomorphisms) in | ||
− | b) | + | 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 | ||
− | if and only if | ||
− | is reflective in | ||
− | and contains all non-discrete objects of | ||
− | c) if | + | 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: | ||
− | ( | + | (<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" />; |
− | |||
− | is coreflective in | ||
− | ( | + | (<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" />; |
− | |||
− | is bicoreflective in | ||
− | ( | + | (<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" />; |
− | |||
− | is closed under formation of coproducts and quotient objects in | ||
− | ( | + | (<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" />. |
− | |||
− | is coreflective in | ||
− | and contains all discrete objects of | ||
− | The relations between several topological categories are illustrated in the diagram below hold. Here | + | 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, | ||
− | 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 | + | 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 | ||
− | 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.=== | ===Example.=== | ||
− | The symmetric topological spaces (or topological nearness spaces) form a bicoreflective subcategory of | + | 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 | ||
− | 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 | + | 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 | + | 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 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.=== | ===Products.=== | ||
− | Let | + | 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 | ||
− | let | ||
− | be the Cartesian product of the family | ||
− | cf. [[Direct product|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 | + | 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 | ||
− | 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; | 1) products of paracompact topological spaces are paracompact; | ||
− | 2) products of compact Hausdorff spaces with normal | + | 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 | + | 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) | + | 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) | + | 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 | ||
− | 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 | + | 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 | ||
− | 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, [[#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 | + | 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 | ||
− | 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 | + | 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 | ||
− | 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|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 | + | 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 | ||
− | 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 | ||
− | |||
− | 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 | ||
− | |||
− | there exists a unique | ||
− | initial source | ||
− | |||
− | 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 | + | 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 | ||
− | 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 | + | 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 | ||
− | 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 | + | 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 | ||
− | of topological groups (and continuous homomorphisms) is topological over | ||
− | 3) The category | + | 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 | ||
− | 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. [[#References|[a29]]]). | ||
− | Topological functors are faithful, amnestic and transportable. Thus, they lead to concrete categories which are initially complete. If | + | 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 | ||
− | 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|Category]]) | ||
− | of | ||
− | is topological over | ||
==Cartesian closedness and further restrictions.== | ==Cartesian closedness and further restrictions.== | ||
− | The category | + | 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. | ||
− | 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), | ||
− | has been substituted either by well-behaved subcategories or by more convenient supercategories. The precise ideas are as follows. | ||
− | 1) A category | + | 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) 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 | ||
− | objects, there exists a product | ||
− | in | ||
− | b) for each | + | 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 | ||
− | 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 | ||
− | + | <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 | + | 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 | ||
− | 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 | + | 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 | ||
− | of | ||
− | morphisms is called an epi-sink if for any pair | ||
− | of | ||
− | morphisms with domain | ||
− | such that | ||
− | for each | ||
− | it follows that | ||
− | 3) Let | + | 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 | ||
− | is called final if the | ||
− | structure of | ||
− | is final with respect to | ||
− | For a topological category | + | 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: | ||
− | + | <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150627.png" /> is Cartesian closed; | |
− | is Cartesian closed; | ||
− | For any | + | 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 | ||
− | and any set-indexed family | ||
− | of | ||
− | objects the following are satisfied: | ||
− | a) | + | 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: | ||
− | preserves coproducts), and | ||
− | b) If | + | 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 | ||
− | i.e. | ||
− | preserves quotient mappings; | ||
− | a) For any | + | 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 | ||
− | and any set-indexed family | ||
− | of | ||
− | objects one has: | ||
− | + | <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: | ||
− | preserves coproducts), and | ||
− | b) In | + | 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 | ||
− | of any two quotient mappings | ||
− | and | ||
− | is a quotient mapping; | ||
− | For each | + | 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 | ||
− | the functor | ||
− | preserves final epi-sinks: for any final epi-sink | ||
− | |||
− | |||
− | is a final epi-sink; | ||
− | For each pair | + | 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 | ||
− | of all | ||
− | morphisms from | ||
− | to | ||
− | can be endowed with the structure of a | ||
− | object, denoted by | ||
− | such that | ||
− | a) the evaluation mapping | + | 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 | ||
− | for each | ||
− | is a | ||
− | morphism; | ||
− | b) for each | + | 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 | ||
− | the mapping | ||
− | defined by | ||
− | for each | ||
− | morphism | ||
− | is surjective. | ||
− | 4) It follows that for a Cartesian closed topological category | + | 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: | ||
− | + | <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: | ||
− | + | <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: | ||
− | + | <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: | ||
− | + | <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: | ||
− | Examples of Cartesian closed topological categories are: | + | 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" />. |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | 5) If | + | 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 | ||
− | 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., [[#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 | ||
− | is called a [[Topos|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 | ||
− | + | <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 | + | 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 | ||
− | is a topological category. For a topological category | ||
− | one thus finds that the following conditions are equivalent: | ||
− | + | <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150722.png" /> is a quasi-topos; | |
− | is a quasi-topos; | ||
− | + | <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 | ||
− | 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 | ||
− | + | <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> | |
− | |||
− | |||
− | is a | + | is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093150/t093150736.png" />-morphism; |
− | morphism; | ||
− | in | + | 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 | ||
− | is a final epi-sink in | ||
− | |||
− | is a | ||
− | morphism and for each | ||
− | 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 | + | 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 | ||
− | is a final epi-sink in | ||
− | a) | + | 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 | + | 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 | ||
− | 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. | Alternative names for topological categories which are quasi-topoi are strongly topological categories and topological universes. | ||
− | Examples of quasi-topoi are: | + | 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" />. |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
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 | + | 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 | ||
− | 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 | ||
− | 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. [[#References|[a16]]]. | ||
− | Cartesian closed topological categories over arbitrary base categories can even have concrete powers (a topological category | + | 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 | ||
− | 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. [[#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 | + | 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 | ||
− | 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. [[#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 ![]() |
[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 ![]() |
[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 |
Topological structures. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Topological_structures&oldid=48988