Thoughts on Zettelkasten numbering systems

I’ve seen variations of the beginner Zettelkasten question:

“What happens when you want to add a new note between notes 1/1 and 1/1a?”

asked at least a dozen times in the Reddit fora related to zettelkasten and note taking, on zettelkasten.de, or in other places across the web.

Dense Sets

From a mathematical perspective, these numbering or alpha-numeric systems are, by both intent and design, underpinned by the mathematical idea of dense sets. In the areas of topology and real analysis, one considers a set dense when one can choose a point as close as one likes to any other point. For both library cataloging systems and numbering schemes for ideas in Zettelkasten this means that you can always juxtapose one topic or idea in between any other two.

Part of the beauty of Melvil Dewey’s original Dewey Decimal System is that regardless of how many new topics and subtopics one wants to add to their system, one can always fit another new topic between existing ones ad infinitum.

Going back to the motivating question above, the equivalent question mathematically is “what number is between 0.11 and 0.111?” (Here we’ve converted the artificial “number” “a” to a 1 and removed the punctuation, which doesn’t create any issues and may help clarify the orderings a bit.) The answer is that there is an infinite number of numbers between these!

This is much more explicit by writing these numbers as:
0.110
0.111

Naturally 0.1101 is between them (along with an infinity of others), so one could start here as a means of inserting ideas this way if they liked. One either needs to count up sequentially (0, 1, 2, 3, …) or add additional place values.

Decimal numbering systems in practice

The problem most people face is that they’re not thinking of these numbers as decimals, but as natural numbers or integers (or broadly numbers without any decimal portions). Though of course in the realm of real numbers, numbers above 0 are dense as well, but require the use of their decimal portions to remain so.

The tough question is: what sorts of semantic meanings one might attach to their adding of additional place values or their alphabetical characters? This meaning can vary from person to person and system to system, so I won’t delve into it here.

One may find it useful to logically chunk these numbers into groups of three as is often done using commas, periods, slashes, dashes, spaces, or other punctuation. This doesn’t need to mean anything in particular, but may help to make one’s numbers more easily readable as well as usable for filing new ideas. Sometimes these indicators can be confusing in discussion, so if ever in doubt, simply remove them and the general principles mentioned here should still hold.

Depending on one’s note taking system, however, when putting cards into some semblance of a logical, sort-able order (perhaps within a folder for example), the system may choke on additional characters beyond the standard period to designate a decimal number. For example: within Obsidian, if you have a “zettelkasten” folder with lots of numbered and named files within it, you’ll want to give each number the maximum number of decimal places so that when doing an alphabetic sort within the folder, all of the numbered ideas are properly sorted. As an example if you give one file the name “0.510 Mathematics”, another “0.514 Topology” and a third “0.5141 Dense Sets” they may not sort properly unless you give the first two decimal expansions to the ten-thousands place at a minimum. If you changed them to “0.5100 Mathematics” and “0.5140 Topology, then you’re in good shape and the folder will alphabetically sort as you’d expect. Similarly some systems may or may not do well with including alphabetic characters mixed in with numbers.

If using chunked groups of three numbers, one might consider using the number 0.110.001 as the next level of idea between them and then continuing from there. This may help to spread some of the ideas out as surely one may have yet another idea to wedge in between 0.110.000 and 0.110.001?

One can naturally choose almost any any (decimal) number, so long as it is somewhat “near” the original behind which one places it. By going out further in the decimal expansion, one can always place any idea between two others and know that there will be a number that it can be given that will “work”.

Generally within numbers as we use them for mathematics, 0.100000001 is technically “closer” by distance measurement to 0.1 than 0.11, (and by quite a bit!), but somehow when using numbers for zettelkasten purposes, we tend to want to not consider them as decimals, as the Dewey Decimal System does. We also have the tendency to want to keep our numbers as short as possible when writing, so it seems more “natural” to follow 0.11 with 0.111, as it seems like we’re “counting up” rather than “counting down”.

Another subtlety that one sees in numbering systems is the proper or improper use of the whole numbers in front of the decimal portions. For example, in Niklas Luhmann’s system, he has a section of cards that start with 3.XXXX which are close to a section numbered 35.YYYY. This may seem a bit confusing, but he’s doing a bit of mental gymnastics to artificially keep his numbers smaller. What he really means is 3000.XXXX and 3500.YYYY respectively, he’s just truncating the extra zeros. Alternately in a fully “decimal system” one would write these as 0.3000.XXXX and 0.3500.YYYY, where we’ve added additional periods to the numbers to make them easier to read. Using our original example in an analog system, the user may have been using foreshortened indicators for their system and by writing 1/1a, they may have really meant something of the form 001.001/00a, but were making the number shorter in a logical manner (at least to them).

The close observer may have seen Scott Scheper adopt the slightly longer numbers in the thousands (like 3500.YYYY) as a means of remedying some of the numbering confusion many have when looking at Luhmann’s system.

Those who build their systems on top of existing ones like the Dewey Decimal Classification, or the Universal Decimal Classification may wish to keep those broad categories with three to four decimal places at the start and then add their own idea number underneath those levels.

As an example, we can use the numbering for Finsler geometry from the Dewey Decimal Classification wikipedia page shown as:

500 Natural sciences and mathematics
   510 Mathematics
      516 Geometry
         516.3 Analytic geometries
            516.37 Metric differential geometries
               516.375 Finsler geometry

So in our zettelkasten, we might add our first card on the topic of Finsler geometry as “516.375.001 Definition of Finsler geometry” and continue from there with some interesting theorems and proofs on those topics.

Don’t Waste Time on Complex Classification Systems

Of course, while this is something one can do doesn’t mean that one should do it. Going too far down the rabbit holes of “official” forms of classification this way can be a massive time wasting exercise as in most private systems, you’re never going to be comparing your individual ideas with the private zettelkasten of others and in practice the sort of standardizing work for classification this way is utterly useless. Beyond this, most personal zettelkasten are unique and idiosyncratic to the user, so for example, my math section labeled 510 may have a lot more overlap with history, anthropology, and sociology hiding within it compared with others who may have all of their mathematics hiding amidst their social sciences section starting with the number 300. One of the benefits of Luhmann’s ad hoc numbering scheme, at least for him, is that it allowed his system to be much more interdisciplinary than using a more complicated Dewey Decimal oriented system which may have dictated moving some of his systems theory work out of his politics area where it may have made more sense to him in addition to being more productive on a personal level.

Of course if you’re using the older sort of commonplacing zettelkasten system that was widely in use before Luhmann’s variation, then perhaps using a Dewey-based system may be helpful to you?

A Touch of History

As both a mathematician working in the early days of real analysis and a librarian, I wouldn’t be surprised if some of these loose ideas may have occurred tangentially to Gottfried Wilhelm Leibniz (1646 – 1716), though I’m currently unaware of any specific instances within his work. One must note, however, that some of the earliest work within library card catalogs as we know and use them today stemmed from 1770s Austria where governmental conscription needs overlapped with card cataloging systems (Krajewski, 2011). It’s here that the beginnings of these sorts of numbering systems begin to come into use well before Melvil Dewey’s later work which became much more broadly adopted.

The German “file number” (aktenzeichen) is a unique identification of a file, commonly used in their court system and predecessors as well as file numbers in public administration since at least 1934. We know Niklas Luhmann studied law at the University of Freiburg from 1946 to 1949, when he obtained a law degree, before beginning a career in Lüneburg’s public administration where he stayed in civil service until 1962. Given this fact, it’s very likely that Luhmann had in-depth experience with these sorts of file numbers as location identifiers for files and documents. As a result it’s reasonably likely that a simplified version of these were at least part of the inspiration for his own numbering system. [] []

Your own practice

At the end of the day, the numbering system you choose needs to work for you within the system you’re using (analog, digital, other). I would generally recommend against using someone else’s numbering system unless it completely makes sense to you and you’re able to quickly and simply add cards to your system with out the extra work and cognitive dissonance about what number you should give it. The more you simplify these small things, the easier and happier you’ll be with your set up in the end.

References

Krajewski, Markus. Paper Machines: About Cards & Catalogs, 1548-1929. Translated by Peter Krapp. History and Foundations of Information Science. MIT Press, 2011. https://mitpress.mit.edu/books/paper-machines.

Munkres, James R. Topology. 2nd ed. 1975. Reprint, Prentice-Hall, Inc., 1999.


Featured photo by Manson Yim on Unsplash

Differential Topology—Two quarter sequence at UCLA Extension for Fall/Winter 2021

It hasn’t been announced officially in the UCLA Extension catalog, but Dr. Mike Miller’s anticipated course topic for Fall 2021 is differential topology. The anticipated recommended text is Differential Topology: An Introduction by David B. Gauld (M. Dekker, 1982 or Dover, 1996 (reprint)).

The offering is naturally dependent on potential public health measures in September, which may also create a class limit on the number of attendees, so be sure to register as soon as it’s announced. For those who are interested in mathematics, but have never attended any of Dr. Miller’s lectures, I’ve previously written some details about his stye of presentation, prerequisites (usually very minimal despite the advanced level of the topics), and other details.

A few of us have already planned weekly Thursday night topology study sessions through the end of Spring and into Summer for those interested in attending. Just leave a comment with your contact information and I’ll be in touch with details.

I hope to see everyone in the fall.

Listened to Two Schools in Marin County by Kai Wright and Marianne McCune from The United States of Anxiety | WNYC Studios

Cover art for The United States of Anxiety Podcast

Last year, the California Attorney General held a tense press conference at a tiny elementary school in the one working class, black neighborhood of the mostly wealthy and white Marin County. His office had concluded that the local district "knowingly and intentionally" maintained a segregated school, violating the 14th amendment. He ordered them to fix it, but for local officials and families, the path forward remains unclear, as is the question: what does "equal protection" mean?

- Eric Foner is author of The Second Founding

Hosted by Kai Wright. Reported by Marianne McCune.

Thank you Kai and Marianne. Hearing stories like this really makes me furious that we haven’t figured out how to do these things better. Having some common stories and history to help bring out our commonness certainly helps in getting us past the uncomfortableness we all must feel. Perhaps once we’re past that we might all be able to come up with solutions?

I’m reminded of endothermic chemical reactions that take a reasonably high activation energy (an input cost), but one that is worth it in the end because it raises the level of all the participants to a better and higher level in the end. When are we going to realize that doing a little bit of hard work today will help us all out in the longer run? I’m hopeful that shows like this can act as a catalyst to lower the amount of energy that gets us all to a better place.

Example of an endothermic reaction. nigerianscholars.com / CC BY-SA

This Marin county example is interesting because it is so small and involves two schools. The real trouble comes in larger communities like Pasadena, where I live, which have much larger populations where the public schools are suffering while the dozens and dozens of private schools do far better. Most people probably don’t realize it, but we’re still suffering from the heavy effects of racism and busing from the early 1970’s.

All this makes me wonder if we could apply some math (topology and statistical mechanics perhaps) to these situations to calculate a measure of equity and equality for individual areas to find a maximum of some sort that would satisfy John Rawls’ veil of ignorance in better designing and planning our communities. Perhaps the difficulty may be in doing so for more broad and dense areas that have been financially gerrymandered for generations by redlining and other problems.

I can only think about how we’re killing ourselves as individuals and as a nation. The problem seems like individual choices for smoking and our long term health care outcomes or for individual consumption and its broader effects on global warming. We’re ignoring the global maximums we could be achieving (where everyone everywhere has improved lives) in the search for personal local maximums. Most of these things are not zero sum games, but sadly we feel like they must be and actively work against both our own and our collective best interests.

📅 Entropy 2018: From Physics to Information Sciences and Geometry

RSVPed Might be attending Entropy 2018: From Physics to Information Sciences and Geometry
14-16 May 2018; Auditorium Enric Casassas, Faculty of Chemistry, University of Barcelona, Barcelona, Spain

One of the most frequently used scientific words, is the word “Entropy”. The reason is that it is related to two main scientific domains: physics and information theory. Its origin goes back to the start of physics (thermodynamics), but since Shannon, it has become related to information theory. This conference is an opportunity to bring researchers of these two communities together and create a synergy. The main topics and sessions of the conference cover:

  • Physics: classical Thermodynamics and Quantum
  • Statistical physics and Bayesian computation
  • Geometrical science of information, topology and metrics
  • Maximum entropy principle and inference
  • Kullback and Bayes or information theory and Bayesian inference
  • Entropy in action (applications)

The inter-disciplinary nature of contributions from both theoretical and applied perspectives are very welcome, including papers addressing conceptual and methodological developments, as well as new applications of entropy and information theory.

All accepted papers will be published in the proceedings of the conference. A selection of invited and contributed talks presented during the conference will be invited to submit an extended version of their paper for a special issue of the open access Journal Entropy. 

Entropy 2018 Conference

Category Theory Anyone?

I’m putting together a study group for an introduction to category theory. Who wants to join me?

Usually in the Fall and Winter, I’m concentrating on studying some semblance of abstract mathematics with a group of 20-30 kamikaze amateurs under the apt tutelage of Dr. Michael Miller through UCLA Extension. Since he doesn’t offer any classes in the Spring or Summer and we haven’t managed to talk Terence Tao into offering something interesting à la Leonard Susskind, we’re all at a loss for what to do with some of our time.

A small cohort of regulars from Miller’s class has recently taken up plowing through Howard Georgi’s Lie Algebras and Particle Physics. Though this seems very diverting to me given our work on Lie groups and algebras in the Fall and Winter, I don’t see any direct or exciting applications to anything more immediate.

Why Not Try Category Theory?

Since the death of Grothendieck I have seen a growing number of references to the area of category theory from a variety of different fronts.

Most notably, for the past year I’ve been more closely following John Baez’s Azimuth Blog which has frequent posts relating to category theory with applications I can directly use in various areas. Unfortunately I couldn’t attend his recent workshop at NIMBioS on Information and Entropy in Biological Systems, which apparently means I missed meeting Tom Leinster who recently released the textbook Basic Category Theory (Cambridge University Press, 2014). [I was already never going to forgive myself after I missed the workshop, but this fact now seems to be additional salt in the wound.]

The straw that broke the proverbial camel’s back was my serendipitously stumbling across Ilyas Khan‘s excellent post “Category Theory – the bedrock of mathematics?” while doing a Google image search for something entirely unrelated to anything remotely similar to mathematics. His discussion and the breadth of links to interesting and intriguing papers and articles within it and several colleagues thanking me for posting about it have finally forced my hand. (I also find myself wishing that he would write on a more formal basis more frequently.)

So over the past week or so, I’ve done some basic subject area searching, and I’ve picked up David I. Spivak’s book Category Theory for the Sciences (The MIT Press, 2014) to begin plowing through it.

Anyone Care to Join Me?

If you’re going to get lost and confused in the high weeds, you may as well have company, right?

Chris Aldrich

 

Category Theory, Anyone?
Category Theory, Anyone?

Since doing abstract math is always more fun with companions, and I know there are several out there who might be interested in some of the areas which category theory touches on, why don’t you join in?  Over the coming months of Summer, let’s plot a course through the subject.  I’ll suggest Spivak’s book first as it seems to be one of the most basic as well as the broadest out there in terms of applications. (There are also free copies of versions available through arXiv and MIT.) It doesn’t have a huge list of prerequisites either, so a broader category of people might be able to join in as well.

We can have occasional weekly or bi-weekly “meetings” via internet using something like Google Hangouts, Skype, or ooVoo to discuss problems and help each other out as necessary.  Ideally those who join will spend at least 3 hours a week, if not more reading the text and working through problems. Following Spivak, we might try dipping into Leinster, Awody, or Mac Lane.

 

 

From the author of Category Theory for the Sciences:

This book is designed to be read by scientists and other people. It has very few mathematical prerequisites; for example, it doesn’t require calculus, linear algebra, or statistics. It starts by reintroducing the basics: What is a set? What is a function between sets?

That said, having a teacher or resident expert will be very helpful. Category theory is a “paradigm shift”—it’s a new way of looking at things. If you progress past the first few chapters, you’ll see that it’s a language for having very big thoughts and making unusually deep analogies.

To make real progress in this book (unless you’re used to reading university-level math books on your own) it will be useful to periodically check your understanding with someone who has some training in the subject. Seek out a math grad student or even a Haskell expert to help you. A growing number of people are learning basic category theory.

In order to really learn this material, a formal teacher or a professor would be best. Encourage your local university math department to offer a course in Category Theory for the Sciences. I can recommend this in good faith, because I went to special efforts to make this book available for free online. An old version of the book exists on the math arXiv, and a new MIT Press-edited version exists in HTML form on their website (see URLs below). That said, the print version, available here on Amazon and elsewhere, is much easier to read, if you want to get serious and you can afford it.

This book contains about 300 exercises and solutions. For those who wish to teach a course in the subject, there are 193 additional exercises and solutions behind a professors-only wall on the MIT Press website (see URL below). You simply have to request access.

To everyone: I hope you enjoy the book, and get a lot out of it!

Old version: arxiv.org/abs/1302.6946
HTML version: mitpress.mit.edu/books/category-theory-sciences

David Spivak, mathematician
in Description of Category Theory for the Sciences on Amazon.com

 

References

Awody, Steve. Category Theory (Oxford Logic Guides, #52). (Oxford University Press, 2nd Edition, 2010)

Lawvere, F. William & Schanuel, Stephen H. Conceptual Mathematics: A First Introduction to Categories. (Cambridge University Press, 2nd Edition, 2009)

Leinster, Tom. Basic Category Theory (Cambridge Studies in Advanced Mathematics, #143). (Cambridge University Press, 2014)

Mac Lane, Saunders. Categories for the Working Mathematician (Graduate Texts in Mathematics, #5). (Springer, 2nd Edition, 1998)

Spivak, David I. Category Theory for the Sciences. (The MIT Press, 2014)

 

Why write a new textbook on Category Theory, when we already have Mac Lane’s ‘Categories for the Working Mathematician’? Simply put, because Mac Lane’s book is for the working (and aspiring) mathematician. What is needed now, after 30 years of spreading into various other disciplines and places in the curriculum, is a book for everyone else.

Steve Awody, mathematician
on page iv of Category Theory (Oxford Logic Guides, #52). (Oxford University Press, 2nd Edition, 2010)

If you’d like to join us, please leave a comment below and be sure to include your email address in the comment form so we can touch base regarding details.

Category Theory – the bedrock of mathematics? via Ilyas Khan | LinkedIn

Bookmarked Category Theory - the bedrock of mathematics ? by Ilyas KhanIlyas Khan (LinkedIn Pulse)
Category theory looks set to become the dominant foundational basis for all mathematics. It could, in fact, already have achieved that status through stealth.

Beauty, even in Maths, can exist in the eye of the beholder. That might sound a little surprising, when, after all, what could be more objective than mathematics when thinking about truth, and what, therefore, could be more natural than for beauty and goodness, the twin accomplices to truth, to be co-joined ?

In the 70 odd years since Samuel Eilenberg and Saunders Mac Lane published their now infamous paper “A General Theory of Natural Equivalences“, the pursuit of maths by professionals (I use here the reference point definition of Michael Harris – see his recent publication “Mathematics without Apologies“) has become ever more specialised. I, for one, don’t doubt cross disciplinary excellence is alive and sometimes robustly so, but the industrially specialised silos that now create, produce and then sustain academic tenure are formidable within the community of mathematicians.

Beauty, in the purest sense, does not need to be captured in a definition but recognised through intuition. Whether we take our inspiration from Hardy or Dirac, or whether we experience a gorgeous thrill when encountering an austere proof that may have been confronted thousands of times before, the confluence of simplicity and beauty in maths may well be one of the few remaining places where the commonality of the “eye” across a spectrum of different beholders remains at its strongest.

Neither Eilenberg nor Mac Lane could have thought that Category theory, which was their attempt to link topology and algebra, would become so pervasive or so foundational in its influence when they completed and submitted their paper in those dark days of WW 2. But then neither could Cantor, have dreamt about his work on Set theory being adopted as the central pillar of “modern” mathematics so soon after his death. Under attack from establishment figures such as Kronecker during his lifetime, Cantor would not have believed that set theory would become the central edifice around which so much would be constructed.

Of course that is exactly what has happened. Set theory and the ascending magnitude of infinities that were unleashed through the crack in the door that was represented by Cantor’s diagonal conquered all before them.

Until now, that is.

In an article in Science News, Julie Rehmeyer describes Category Theory as “perhaps the most abstract area of all mathematics” and “where math is the abstraction of the real world, category theory is an abstraction of mathematics”.

Slowly, without fanfare, and with an alliance built with the emergent post transistor age discipline of computer science, Category theory looks set to become the dominant foundational basis for all mathematics. It could, in fact, already have achieved that status through stealth. After all, if sets are merely an example of a category, they become suborned without question or query. One might even use the description ‘subsumed’.

There is, in parallel, a wide ranging discussion in mathematics about the so called Univalent Foundation that is most widely associated with Voevodsky which is not the same. The text book produced for the year long univalence programme iniated at the IAS that was completed in 2013 Homotopy type theory – Univalent Foundations Programme states:

“The univalence ax-iom implies, in particular, that isomorphic structures can be identified, a principle that mathematicians have been happily using on workdays, despite its incompatibility with the “official”doctrines of conventional foundations..”

before going on to present the revelatory exposition that Univalent Foundations are the real unifying binding agent around mathematics.

I prefer to think of Voevodsky’s agenda as being narrower in many crucial respects than Category Theory, although both owe a huge amount to the over-arching reach of computational advances made through the mechanical aid proffered through the development of computers, particularly if one shares Voevodsky’s view that proofs will eventually have to be subject to mechanical confirmation.

In contrast, the journey, post Russell, for type theory based clarificatory approaches to formal logic continues in various ways, but Category theory brings a unifying effort to the whole of mathematics that had to wait almost two decades after Eilenberg and Mac Lane’s paper when a then virtually unknown mathematician, William Lawvere published his now much vaunted “An Elementary Theory of the Category of Sets” in 1964. This paper, and the revolutionary work of Grothendieck (see below) brought about a depth and breadth of work which created the environment from which Category Theory emerged through the subsequent decades until the early 2000’s.

Lawvere’s work has, at times, been seen as an attempt to simply re-work set theory in Category theoretic terms. This limitation is no longer prevalent, indeed the most recent biographical reviews of Grothendieck, following his death, assume that the unificatory expedient that is the essential feature of Category theory (and I should say here not just ETCS) is taken for granted, axiomatic, even. Grothendieck eventually went much further than defining Category theory in set theoretic terms, with both Algebraic Topology and Mathematical Physics being fields that now could not be approached without a foundational setting that is Category theory. The early language and notation of Category Theory where categories ‘C’ are described essentially as sets whose members satisfy the conditions of composition, morphism and identity eventually gave way post Lawvere and then Lambek to a systematic adoption of the approach we now see where any and all deductive systems can be turned into categories. Most standard histories give due credit to Eilenberg and Mac Lane as well as Lawvere (and sometimes Cartan), but it is Grothendieck’s ‘Sur quelques points d’algebre homologique’ in 1957 that is now seen as the real ground breaker.

My own pathway to Category theory has been via my interest in Lie Groups, and more broadly, in Quantum Computing, and it was only by accident (the best things really are those that come about by accident !) that I decided I had better learn the language of Category theory when I found Lawvere’s paper misleadingly familiar but annoyingly distant when, in common with most people, I assumed that my working knowledge of notation in logic and in set theory would map smoothly across to Category theory. That, of course, is not the case, and it was only after I gained some grounding in this new language that I realised just how and why Category theory has an impact far beyond computer science. It is this journey that also brings me face to face with a growing appreciation of the natural intersection between Category theory and a Wittgensteinian approach to the Philosophy of Mathematics. Wittgenstein’s disdain for Cantor is well documented (this short note is not an attempt to justify, using Category theory, a Wittgensteinian criticism of set theory). More specifically however, it was Abramsky and Coecke’s “Categorical Quantum Mechanics” that helped me to discern more carefully the links between Category Theory and Quantum Computing. They describe Category Theory as the ‘language of modern structural mathematics’ and use it as the tool for building a mathematical representation of quantum processes, and their paper is a thought provoking nudge in the ribs for anyone who is trying to make sense of the current noise that surrounds Quantum mechanics.

Awodey and Spivak are the two most impressive contemporary mathematicians currently working on Category Theory in my view, and whilst it is asking for trouble to choose one or two selected works as exemplars of their approach, I would have to say that Spivak’s book on Category Theory for the Sciences is the standout work of recent times  (incidentally the section in this book on ‘aspects’ bears close scrutiny with Wittgenstein’s well known work on ‘family resemblances’).

Awodey’s 2003 paper is as good a recent balance between a mathematical and philosophical exposition of the importance of category theory as exists  whilst his textbook is often referred to as the standard entry point for working mathematicians.

Going back to beauty, which is how I started this short note. Barry Mazur wrote an article in memory of Saunders Mac Lane titled ‘When is one thing equal to another‘ which is a gem of rare beauty, and the actual catalyst for this short note. If you read only one document in the links from this article, then I hope it is Mazur’s paper.

Baum’s Point Set Topology

Commenting only after reading to page 11, but having skimmed some other parts/sections, it’s a nice and condensed volume with most of the standard material on point set topology. It reads somewhat breezily, is well laid out, and isn’t bogged down with all the technicalities which those who haven’t seen any of this material before might have interest in. It seems better for those with some experience in axiomatic mathematics (I’ve always enjoyed Robert Ash’s A Primer of Abstract Mathematics for much of this material), but in my mind isn’t as clear or as thorough as James Munkres’ Topology, which I find in general to be a much better book, particularly for the self-learning crowd. The early problems and exercises are quite easy.

Given it’s 1964 publication date, most of the notation is fairly standard from a modern perspective and it was probably a bit ahead of it’s time from a pedagogical viewpoint.