Viewing profile — lgdw

Having a hard time following the lower bound proof, especially this part: > By the definition of 𝑃𝑎 , we know there are at least as many programs in 𝑃𝑎 as there are artefacts i…

fifth one down.

I remember this being in a NACLO problem last year.

I'm not very familiar with physics, but if I recall correctly the electromagnetic force can be thought of as a Hopf fibration.

Although it would depend on what kind of fields of math you are interested in (algebra, analysis, topology, etc), I think that you can't really _go wrong_ per se by learning Catego…

Sorry, force of habit.

Yes, this textbook is a great introduction to point-set topology. I'm not very familiar with algebraic topology so I can't comment on anything regarding that. I did learn a fair bi…

I forgot to add that Algebra Chapter 0 takes a similar (albeit slightly different) approach of teaching Abstract Algebra in terms of Category Theory. I don't have a link right now …

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 intereste…

iirc it is just a mirror of libgen.

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. Bu…

It's the actual process of translating everything into boxes and arrows that's the core of ACT.

Yes, that's why I recommend starting out with 7 Sketches.

If anyone is interested in Applied Category Theory, definitely check out the Topos Institute in Berkeley [1]. They do weekly seminars that they post on youtube and a really intrigu…

Yes, it's this one! Thank you so much.

Very interesting but I think the original thread was at least a month ago.

There was a book that I think somebody mentioned a while ago in a comment on some post somewhere here but I lost the pdf link to it when I cleared my browser history. It was by a f…