[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)