This is the third edition of a classic text, previously published in 1968, 1988, and now extended, revised, retitled, updated, and reasonably priced. Throughout it gives motivation and context for theorems and definitions. Thus the definition of a topology is first related to the example of the real line; it is then given in terms of the intuitive notion of neighbourhoods, and then shown to be equivalent to the elegant but spare definition in terms of open sets. Many constructions of topologies are shown to be necessitated by the desire to construct continuous functions, either from or into a space. This is in the modern categorical spirit, and often leads to clearer and simpler proofs. There is a full treatment of finite cell complexes, with the cell decompositions given of projective spaces, in the real, complex and quaternionic cases. This is based on an exposition of identification spaces and adjunction spaces. The exposition of general topology ends with a description of the topology for function spaces, using the modern treatment of the test-open topology, from compact Hausdorff spaces, and so a description of a convenient category of spaces (a term due to the author) in the non Hausdorff case. The second half of the book demonstrates how the use of groupoids rather than just groups gives in 1-dimensional homotopy theory more powerful theorems with simpler proofs. Some of the proofs of results on the fundamental groupoid would be difficult to envisage except in the form given: We verify the required universal property'. This is in the modern categorical spirit. Chapter 6 contains the development of the fundamental groupoid on a set of base points, including the background in category theory. The proof of the van Kampen Theorem in this general form resolves a failure of traditional treatments, in giving a direct computation of the fundamental group of the circle, as well as more complicated examples. Chapter 7 uses the notion of cofibration to develop the notion of operations of the fundamental groupoid on certain sets of homotopy classes. This allows for an important theorem on gluing homotopy equivalences by a method which gives control of the homotopies involved. This theorem first appeared in the 1968 edition. Also given is the family of exact sequences arising from a fibration of groupoids. The development of Combinatorial Groupoid Theory in Chapter 8 allows for unified treatments of free groups, free products of groups, and HNN-extensions,