Category Theory: An Introduction to Abstract Nonsense

Поділитися
Вставка
  • Опубліковано 22 гру 2024

КОМЕНТАРІ • 205

  • @arisweedler4703
    @arisweedler4703 Рік тому +102

    This is an incredible video. I am a programmer and I fell into a category theory rabbit hole a while back when trying to fully grok what a monad is. I get that now, but I got bit by the category theory bug.
    It should be no surprise that, as a programmer, I just enjoy learning about a combination of novel ways to abstract and build the most powerful building blocks - so every problem becomes a familiar or common one. Category theory is just… fun to have as a mental model. I’ve really enjoyed a series by Bartosz Milewski, but it helps to take a step back every once in a while. Also it helps to have the ability to give an intro to this stuff without sharing a 10 hour playlist.
    This is the most coherent overall explanation I have seen to date, and I think only a small percent of the content went over my head (my background in math mostly ends after college level calculus/discrete math/some linear algebra, and then a TON of pop-math youtube videos: 3b1b, mathologer, reducible, numberphile, etc.).
    Wanted to say - thanks for creating this! I enjoyed it a lot :)

    • @cristianolopes3750
      @cristianolopes3750 Рік тому +4

      3B1B Is it a good channel?

    • @aug3842
      @aug3842 Рік тому

      @@cristianolopes37503blue1brown is a great youtube channel

    • @unfulfilling_entertainer
      @unfulfilling_entertainer 7 місяців тому +3

      Dude same! I’m reading (or at least trying to) a book called Category Theory for Programmers and now I got delusional and wanna do pure maths lol

    • @Kveldred
      @Kveldred 6 місяців тому +4

      ​@@unfulfilling_entertainer lmao what is it about this stuff? same effin' thing happened to me - never gave much of a damn about math outside of "what immediate practical goal is served by learning this?"...
      ...and now I'm all like "hey maybe I should go back and major in pure abstraction!"

    • @FamilyYoutubeTV-x6d
      @FamilyYoutubeTV-x6d 2 місяці тому +2

      @@Kveldred I think there is something about finding abstract relations between things ("the black box"), and, the hope or desire or wish or thought or expectation that, with sufficient efforts, we and only we, may be able to learn what these relations are, and use them for our benefit. It comes from an interesting place of an interface between ego and abstraction and curiosity. That's how I ultimately realized where my passion for these abstract topics came from. Interestingly, once you get a basic grasp of these subjects or topics, problems in your own domain of expertise may become more tractable, interestingly without even relying on category theory, which is where the black box paradox hits back, which is somewhat mystical and amazing altogether. Did that make sense? :p

  • @mr.champion7304
    @mr.champion7304 Рік тому +23

    0:54 There's another version of this map that I saw which reflects that very idea. It replaces the "coast of category theory" with the "coast of universal algebra", and promotes category theory to a "moon", with the intent that the moon creates the waves in the ocean of logic

    • @OnTheThirdDay
      @OnTheThirdDay Рік тому +1

      "And here's the chalkboard. This is the ladel by which we drink from the fountain of knowledge."
      - Spongebob

  • @feynmanschicken
    @feynmanschicken  2 роки тому +31

    9:40 correction: Universal Property of Quotients requires ker(f) to contain ker(pi)

    • @stv3qbhxjnmmqbw835
      @stv3qbhxjnmmqbw835 3 місяці тому

      But can you answer, "why did the chicken cross the road?" ?

  • @TepsiMorphic
    @TepsiMorphic Рік тому +139

    Please make more high level math videos. They are in demand! Your content is amazing!

    • @gwh0
      @gwh0 Рік тому

      Read the subtitle: "Abstract Nonsense".

    • @TepsiMorphic
      @TepsiMorphic Рік тому +2

      @@gwh0 what do you mean?

    • @pedrogouveia4326
      @pedrogouveia4326 Рік тому

      @@TepsiMorphic he means nonsense

    • @TepsiMorphic
      @TepsiMorphic Рік тому +2

      @@pedrogouveia4326 oh really? Thank you! I didn't know that.
      I mean what does he mean with the abstract nonsense. Is he calling category theory abstract nonsense and that's why we don't see more of it? Because this is kind of ignorant.

    • @thevolatilitysmile
      @thevolatilitysmile Рік тому +2

      ​@@TepsiMorphic no it is not nonsense, what Pedro says is nonsense. "Labeling an argument "abstract nonsense" is usually not intended to be derogatory,[1][2] and is instead used jokingly,[3] in a self-deprecating way,[4] affectionately,[5] or even as a compliment to the generality of the argument."

  • @nestorv7627
    @nestorv7627 Рік тому +279

    I finally understand why category theory is nonsense. Thanks

    • @thadtheman3751
      @thadtheman3751 Рік тому +23

      It's not just nonsense, it's abstract so it's abstract nonsense.

    • @UdacznikDuchowy
      @UdacznikDuchowy Рік тому +6

      That is why we love category theory!

    • @evan7391
      @evan7391 19 днів тому

      It's non-sense

  • @Ali-l7m6k
    @Ali-l7m6k 23 дні тому +1

    This video changed my academic path.

  • @raka9403
    @raka9403 Рік тому +30

    this is the best introductory video on CT in youtube, it goes a little deeper still being fun to watch

  • @notsojharedtroll23
    @notsojharedtroll23 Рік тому +31

    That is a nice reference referring to the domain of algebras as the "caliphate". Al Juarismi would be proud.

  • @bissbort
    @bissbort Рік тому +2

    This is the most underrated channel I've seen for a while. Keep up the great work!

  • @MultiAblee
    @MultiAblee Рік тому +18

    I am currently doing my masters in pure math and I have a bunch of algebraic topology etc under my belt and I have to say. I love that this was high level and at the same time approachable. Would love a deeper dive into more Category Theory or matter of fact any other higher level concepts in the future!

  • @Quince751
    @Quince751 10 місяців тому +1

    Thank you for time and energy spending to explain complicated ideas in a simple languave.

  • @Hans_Magnusson
    @Hans_Magnusson Рік тому +1

    0:50 this is my way of approaching the world. I am a top down guy. This is why I appreciate this clip as an introduction. I get the high level stuff and could just drill into the details.
    My natural inclination is to sort and sieve details to get the generalizations!
    😃

    • @Hans_Magnusson
      @Hans_Magnusson Рік тому

      So obviously I am right now putting in the details into this generalization!

  • @shoam2103
    @shoam2103 Рік тому +2

    3:20 ".. Isomorphism, which is exactly what you think it is.."
    If I didn't know exactly what it was, I don't think I'd have any understanding of it. Is a bijection exactly what you'd think it is?

  • @alessandrobertulli425
    @alessandrobertulli425 Рік тому +43

    I can clearly see you put a lot of effort in this group, and the result can be seen (tho I couldn't understand everything, given my layman's math background). Great work, thanks!

  • @madlarch
    @madlarch Рік тому +1

    Wow - from basic definitions to functors and natural transformations and on to infinity categories in less than 10 minutes! Quite remarkable. Really hope you choose to make more videos, because this was one of the best introductions to CT that I have come across!

  • @LolSumor
    @LolSumor Рік тому +34

    I understood next to nothing, but this was a fun and entertaining to watch.

  • @snk-js
    @snk-js Рік тому +17

    as a developer and after watching this and other videos about category theory many times, I just end up in a conclusion that this is just consistent and composable way of programming and defining entities that could be used to create strongly-typed-well-defined systems

    • @liquidcode1704
      @liquidcode1704 Рік тому +17

      a monad is a monoid in the category of endofunctors

    • @kumoyuki
      @kumoyuki Рік тому +4

      exactly so. Once you realize that programs are proofs of the theorems inherent in the types of the functions that define them, the role of category theory is almost obvious. The interesting thing is that programming is almost entirely concerned with constructive proofs, but as Feynman's Chicken mentions, category theoretical proofs tend to be non-constructive. That probably says something about which programs can be written leading usto another version of Goedel's incompleteness, I'm sure

    • @snk-js
      @snk-js Рік тому +2

      ​@@kumoyuki what do you mean by new versions of Goedel's incompleteness? I understand this as to: the translation between non-constructive typing to constructive and thus applied to a Turing machine, like if it is something that went out from the deepest darkness of abstraction realm to the highest enlightened surface of practical applicability. I think Goedel's debate is trivial for this debate unless you can explain yourself, because before we even touch on the problems of mathematics itself we must think on the law of excluded middle or the axiom of choice on these translations.

    • @kumoyuki
      @kumoyuki Рік тому

      @@snk-js I was hardly being rigorous, but if you will take that as a given. Goedel's incompleteness is fundamentally a problem with self-reference - it is echoed in lots of places from Quine's paradox to the halting problem, including numerous other sub-problems along the way (IIRC, Chaitin discovered a variation regarding the construction of the irrational numbers). Category theory provides a deep mechanism of self-reference for all of mathematics, and computing is sufficiently general that it has similarly self-referential power. Interestingly, type systems generally need to place some restrictions on self-reference and/or provide operators for some of the most common self-referencing operations (the Y combinator &cet)> It seems relatively obvious to me that a constructive proof (e.g. a program) of a category-theoretic version of Quine's paradox ought to be possible to construct, leading to yet another incompleteness theorem.
      Of course, none of this has had any rigor applied to it, we're just having a bit of fun in the comments of a YT video. But it seems likely to me. YMMV, of course

    • @TopeshMitter
      @TopeshMitter 18 днів тому

      ​@@snk-js are you an Indian??

  • @universallanguageproject
    @universallanguageproject Рік тому

    I love how you've been able to do such a comprehensive video on category theory with so much content. Such an awesome job. Fantastic!

  • @snk-js
    @snk-js Рік тому

    is a new way of speaking mathematics in high level, humanity needed this for sake

  • @haseebasif100
    @haseebasif100 Рік тому

    This is the best video I have ever seen on mathematics. Absolutely gorgeous. If i had money I wouldve comtributed

  • @rommalb
    @rommalb Місяць тому

    I absolutely loved this introduction! You explained it really well, great job!

  • @raheem2845
    @raheem2845 Рік тому +2

    Very fundamental , great Motivations
    Extremely well simplified.
    Worth keeping the work up for sure

  • @Duskull666
    @Duskull666 Рік тому +19

    I really loved the map of mathematics at the beginning

  • @scollyer.tuition
    @scollyer.tuition Рік тому +4

    Knowing nothing about category theory, I found this rather more useful than other videos I have seen on the topic.
    The idea of a functor makes me wonder if we can use its functorial properties to "transfer" a proof about objects in one category to objects in another e.g. maybe we can prove something about groups then use the fact that a functor exists from the Grp to Rng categories to immediately show that an analogous proof works for rings? Or am I hopelessly confused?

    • @thadtheman3751
      @thadtheman3751 Рік тому

      In part of category theory initially came from homotopy theory. In homotopy theory you construct groups on a topological space. The simplest example of a homotoy group, is the set of continuous curves that begin and end a fix point on the space. You say two curves are identical if they can be be continuously deformed into each other.
      You add curves by running along one and then running along the other curve. You make the inverse of a curve by rouning around the curve in the other direction. These cirves form a group. You can show that if you have a continuous function between topological spaces you have a homomorphism between their homotopy groups. SO you can prove that a continuous function between two space cannot exist if you can show that any of their homotopy groups are not homomorphic.

  • @SimGunther
    @SimGunther Рік тому +5

    Hope this doesn't come true, but the idea that you'd "make only ONE awesome video on the channel and choose not to elaborate on it" would be sour because you have such awesome potential for 1M+ subs!

  • @eternaldoorman5228
    @eternaldoorman5228 Рік тому +1

    10:10 A category theorist is someone who can say "such that the diagram cmmutes" and seriously believe that this does not need any further explanation whatsoever.

  • @meccamiles7816
    @meccamiles7816 Рік тому +1

    The caliphate of algebra.... beautiful piece of rhetoric, particularly given the historical genesis of algebra :)

  • @michaelkeys4303
    @michaelkeys4303 3 місяці тому +1

    Thanks for this superb overview. Do you have the time or energy to upload any other great material? I would be very excited to watch any intricate mathematical material that you wish to explain or explore.
    Cheers 👍👍👍
    Tony from Zurich

  • @domenickriggio684
    @domenickriggio684 Рік тому +11

    Great first video, excited to see more!

  • @Alan-zf2tt
    @Alan-zf2tt Рік тому

    Profound! And some reflections: ...
    abstract algebra by nature is -emm- abstract so easily lends itself to transformations by "changing the labels of like things"?
    algebraists look for standards between mathematical things?
    Mathematical things depend a lot on labels applied to them and so remain consistent when labels are changed?
    analysts on the other hand seem to be drawn to things of inconsistency especially when analysis gives explanation for the inconsistencies? And at this point attract research funding because pointwise events do not readily lend themselves to generalities until those generalities are identified or reduced by a new analytical definition of some sort
    I agree there is a horribly magnificent something living in math that seems to show a rainbow effect: the closer one approaches the more rapidly the rainbow disappears or re-locates
    Q: Is Category Theory the way to go?
    A: hell yeah! It seems a very good way to go
    Excellent work!

  • @briannewman9285
    @briannewman9285 Рік тому

    I'm trying to awlf-study this stuff so that I can, later, try to apply it to cliodynamics, behavioral economics, quantitative finance, and economic anthropology. But, so far, I've found Category Theory HARD. Your video helped me understand it better. I hope that you keep making these sorts of videos.

  • @frankg7786
    @frankg7786 Рік тому +1

    Everytime I feel somewhat self confident I like to watch videos like these to feel dumb again

  • @zermelos
    @zermelos Рік тому

    Just wanting to let you know that you did an amazing job making this video! Thank you!

  • @laurenaeva1184
    @laurenaeva1184 Рік тому

    This is such an incredible and well made video! Thank you for a wonderful introduction

  • @xyzct
    @xyzct Рік тому +8

    Mathematics is the art of abstraction. Category theory is merely abstraction about abstraction.

  • @qftymasfisicateorica.2811
    @qftymasfisicateorica.2811 Рік тому

    Thanks, probably this is the best video in wich can undestand category rheory

  • @JayVal90
    @JayVal90 Рік тому +3

    While a screwdriver is a very useful tool to carry but not useful as a sandwich maker, a pocketknife can be used as both a screwdriver and a sandwich maker. Therefore...

  • @jacobparasite
    @jacobparasite Рік тому +4

    Did you make the map! :O can we get prints of it??

  • @prajitrajadhikari9548
    @prajitrajadhikari9548 28 днів тому

    Love the storytelling themic explanation!

  • @leftfootfirstpolitics
    @leftfootfirstpolitics Рік тому +2

    Ah, yes. Very interesting. I understood some of those words.

  • @subhrayanbarman1654
    @subhrayanbarman1654 Рік тому +3

    Well that went over my head.

  • @vinvic1578
    @vinvic1578 Рік тому +5

    Are you planning on making more videos ?

    • @feynmanschicken
      @feynmanschicken  Рік тому +13

      Yes! More videos are on the way : )

    • @vinvic1578
      @vinvic1578 Рік тому +1

      @@feynmanschicken great ! Thank you :)

  • @phenixorbitall3917
    @phenixorbitall3917 11 місяців тому

    Very interesting! Especially the last slide... I wonder... Does every mathematician has to understand category theory?

  • @Hans_Magnusson
    @Hans_Magnusson Рік тому

    6:36 up to this point it actually was a very good explanation.
    Quite a bit easier than reading it in formal language in any language, but especially challenging in French language!
    👍

  • @rosebohrer4899
    @rosebohrer4899 2 роки тому +15

    (Commenting here instead of by email *for the algorithm*)
    Great explanation! This would be a perfect resource to send to students who want a first primer on category theory. Some thoughts/reactions:
    1) Duck good
    2) I find it interesting that you describe a lot of category theory proofs as non-constructive, since in my area category-theoretic approaches are most popular among constructivists. Perhaps the difference is that if you're working at the foundational level, then high-level properties (like the functorial property you mentioned) become constructive - they have proofs, and you use these properties as lemmas
    3) Though the limitation you cited isn't necessarily wrong (categories are complicated and you don't always need complicated things), my more fundamental criticism would tie back to the "universal properties" section. Category theory reflects the same formalist underpinnings as logic, which is intimately tied to the formalist/structuralist schools of philsophy (the Modernists that post-modernism rebelled against). Those schools of philosophies draw universal conclusions about humanity, which are consistently the conclusions of the most privileged class, used to erase the rest of us. Though I wouldn't jump to immediately calling category theory a colonizer, the limitations of universalism show up clearly in both cases: so much of what makes each topic interesting is its particulars, which do not fall out of the universals.

    • @feynmanschicken
      @feynmanschicken  Рік тому +7

      Duck good! Yeah most of the proofs I encountered (in algebra) are non-constructive but I'm definitely interested in exploring the constructive ones. And although I did see lots of discussions on philosophy & category theory, I haven't seen the criticisms on universality yet - I wonder if there is a post-modern interpretation on category theory : )

    • @a-guess-at-the-riddle
      @a-guess-at-the-riddle Рік тому +11

      Re. #3 What on earth?

    • @abj136
      @abj136 Рік тому +11

      @@a-guess-at-the-riddle postmodernist social theory claims everything is a power game, including math. The claim is wrong, but it’s influencing thought greatly.

    • @decaydjk8922
      @decaydjk8922 Рік тому +5

      @@abj136 "The claim is wrong" as asserted by someone who doesn't know either mathematics or social theory

    • @aaAa-vq1bd
      @aaAa-vq1bd Рік тому

      @@abj136 that’s.. true. but their critique of universalism isn’t wrong for those reasons per se. although so many of these tendencies: critiquing universalism, foundationalism, and the general postmodernist preoccupation with power (or “the will to power”) as an ideal category with no actual basis (I know you mathematicians like ideals and categories but here this is a pejorative) come straight from Nietzsche. A grade-A piece of shit

  • @beatn2473
    @beatn2473 Рік тому

    12:20: how can GL_n(R) have a fundamental group at all as it is not even path connected ? Shouldn't it be over C?

  • @stevenwilson5556
    @stevenwilson5556 Рік тому +1

    I definitely like the top-level view but I think some videos showing examples of some of this stuff would be helpful.

  • @antondovydaitis2261
    @antondovydaitis2261 Рік тому +2

    Wow.
    I haven't looked at Category Theory for decades. I actually felt nostalgic.
    Thank you.
    I got into a mix of programing and teaching, and never applied category theory outside of class.

  • @arsicjovan9171
    @arsicjovan9171 Рік тому +1

    Did anybody recognise the map from Zogg from Betelgeuce?

  • @jpphoton
    @jpphoton Місяць тому

    wow but definitely LOVE you for the succint based no fluff synopsis. damn.

  • @tyalsvarrr
    @tyalsvarrr Рік тому

    Great video! The theme style is also very compatible with maths. I hope you'll make more videos.

  • @keithpeterson4005
    @keithpeterson4005 Рік тому +3

    Nice! I'm so happy to see this subject grow in popularity.

  • @harelkariv1477
    @harelkariv1477 Рік тому +5

    I need more videos from this channel, this content is amazing

  • @strangeWaters
    @strangeWaters Рік тому +1

    I like category theory but I'm always annoyed that it doesn't have a built-in way to talk about multivalued or partial functions. For this reason my favorite (bi-)category is (Sets, Relations, Inclusions). It has a number of lovely properties: for instance, its monads are transitive relations, and its adjunctions are functions. Sadly I don't know of any elementary introductions to it, maybe I should write one.

  • @scythe2591
    @scythe2591 3 місяці тому

    Where can we find this first illustration (math-world map)

  • @burgerxxl6115
    @burgerxxl6115 Рік тому +5

    Fantastic video, I love it! It’s very fun to watch but still contains a lot of information. Well done!

  • @bengobler
    @bengobler 2 роки тому +9

    Fantastic! I love this video!

  • @av3stube480
    @av3stube480 Рік тому +1

    Wow. I can comprehend the words, but their meanings? That's another story.

  • @stevenwilson5556
    @stevenwilson5556 Рік тому

    I understood a fair bit of this but there were bits where I got lost. I need to study some of the underlying math for some of these areas.

  • @havenbastion
    @havenbastion Рік тому

    Logic is relationships that always replicate, regardless of what they're used for, regardless if they're precise enough to do math on.

    • @havenbastion
      @havenbastion Рік тому

      Math is a sub-set of logic dealing exclusively with relationships of quantity, regardless of what it's applied to.

  • @imnimbusy2885
    @imnimbusy2885 Рік тому

    Feynmann’s Chicken? Schrödinger’s cat? We need more Mathematical Animal Mascots!

  • @axelperezmachado3500
    @axelperezmachado3500 Рік тому +3

    I understood nothing and I loved it. I need to learn this now. Amazing video.

  • @ranro7371
    @ranro7371 Рік тому

    Need to be x3 the length. What's the rush ?

  • @WayOfTheCode
    @WayOfTheCode Рік тому

    One more great channel

  • @viacheslavprokopev8192
    @viacheslavprokopev8192 Рік тому +3

    Thank you, this is fun

  • @brunaschulz_
    @brunaschulz_ Рік тому

    Hello, does anyone have a step-by-step reference to understand the group object?

    • @Hans_Magnusson
      @Hans_Magnusson Рік тому

      There’s lots of papers on the internet Google group theory

  • @dagadagahonchannel
    @dagadagahonchannel Рік тому +5

    Great sharing again sir.

  • @tantzer6113
    @tantzer6113 Рік тому

    “Composition makes sense for morphisms, that is ….” Is that not an automatic consequence of the definition of f o g ?

  • @CamEron-nj5qy
    @CamEron-nj5qy Рік тому +1

    "Abstract Nonsense" is fitting

  • @orangeninjaMR
    @orangeninjaMR Рік тому

    It's not non-constructive, it's just less explicit. "Non-constructive" has a specific meaning in the foundations of math, referring to principles which provide objects whose specific values cannot be determined (such that those objects may fail to exist in settings where those principles are not valid); examples of these are proofs by contradiction or using the axiom of choice. This is different from abstracting away irrelevant details; the proof that the fundamental group of a topological group is abelian doesn't rely on any non-constructive principle.

    • @kumoyuki
      @kumoyuki Рік тому

      I confess that I took the assertion about non-constructive proofs at face value, assuming that category theoretical proofs would mostly be non-constructive seems natural to me given the very limited structure available. Full disclosure: my PhD thesis foundered on a categorical proof that was obvious to me but non-obvious to my adviser, so I may not be the right person to come to such a conclusion

  • @yash1152
    @yash1152 Рік тому

    how do category theory & grp theory relate to each other?

  • @mikeCavalle
    @mikeCavalle Рік тому

    Dense clear and concise. thank you.

  • @moonshine7753
    @moonshine7753 Рік тому +4

    I see now why category theorists are hated so much, thank you!

  • @Hans_Magnusson
    @Hans_Magnusson Рік тому

    14:44 agree on the screwdriver 😂😂😂
    That also means that you should not spend too much time figuring out how to make a screwdriver…
    Especially if you are making a sandwich 🥪 😂😂😂
    Thank you for for that one 😂😂😂
    Next time I do my screwdriver analogy!
    😂😂😂

  • @justanormalyoutubeuser3868
    @justanormalyoutubeuser3868 Рік тому +3

    Loved the map, it's full of detail.

  • @zyaicob
    @zyaicob 10 місяців тому

    If Algebra is a caliphate does that mean Al-Jabr was the first caliph?

  • @WWLinkMasterX
    @WWLinkMasterX Рік тому

    5:19 - You meant to say "functors" instead of "morphisms," right?

  • @mishmohd
    @mishmohd Рік тому

    I need that map please

  • @ewwseww
    @ewwseww Рік тому

    Would you let me know
    which program did you use for the slide,
    where did you get the skin?
    Those are my things!

  • @alextrebek5237
    @alextrebek5237 Рік тому

    Please make more videos!!!

  • @Kveldrunari
    @Kveldrunari Рік тому

    Love this video. Please make more! :)

  • @theproofessayist8441
    @theproofessayist8441 Рік тому

    Sees map at 0:00 - ah another MMM enjoyer I see. It is a very good map.

  • @authenticallysuperficial9874
    @authenticallysuperficial9874 8 місяців тому +1

    Love how al-jibr is a caliphate 😅

  • @tomholroyd7519
    @tomholroyd7519 Рік тому +3

    I'd love to see a cat theory description of the construction of the complex numbers from the reals using x^2 + 1 = 0

  • @diskgrinder
    @diskgrinder Рік тому

    So category theory is papyrus and group theory is Helvetica. Thanks

  • @abhiramdeva1417
    @abhiramdeva1417 Рік тому

    nice one feynman's chicken. lets see if you can come up with a functor from feynman's diagrams to pure math.

  • @tridivsharma2342
    @tridivsharma2342 Рік тому

    You have to make more videos, pleasseeee

  • @gregoryigbanoi8628
    @gregoryigbanoi8628 8 місяців тому

    Welldone to Category theory...the mathematics that is

  • @MrV_El_Domador_De_Capibaras

    Too much abstraction for today DX
    Thanks! good video

  • @vf1941
    @vf1941 Рік тому

    Excelent video!

  • @Ragnarok540
    @Ragnarok540 Рік тому +2

    Please make more videos. I bet you could explain what is a Monad.

  • @CovidIslandDiscs
    @CovidIslandDiscs Рік тому +4

    My brain hurts.

  • @snk-js
    @snk-js Рік тому

    9:57 bugged my mind

  • @qftymasfisicateorica.2811
    @qftymasfisicateorica.2811 Рік тому

    Gracias 🙏

  • @ericzenk4404
    @ericzenk4404 Рік тому

    Great video. The pictures/slides clearly and correctly state a lot of interesting material.

  • @argandzero0
    @argandzero0 Рік тому +3

    Just brilliant.

  • @jackleaka2095
    @jackleaka2095 Рік тому

    Any recommended books for category theory

    • @umbraemilitos
      @umbraemilitos Рік тому

      There are quite a few good ones. If you want an easy to understand book with applications, I recommend "Category Theory for the Scienes." -by David Spivak

    • @comuniunecuosho-campulbudi7611
      @comuniunecuosho-campulbudi7611 Рік тому

      "No no good god don't read Category Theory for Scientists, Spivak isn't finished with it, it's full of buggy bits, and probably will do more to confuse than enlighten.
      I would recommend you to start with Conceptual Mathematics: A first introduction to categories by Lawvere and Schanuel."

  • @Recreman
    @Recreman Рік тому

    Thank you so much!

  • @ravigautam8685
    @ravigautam8685 Рік тому

    Very helpful video

  • @kinesissado9636
    @kinesissado9636 Рік тому

    I hope Asaf one day sees this video 😂