Feynman's Chicken
Feynman's Chicken
  • 1
  • 67 484
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
มุมมอง: 67 517

วีดีโอ

ความคิดเห็น

  • @michaelkeys4303
    @michaelkeys4303 วันที่ผ่านมา

    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 8 วันที่ผ่านมา

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

  • @eduardotoloza4211
    @eduardotoloza4211 หลายเดือนก่อน

    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.

  • @dprophecyguy
    @dprophecyguy 2 หลายเดือนก่อน

    she peaked too soon

  • @authenticallysuperficial9874
    @authenticallysuperficial9874 4 หลายเดือนก่อน

    Love how al-jibr is a caliphate 😅

  • @codecleric4972
    @codecleric4972 4 หลายเดือนก่อน

    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 5 หลายเดือนก่อน

    Welldone to Category theory...the mathematics that is

  • @Quince751
    @Quince751 6 หลายเดือนก่อน

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

  • @zyaicob
    @zyaicob 6 หลายเดือนก่อน

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

  • @phenixorbitall3917
    @phenixorbitall3917 7 หลายเดือนก่อน

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

  • @HelloForeignWorld
    @HelloForeignWorld 8 หลายเดือนก่อน

    Oh no! I learned something 🙈

  • @aladdinovich
    @aladdinovich 8 หลายเดือนก่อน

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

  • @laurenaeva1184
    @laurenaeva1184 8 หลายเดือนก่อน

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

  • @frankg7786
    @frankg7786 9 หลายเดือนก่อน

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

  • @Hans_Magnusson
    @Hans_Magnusson 9 หลายเดือนก่อน

    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 9 หลายเดือนก่อน

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

  • @Hans_Magnusson
    @Hans_Magnusson 9 หลายเดือนก่อน

    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 9 หลายเดือนก่อน

    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 10 หลายเดือนก่อน

    Damn, you know you some math!

  • @sieni221
    @sieni221 10 หลายเดือนก่อน

    Your definition of analysis was kinda bland

  • @eternaldoorman5228
    @eternaldoorman5228 10 หลายเดือนก่อน

    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 10 หลายเดือนก่อน

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

  • @brunaschulz_
    @brunaschulz_ 11 หลายเดือนก่อน

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

    • @Hans_Magnusson
      @Hans_Magnusson 9 หลายเดือนก่อน

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

  • @briannewman9285
    @briannewman9285 11 หลายเดือนก่อน

    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 11 หลายเดือนก่อน

    Please make more videos!!!

  • @matheuspinho4987
    @matheuspinho4987 11 หลายเดือนก่อน

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

  • @mikeCavalle
    @mikeCavalle 11 หลายเดือนก่อน

    Dense clear and concise. thank you.

  • @siddhartacrowley8759
    @siddhartacrowley8759 11 หลายเดือนก่อน

    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

  • @user-oc4gu9kb3p
    @user-oc4gu9kb3p ปีที่แล้ว

    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!

  • @ozanavsar463
    @ozanavsar463 ปีที่แล้ว

    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.

  • @shoam2103
    @shoam2103 ปีที่แล้ว

    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?

  • @stevenwilson5556
    @stevenwilson5556 ปีที่แล้ว

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

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