Ronald Brown (mathematician)

Last updated

Ronald Brown
Ronald Brown 1987 lecture video.jpg
Brown in a 1987 lecture video
Born (1935-01-04) 4 January 1935 (age 88)
London, England
Alma mater University of Oxford
Scientific career
Fields Mathematics
Institutions University of Liverpool
University of Hull
Bangor University
Thesis Some problems of algebraic topology  (1962)
Doctoral advisors J. H. C. Whitehead
Michael G. Barratt
Doctoral students21

Ronald Brown FLSW is an English mathematician. Emeritus Professor in the School of Computer Science at Bangor University, [1] he has authored many books and more than 160 journal articles.

Contents

Education and career

Born on 4 January 1935 in London, Brown attended Oxford University, obtaining a B.A. in 1956 and a D.Phil. in 1962. [2] Brown began his teaching career during his doctorate work, serving as an assistant lecturer at the University of Liverpool before assuming the position of Lecturer. In 1964, he took a position at the University of Hull, serving first as a Senior Lecturer and then as a Reader before becoming a Professor of pure mathematics at Bangor University, then a part of the University of Wales, in 1970.

Brown served as Professor of Pure Mathematics for 30 years; he also served during the 1983–84 term as a Professor for one month at Louis Pasteur University in Strasbourg. [2] In 1999, Brown took a half-time research professorship until he became Professor Emeritus in 2001. He was elected as a Fellow of the Learned Society of Wales in 2016.

Editing and writing

Brown has served as an editor or on the editorial board for a number of print and electronic journals. He began in 1968 with the Chapman & Hall Mathematics Series, contributing through 1986. [2] In 1975, he joined the editorial advisory board of the London Mathematical Society, remaining through 1994. Two years later, he joined the editorial board of Applied Categorical Structures, [3] continuing through 2007. From 1995 and 1999, respectively, he has been active with the electronic journals Theory and Applications of Categories [4] and Homology, Homotopy and Applications , [5] which he helped found. Since 2006, he has been involved with Journal of Homotopy and Related Structures . [6] His mathematical research interests range from algebraic topology and groupoids, to homology theory, category theory, mathematical biology, mathematical physics and higher-dimensional algebra. [7] [8] [9] [10] [11]

Brown has authored or edited a number of books and over 160 academic papers published in academic journals or collections. His first published paper was "Ten topologies for X × Y", which was published in the Quarterly Journal of Mathematics in 1963 [12] Since then, his publications have appeared in many journals, including but not limited to the Journal of Algebra , Proceedings of the American Mathematical Society , Mathematische Zeitschrift , College Mathematics Journal , and American Mathematical Monthly . He is also known for several recent co-authored papers on categorical ontology. [13]

Among his several books and standard topology and algebraic topology textbooks are: Elements of Modern Topology (1968), Low-Dimensional Topology (1979, co-edited with T.L. Thickstun), Topology: a geometric account of general topology, homotopy types, and the fundamental groupoid (1998), [14] [15] Topology and Groupoids (2006) [16] and Nonabelian Algebraic Topology: Filtered Spaces, Crossed Complexes, Cubical Homotopy Groupoids (EMS, 2010). [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]

His recent fundamental results that extend the classical Van Kampen theorem to higher homotopy in higher dimensions (HHSvKT) are of substantial interest for solving several problems in algebraic topology, both old and new. [26] Moreover, developments in algebraic topology have often had wider implications, as for example in algebraic geometry and also in algebraic number theory. Such higher-dimensional (HHSvKT) theorems are about homotopy invariants of structured spaces, and especially those for filtered spaces or n-cubes of spaces. An example is the fact that the relative Hurewicz theorem is a consequence of HHSvKT, and this then suggested a triadic Hurewicz theorem.

See also

Related Research Articles

<span class="mw-page-title-main">Topology</span> Branch of mathematics

In mathematics, topology is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself.

<span class="mw-page-title-main">Algebraic topology</span> Branch of mathematics

Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.

In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or holes, of a topological space.

A CW complex is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation. The C stands for "closure-finite", and the W for "weak" topology.

In mathematics, the Seifert–Van Kampen theorem of algebraic topology, sometimes just called Van Kampen's theorem, expresses the structure of the fundamental group of a topological space in terms of the fundamental groups of two open, path-connected subspaces that cover . It can therefore be used for computations of the fundamental group of spaces that are constructed out of simpler ones.

In mathematics, the Eckmann–Hilton argument is an argument about two unital magma structures on a set where one is a homomorphism for the other. Given this, the structures are the same, and the resulting magma is a commutative monoid. This can then be used to prove the commutativity of the higher homotopy groups. The principle is named after Beno Eckmann and Peter Hilton, who used it in a 1962 paper.

In mathematics, the Hurewicz theorem is a basic result of algebraic topology, connecting homotopy theory with homology theory via a map known as the Hurewicz homomorphism. The theorem is named after Witold Hurewicz, and generalizes earlier results of Henri Poincaré.

In mathematics, and especially in homotopy theory, a crossed module consists of groups and , where acts on by automorphisms (which we will write on the left, , and a homomorphism of groups

The pseudocircle is the finite topological space X consisting of four distinct points {a,b,c,d } with the following non-Hausdorff topology:

In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology, where one studies algebraic invariants of spaces, such as their fundamental weak ∞-groupoid.

In mathematics, especially (higher) category theory, higher-dimensional algebra is the study of categorified structures. It has applications in nonabelian algebraic topology, and generalizes abstract algebra.

In mathematics, an n-group, or n-dimensional higher group, is a special kind of n-category that generalises the concept of group to higher-dimensional algebra. Here, may be any natural number or infinity. The thesis of Alexander Grothendieck's student Hoàng Xuân Sính was an in-depth study of 2-groups under the moniker 'gr-category'.

In mathematics, a 2-group, or 2-dimensional higher group, is a certain combination of group and groupoid. The 2-groups are part of a larger hierarchy of n-groups. In some of the literature, 2-groups are also called gr-categories or groupal groupoids.

In mathematics, directed algebraic topology is a refinement of algebraic topology for directed spaces, topological spaces and their combinatorial counterparts equipped with some notion of direction. Some common examples of directed spaces are spacetimes and simplicial sets. The basic goal is to find algebraic invariants that classify directed spaces up to directed analogues of homotopy equivalence. For example, homotopy groups and fundamental n-groupoids of spaces generalize to homotopy monoids and fundamental n-categories of directed spaces. Directed algebraic topology, like algebraic topology, is motivated by the need to describe qualitative properties of complex systems in terms of algebraic properties of state spaces, which are often directed by time. Thus directed algebraic topology finds applications in concurrency, network traffic control, general relativity, noncommutative geometry, rewriting theory, and biological systems.

In mathematics, especially in higher-dimensional algebra and homotopy theory, a double groupoid generalises the notion of groupoid and of category to a higher dimension.

In mathematics, more precisely, in the theory of simplicial sets, the Dold–Kan correspondence states that there is an equivalence between the category of chain complexes and the category of simplicial abelian groups. Moreover, under the equivalence, the th homology group of a chain complex is the th homotopy group of the corresponding simplicial abelian group, and a chain homotopy corresponds to a simplicial homotopy.

In algebraic topology, the fundamental groupoid is a certain topological invariant of a topological space. It can be viewed as an extension of the more widely-known fundamental group; as such, it captures information about the homotopy type of a topological space. In terms of category theory, the fundamental groupoid is a certain functor from the category of topological spaces to the category of groupoids.

[...] people still obstinately persist, when calculating with fundamental groups, in fixing a single base point, instead of cleverly choosing a whole packet of points which is invariant under the symmetries of the situation, which thus get lost on the way. In certain situations it is much more elegant, even indispensable for understanding something, to work with fundamental groupoids with respect to a suitable packet of base points, [,,,]

In mathematics, nonabelian algebraic topology studies an aspect of algebraic topology that involves higher-dimensional algebras.

In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is learned as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and category theory (specifically the study of higher categories).

References

  1. ↑ http://www.bangor.ac.uk/~mas010/ Page at Bangor University, UK
  2. 1 2 3 "Ronald Brown: Biographical Sketch". Bangor University. Retrieved 23 April 2010.
  3. ↑ "Applied Categorical Structures". Springer Publishers, Berlin. 8 December 2010. Retrieved 11 December 2010.
  4. ↑ EDITORIAL BOARD of the International journal Theory and Applications of Categories http://www.tac.mta.ca/tac/geninfo.html#edlist
  5. ↑ EDITORIAL BOARD of the International journal Homology, Homotopy and Applications http://www.intlpress.com/HHA/editors.htm
  6. ↑ Listed in the Editors' List of the International Journal of Homotopy and Related Structures http://tcms.org.ge/Journals/JHRS/editors.htm
  7. ↑ Editor Ronald Brown's research interests: Category theory, higher-dimensional algebra, holonomy, groupoids and crossed objects in algebraic topology. http://emis.kaist.ac.kr/journals/JHRS/interests.htm
  8. ↑ Cited by John C. Baez, James Dolan., in Higher-Dimensional Algebra III: n-categories and the Algebra of Opetopes, quantum algebra and Topology, Advances in Mathematics 135 (1998), 145-206.
  9. ↑ Cited by Georgescu, George and Popescu, Andrei., in "A common generalization for MV-algebras and Łukasiewicz-Moisil algebras", Archive for Mathematical Logic, Vol. 45, No. 8. (November 2006), pp. 947-981. (in reference to Heyting-algebra higher-dimensional-algebra hyperalgebras Łukasiewicz-Moisil-algebras meta-logics MV-algebras on 2007-07-11)
  10. ↑ Cited by John C. Baez, Laurel Langford., in "Higher-Dimensional Algebra IV: 2-Tangles", (Quantum Algebra (math.QA); Algebraic Topology (math.AT); Category Theory (math.CT)), Advances in Mathematics 180 (2003), 705-764 http://www.azimuthproject.org/azimuth/show/John+Baez
  11. ↑ Cited in "Higher-dimensional Algebra and Topological Quantum Field Theory" J.Math.Phys. 36 (1995) 6073-6105, by John C. Baez, James Dolan, (2004) https://arxiv.org/abs/q-alg/9503002 doi : 10.1063/1.531236
  12. ↑ "Ronald Brown Publications". Bangor University. 19 April 2008. Archived from the original on 24 April 2008. Retrieved 23 April 2010.
  13. ↑ Cited in Online research in philosophy Entries: http://philpapers.org/
  14. ↑ Cited in Encyclopaedia of Mathematics – ISBN   1-4020-0609-8
  15. ↑ Referenced in Algebraic homotopy
  16. 1 2 Cited in "Bibliography For Groupoids And Algebraic Topology" http://myyn.org/m/article/bibliography-for-groupoids-and-algebraic-topology/
  17. ↑ http://sz0009.ev.mail.comcast.net/service/home/~/Tracts_vol15.pdf?auth=co&loc=en_US&id=128480&part=2 and www.ems-ph.org : EMS Tracts in Mathematics, Vol. 15
  18. ↑ http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.6444 CiteSeerX accessed on 12/10/2010
  19. ↑ Review of "Nonabelian Algebraic Topology" at the nLab
  20. ↑ A Review of "Nonabelian Algebraic Topology" by Prof. J. Baez on June 6, 2009 http://golem.ph.utexas.edu/category/2009/06/nonabelian_algebraic_topology.html
  21. ↑ Addebook • Apr 22nd, 2009 • Category: Mathematics : Nonabelian Algebraic Topology http://www.addebook.com/tech2/mathematics/nonabelian-algebraic-topology_4164.html
  22. ↑ Cited on p. xi as a basic reference in "Non-abelian Theories" http://myyn.org/m/article/non-abelian-theories/
  23. ↑ [ALGTOP-L] available full draft of book on Nonabelian algebraic topology https://lists.lehigh.edu/pipermail/algtop-l/2009q2/000443.html
  24. ↑ Cited in "Towards Higher Categories" By John C. Baez and J. Peter May, Publisher: Springer Verlag, Published Date: 2009-10-01, ISBN   978-1-4419-1523-8 http://www.isbnlib.com/author/John_C__Baez
  25. ↑ Referenced in nonabelian cohomology at the nLab
  26. ↑ The higher Van Kampen Theorems and computation of the unstable homotopy groups of spheres and complex spaces https://mathoverflow.net/q/39818
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.