3 ms·

Tragically (for pure mathematicians), there are some real world use cases. Last years SoME3 has this entrant https://youtu.be/Njx2ed8RGis?si=-Q0TwT8LKmTC9o0R h

• red_trumpet 2y ago
  > Last years SoME3 has this entrant https://youtu.be/Njx2ed8RGis?si=-Q0TwT8LKmTC9o0R https://youtu.be/Njx2ed8RGis?si=-Q0TwT8LKmTC9o0R That's not an application of category theory. The important theorem here is that the fundamental group is a functor, plus computations of the fundamental group of the disc and the circle. But that's a theorem from topology, not a theorem from category theory. Category theory is merely used as a language, to give the proof a structure. By that I don't want to say category theory is useless. But regarding the video it's neither necessary, nor an application of category theory.
• Nesco 2y ago
  > “There real use-cases” > Proceed to link to a non-constructive proof Why are mathematicians like this?