Feynman's Chicken
Feynman's Chicken
  • 1
  • 70 025
Category Theory: An Introduction to Abstract Nonsense
Correction: Universal Property of Quotients requires ker(f) to contain ker(pi)
0:00 Motivation
1:33 Basics in Category Theory
4:14 Group Objects
5:08 Functors
8:17 Universal Properties
11:57 Proof using Category Theory
13:27 Shortcomings of Category Theory
Переглядів: 70 046

Відео

КОМЕНТАРІ

  • @prajitrajadhikari9548
    @prajitrajadhikari9548 День тому

    Love the storytelling themic explanation!

  • @jpphoton
    @jpphoton 23 дні тому

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

  • @rommalb
    @rommalb 24 дні тому

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

  • @michaelkeys4303
    @michaelkeys4303 2 місяці тому

    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

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

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

  • @eduardotoloza4211
    @eduardotoloza4211 4 місяці тому

    I am an Electrical Engineer. I do not know why I am watching this video, but I am experimenting brain damage trying to understand this nonsense. Even do, I like it.

    • @wargreymon2024
      @wargreymon2024 2 місяці тому

      I watched a couple more, and I don't understand how the proof in the video has anything improved by category theory. It is just group homomorphism.

  • @dprophecyguy
    @dprophecyguy 5 місяців тому

    she peaked too soon

  • @authenticallysuperficial9874
    @authenticallysuperficial9874 7 місяців тому

    Love how al-jibr is a caliphate 😅

  • @codecleric4972
    @codecleric4972 7 місяців тому

    Good quality video, but I feel like it's only really useful as a review if you already basically know category theory. Really feels like you try to cover too much ground here with a lot of very confusing bits that needed more explanation. You can't really do an "intro" to category theory without spending a lot more time making certain things clear. A lot of the huge leaps in this presentation don't make any sense to anyone who hasn't already studied a good bit of category theory and other advanced maths

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

    Welldone to Category theory...the mathematics that is

  • @Quince751
    @Quince751 9 місяців тому

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

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

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

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

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

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

    Oh no! I learned something 🙈

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

    It is a nonsense to listen to such videos at 2 am

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

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

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

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

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

    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!

  • @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! 😂😂😂

  • @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! 👍

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

    Damn, you know you some math!

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

    Your definition of analysis was kinda bland

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

    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.

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

    Hi there Feyman's Chicken, if you see this PLEASE MAKE MORE VIDEOS.

  • @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

  • @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.

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

    Please make more videos!!!

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

    Academics just want to make more and more papers, if it means it sacrifice logic and reality so be it

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

    Dense clear and concise. thank you.

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

    I guess I go back to elementary school level math ...

  • @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!

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

    No :(

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

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

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

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

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

    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!

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

    You have to make more videos, pleasseeee

  • @عمرأبوستة-ح1ك
    @عمرأبوستة-ح1ك Рік тому

    Califate of AL Gebra, where Califate is any Islamic empire. Nice.

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

    I have a hard time believing that anyone who did not understand category theory before this video would understand it afterwards. Poor pedagogy because it is just providing vocabulary instead of making an effort to explain. Virtually no examples. Exactly what is wrong with some mathematics education. Designed to appeal to a tiny fraction of those who might be capable of understanding it. No effort to motivate the problem these theories are trying to solve.

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

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

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

    The individual speaking in this video is gender-neutral or gender-fluid, has colored hair and spends lots of time editing gender studies topics on Wikipedia...It is working on a generalization of gender theory called "Gender Dynamics," and will introduce concepts such as "gendoids" and "gendons" that operate in Gender Spaces with axioms governing their "gendorphisms." It will surely win a Fields Medal for this groundbreaking work that combines Genitalia with Topology, Analysis and Algebra.

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

    Do a video like this on TOPOS THEORY!

  • @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!

  • @1dantown
    @1dantown Рік тому

    I heard schroedinger's cat ate Feynman's chicken. Just a theory....

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

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

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

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

  • @Julian-tf8nj
    @Julian-tf8nj Рік тому

    Great (very) high-level intro, thank you! 😁 I'd love to see a series of videos, at various levels. Suggestion to everyone doing Category theory: use the *"semicolon" notation* for the composition of morphisms. I think it's much more intuitive to say (f ; g) than the reversed (g o f) I got more interested in Category theory upon learning about Lawvere’s fixed point theorem, and its applications: mind-blowing about the many famous diagonal arguments that can be derived from it! www.uibk.ac.at/mathematik/algebra/staff/fritz-tobias/ct2021_course_projects/lawvere.pdf

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

    b-b-b-based!?!?!?!

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

    One more great channel

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

    Love this video. Please make more! :)

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

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