[HN Gopher] Topology, a Categorical Approach ___________________________________________________________________ Topology, a Categorical Approach Author : ShoutAtTheDevil Score : 21 points Date : 2022-11-14 21:22 UTC (1 hours ago) (HTM) web link (topology.mitpress.mit.edu) (TXT) w3m dump (topology.mitpress.mit.edu) | jzelinskie wrote: | I don't understand the design decision of MIT Open Access for | splitting the chapters into separate PDFs. Is it because they | assign each section as a part of courseware? | | It's a bit annoying to merge them together and hope that any | hyperlinks (if they exist in the book) still work. | arolihas wrote: | There are available PDFs of the whole book with working links. | | http://library.lol/main/913E141A0E63103B31A049348478CE07 | samvher wrote: | Any idea if worked out exercises are available anywhere as | well? | jzelinskie wrote: | Thanks! library.lol looks useful; is it a libgen aggregator? | lgdw wrote: | iirc it is just a mirror of libgen. | lgdw wrote: | Great textbook, I learned all the topology I know from it. | Previously, Category Theory was taught as a field that connects | branches of math, and thus in terms of other concepts. But | recently there's a movement to view Category Theory as the | definitive underlying field of math (instead of set theory), and | teach different fields of math in terms of Category Theory rather | than vice versa (a new-new math in a sense). I learned Category | Theory well before learning abstract algebra and topology, and | the embedding of Topology in Category Theory was seamless and | intuitive; I feel as though this book proves that this new CT- | centric view of math education has merit. | | One of the authors, Tai-Danae Bradley, also runs math3ma [1] and | is a prominent figure in Applied Category Theory. I had the | pleasure of hearing her talk, and her way of explaining | abstractions is very easy to understand despite Category Theory | being fairly obtuse at times (looking at you, Mac Lane!) | | Also, an obligatory shilling of the Topos Institute [2]. They're | a research institution based in Berkeley, and they have weekly | talks on Category Theory that they release on youtube. If you're | interested in the categorification of mathematics, you need to | check them out. | | [1] https://www.math3ma.com/ | | [2] https://topos.site/ | bwestergard wrote: | "I learned Category Theory well before learning abstract | algebra and topology, and the embedding of Topology in Category | Theory was seamless and intuitive; I feel as though this book | proves that this new CT-centric view of math education has | merit." | | Could you tell us a bit more about your educational history and | motivations for studying these topics in this order? | lgdw wrote: | While I was in highschool I attended a lecture by David | Spivak on a whim and was fascinated by the field ever since. | Before really discovering Category Theory, I was more | interested in low-level computer architecture and design | (although I'm not very knowledgeable by any means) so I | didn't really encounter Category Theory through the means | that most Computer Science people do (FP, Haskell, etc). Once | I learned Category Theory I became more interested in other | fields of math. ___________________________________________________________________ (page generated 2022-11-14 23:00 UTC)