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