Topology and Groupoids

Omar Antoĺın Camarena pointed out a gap in the proofs in [BT&G, Bro06] of a condition for the Phragmen–Brouwer Property not to hold; this note gives the correction in terms of a result on a pushout of groupoids, and some additional background.

[1]  F. Hausdorff.  Grundzüge der Mengenlehre , 1914 .

[2]  H. Brandt.  Über eine Verallgemeinerung des Gruppenbegriffes , 1927 .

[3]  H. Seifert,et al.  Lehrbuch der Topologie , 1934 .

[4]  Samuel Eilenberg.  Sur les espaces multicohérents I , 1936 .

[5]  S. Maclane,et al.  General theory of natural equivalences , 1945 .

[6]  C. Chevalley.  Theory of Lie Groups , 1946 .

[7]  P. Halmos.  Finite-Dimensional Vector Spaces , 1960 .

[8]  R. Wilder.  Topology of Manifolds , 1949 .

[9]  J. Whitehead,et al.  Combinatorial homotopy. II , 1949 .

[10]  G. Higman,et al.  Embedding Theorems for Groups , 1949 .

[11]  Solomon Lefschetz,et al.  Introduction to Topology , 1950 .

[12]  N. Steenrod.  Topology of Fibre Bundles , 1951 .

[13]  C. H. Dowker.  TOPOLOGY OF METRIC COMPLEXES. , 1952 .

[14]  N. Steenrod,et al.  Foundations of Algebraic Topology , 1952 .

[15]  P. Hilton.  An Introduction to Homotopy Theory , 1953 .

[16]  THE FUNDAMENTAL GROUP OF TWO SPACES WITH A COMMON POINT , 1954 .

[17]  M. Barratt.  Track Groups (II) , 1955 .

[18]  Infinite Products of Semi-Groups and Local Connectivity , 1956 .

[19]  D. Montgomery,et al.  Topological Transformation Groups , 1956 .

[20]  R. Fox,et al.  Covering spaces with singularities , 1957 .

[21]  P. Olum.  Non-Abelian Cohomology and Van Kampen's Theorem , 1958 .

[22]  John Milnor,et al.  Some Consequences of a Theorem of Bott , 1958 .

[23]  R. H. Crowell,et al.  On the van Kampen theorem , 1959 .

[24]  Peter Hilton,et al.  Homology Theory: An Introduction to Algebraic Topology , 1960 .

[25]  M. Hasse.  Einige Bemerkungen über Graphen, Kategorien und Gruppoide , 1960 .

[26]  E. Wigner.  The Unreasonable Effectiveness of Mathematics in the Natural Sciences (reprint) , 1960 .

[27]  A. Weinzweig.  The fundamental group of a union of spaces. , 1961 .

[28]  H. Toda.  Composition Methods in Homotopy Groups of Spheres , 1962 .

[29]  M. Arkowitz.  The generalized Whitehead product , 1962 .

[30]  Johann Sonner.  On the formal definition of categories , 1962 .

[31]  E. Spanier.  Secondary Operations on Mappings and Cohomology , 1962 .

[32]  A. Dold.  Partitions of Unity in the Theory of Fibrations , 1963 .

[33]  Ákos Császár,et al.  Foundations of general topology , 1963 .

[34]  R. Brown.  TEN TOPOLOGIES FOR X × Y , 1963 .

[35]  P. J. Higgins.  Algebras with a Scheme of Operators , 1963 .

[36]  S. Smale.  A survey of some recent developments in differential topology , 1963 .

[37]  George Finlay Simmons,et al.  Introduction to Topology and Modern Analysis , 1963 .

[38]  T. Kuhn,et al.  The Structure of Scientific Revolutions , 1963 .

[39]  R. Brown,et al.  FUNCTION SPACES AND PRODUCT TOPOLOGIES , 1964 .

[40]  The Genesis of Point Set Topology. , 1964 .

[41]  P. J. Higgins.  Presentations of groupoids, with applications to groups , 1964, Mathematical Proceedings of the Cambridge Philosophical Society.

[42]  Richard G. Swan,et al.  The theory of sheaves , 1964 .

[43]  Nouvelle méthode pour démontrer la paracompacité des espaces métrisables , 1964 .

[44]  M. A. Armstrong.  On the fundamental group of an orbit space , 1965, Mathematical Proceedings of the Cambridge Philosophical Society.

[45]  C. T. C. Wall,et al.  Elements of general topology , 1965 .

[46]  P. Hilton.  Homotopy Theory and Duality , 1965 .

[47]  B. Mitchell,et al.  Theory of categories , 1965 .

[48]  S. Franklin,et al.  Spaces in which sequences suffice , 1965 .

[49]  ON A METHOD OF P. OLUM , 1965 .

[50]  J. Milnor.  Topology from the differentiable viewpoint , 1965 .

[51]  Topology of Smooth Manifolds , 1965 .

[52]  I. James,et al.  Note on the classification of cross-sections , 1966 .

[53]  Friedrich Hirzebruch.  Topological methods in algebraic geometry , 1966 .

[54]  George W. Mackey,et al.  Ergodic theory and virtual groups , 1966 .

[55]  On the Fundamental Group of a Transformation Group , 1966 .

[56]  Grushko's theorem , 1966 .

[57]  P. J. Cohen.  Set Theory and the Continuum Hypothesis , 1966 .

[58]  G. Whyburn.  Compactification of mappings , 1966 .

[59]  F. W. Lawvere,et al.  The Category of Categories as a Foundation for Mathematics , 1966 .

[60]  N. Steenrod,et al.  A convenient category of topological spaces. , 1967 .

[61]  Robert Hermann,et al.  Lie Groups for Physicists , 1967 .

[62]  Ronald Brown.  Groupoids and Van Kampen's Theorem , 1967 .

[63]  Arne Strøm.  Note on Cofibrations II. , 1968 .

[64]  F. Linton,et al.  Categories et Structures. , 1968 .

[65]  Sze-Tsen Hu,et al.  Theory of Retracts. , 1968 .

[66]  ON LIFTING TRANSFORMATION GROUPS , 1968 .

[67]  J. Dieudonne.  Foundations of Modern Analysis , 1969 .

[68]  Induced Homotopy Equivalences on Mapping Spaces and Duality , 1970, Canadian Journal of Mathematics.

[69]  Coglueing homotopy equivalences , 1970 .

[70]  Ronald Brown.  Fibrations of Groupoids , 1970 .

[71]  S. Maclane,et al.  Categories for the Working Mathematician , 1971 .

[72]  R. Vogt.  Convenient categories of topological spaces for homotopy theory , 1971 .

[73]  K. Kamps.  Zur Homotopietheorie von Gruppoiden , 1972 .

[74]  C. H. Houghton.  Ends of Groups and the Associated First Cohomology Groups , 1972 .

[75]  R. Dyckhoff.  Factorisation theorems and projective spaces in topology , 1972 .

[76]  J. Rutter.  Fibred Joins of Fibrations and Maps I , 1972 .

[77]  R. Vogt.  A note on homotopy equivalences , 1972 .

[78]  Arne Strøm,et al.  The homotopy category is a homotopy category , 1972 .

[79]  Brian Day,et al.  A reflection theorem for closed categories , 1972 .

[80]  K. Kamps.  Kan-Bedingungen und abstrakte Homotopietheorie , 1972 .

[81]  G. E. Bredon.  Introduction to compact transformation groups , 1972 .

[82]  Joachir Lellig.  A union theorem for cofibrations , 1973 .

[83]  Rainer M. Vogt,et al.  Homotopy limits and colimits , 1973 .

[84]  Groupoid operations and fibre-homotopy equivalence. I , 1973 .

[85]  R. Walker,et al.  The Stone-Cech Compactification , 1974 .

[86]  Ronald T. Brown.  On Sequentially Proper Maps and a Sequential Compactification , 1974 .

[87]  On compactification of mappings , 1974 .

[88]  J. Rutter.  Fibred Joins of Fibrations and Maps—II , 1974 .

[89]  C. Houghton.  Ends of locally compact groups and their coset spaces , 1974, Journal of the Australian Mathematical Society.

[90]  J. Birman.  Braids, Links, and Mapping Class Groups. , 1975 .

[91]  THE FUNDAMENTAL GROUPOID AS A TOPOLOGICAL GROUPOID , 1975 .

[92]  A. Pears,et al.  Dimension Theory of General Spaces , 1975 .

[93]  Wreath Products of Groupoids , 1975 .

[94]  R. Dyckhoff.  Categorical methods in dimension theory , 1976 .

[95]  The Fundamental Groupoid of a Graph of Groups , 1976 .

[96]  William S. Massey,et al.  Algebraic Topology: An Introduction , 1977 .

[97]  Encyclopaedic Dictionary of Mathematics , 1977 .

[98]  W. F. Lamartin.  On the foundations of k̲-group theory , 1977 .

[99]  M. Dostal,et al.  The Jordan Curve Theorem Revisited. , 1978 .

[100]  Ronald Brown,et al.  Spaces of partial maps, fibred mapping spaces and the compact-open topology , 1978 .

[101]  P. J. Higgins,et al.  ON THE CONNECTION BETWEEN THE SECOND RELATIVE HOMOTOPY GROUPS OF SOME RELATED SPACES , 1978 .

[102]  On the application of fibred mapping spaces to exponential laws for bundles, ex-spaces and other categories of maps , 1978 .

[103]  Benoit B. Mandelbrot,et al.  Fractals: Form, Chance and Dimension , 1978 .

[104]  Exponential laws for topological categories, groupoids and groups, and mapping spaces of colimits , 1979 .

[105]  S. Lam.  A note on ex-homotopy equivalence , 1980 .

[106]  Ronald Brown,et al.  A Compact‐Open Topology on Partial Maps with Open Domain , 1980 .

[107]  Homotopy Classes of Maps to an Aspherical Complex , 1981 .

[108]  P. J. Higgins,et al.  Colimit theorems for relative homotopy groups , 1981 .

[109]  E. Rees.  CLASSICAL TOPOLOGY AND COMBINATORIAL GROUP THEORY (Graduate Texts in Mathematics, 72) , 1982 .

[110]  R. Brown,et al.  Low-Dimensional Topology: Higher-dimensional group theory , 1982 .

[111]  Group actions on ω-groupoids and crossed complexes, and the homotopy groups of orbit spaces , 1982 .

[112]  On exact orbit sequences , 1982 .

[113]  Peter Gabriel,et al.  Covering spaces in representation-theory , 1982 .

[114]  M. A. Armstrong.  Lifting homotopies through fixed points , 1982, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[115]  J. Huebschmann,et al.  Identities among relations , 1982 .

[116]  B. Reinhart.  Differential Geometry of Foliations , 1983 .

[117]  P. Johnstone,et al.  The point of pointless topology , 1983 .

[118]  Private communication , 2005 .

[119]  H. Herrlich.  Are there convenient subcategories of Top , 1983 .

[120]  Pullback and pushout squares in a special double category with connection , 1983 .

[121]  R. Bing.  The Geometric Topology of 3-Manifolds , 1983 .

[122]  Extending local homotopy equivalences , 1983 .

[123]  M. Barr,et al.  Toposes, Triples and Theories , 1984 .

[124]  W. Abikoff,et al.  THE GEOMETRY OF DISCRETE GROUPS (Graduate Texts in Mathematics) , 1984 .

[125]  SUR LA THÉORIE D'HOMOTOPIE ABSTRAIT , 1984 .

[126]  Norman Biggs,et al.  Homological Coverings of Graphs , 1984 .

[127]  Ryuji Maehara,et al.  The Jordan Curve Theorem Via the Brouwer Fixed Point Theorem , 1984 .

[128]  A van Kampen theorem for unions of non-connected spaces , 1984 .

[129]  Hans Wussing,et al.  The genesis of the abstract group concept , 1984 .

[130]  J. Meyer.  Bar and cobar constructions II , 1984 .

[131]  Ioan Mackenzie James,et al.  General topology and homotopy theory , 1984 .

[132]  K. Gödel.  Philosophy of mathematics: What is Cantor's continuum problem? , 1984 .

[133]  A. R. Salleh,et al.  On the relation between the fundamental groupoids of the classifying space and the nerve of an open cover , 1985 .

[134]  M. J. Dunwoody.  The accessibility of finitely presented groups , 1985 .

[135]  Jean-Marc Cordier,et al.  Vogt's theorem on categories of homotopy coherent diagrams , 1986, Mathematical Proceedings of the Cambridge Philosophical Society.

[136]  I. Morrison,et al.  A Van Kampen Theorem for Weak Joins , 1986 .

[137]  Ronald Brown.  From Groups to Groupoids: a Brief Survey , 1987 .

[138]  Ronald Brown,et al.  Van Kampen theorems for diagrams of spaces , 1987 .

[139]  Homotopy and Cohomology Theory , 1987 .

[140]  José Montesinos,et al.  Classical tessellations and three-manifolds , 1987 .

[141]  Lifting amalgamated sums and other colimits of groups and topological groups , 1987 .

[142]  Georg Peschke,et al.  The Theory of Ends , 1990 .

[143]  Covering groups of non-connected topological groups revisited , 2000, math/0009021.

[144]  Stephen P. Humphries.  Quotients of Coxeter complexes, fundamental groupoids and regular graphs , 1994 .

[145]  Timothy Porter,et al.  Abstract homotopy and simple homotopy theory , 1995 .

[146]  J. Humphreys.  A Course in Group Theory , 1996 .

[147]  May,et al.  A Concise Course in Algebraic Topology , 1999 .

[148]  Graphs of Groups: Word Computations and Free Crossed Resolutions , 2000 .

[149]  D. Corfield.  Towards a Philosophy of Real Mathematics , 2003 .

[150]  A proof of Higgins's conjecture , 2003, Bulletin of the Australian Mathematical Society.

[151]  L. Siebenmann.  The Osgood-Schoenflies theorem revisited , 2005 .

[152]  Erratum to: Groupoids, the Phragmen–Brouwer property, and the Jordan curve theorem , 2006, math/0607229.

[153]  Ross Geoghegan,et al.  Topological methods in group theory , 2007 .