50:30 The objection I'd have to sending the additive monoidal category to sets to describe dynamical systems is that sets can consist of abstract and real things while all dynamical systems are necessarily real, not just deterministic and closed. Otherwise, superb!
This video and the channel in general deserves a lot more attention. It is incredibly useful, I am so grateful for the time you spent creating that content.
With the pandemic raging outside I've finally found the time to study category theory. I have some experience with algorithms and discrete math but this stuff always seemed a little bewildering. Thank you for making these.
Thank you for these great videos.. I'm not a mathematician, I self teach myself on interesting topics. I'm trying to get a grasp of category theory and applications and your videos are a great help.
How is the category of dynamical systems related to monads? I understand: A monad = a monoid in the category of endofunctors A dynamical system = an object in the category of endomaps
Excellent question. I had not thought of that connection. Any dynamical system could be thought of as an endofunctor of a discrete category. One could ask if any such endofunctors are monads. There is also the question of what happens when one iterates a monad.
Question : if category theory can 'model' dynamic systems, how does it fit into dynamical systems optimization problem of selecting the most efficient 'model' for the system we are analyzing? Eg. In practical terms.
I'm not sure. You could try reading 'A categorical approach to open and interconnected dynamical systems'. Also William Lawvere wrote some interesting papers on how to model dynamical systems in more sophisticated ways.
For me, it is that (l e t) stands for (left epsilon terminal), but that won't make much sense until the video on adjoint functors, which I will release after the next coming video on the wonderful Yoneda Lemma.
Points are dual to lines "Perpendicularity in hyperbolic geometry is measured in terms of duality" Lines or edges are dual to points or vertices Vectors are dual to co-vectors (forms) Inclusion is dual to exclusion Unions are dual to intersections Infinity is dual to zero
50:30 The objection I'd have to sending the additive monoidal category to sets to describe dynamical systems is that sets can consist of abstract and real things while all dynamical systems are necessarily real, not just deterministic and closed. Otherwise, superb!
This video and the channel in general deserves a lot more attention. It is incredibly useful, I am so grateful for the time you spent creating that content.
Thank you so much for these lectures, they really are amazing, and I'm learning a huge amount from them.
With the pandemic raging outside I've finally found the time to study category theory. I have some experience with algorithms and discrete math but this stuff always seemed a little bewildering. Thank you for making these.
Thank you for these great videos.. I'm not a mathematician, I self teach myself on interesting topics. I'm trying to get a grasp of category theory and applications and your videos are a great help.
I am glad they are helping. I wish more people outside of mathematics were aware of category theory.
Thank you for the another great lecture on the category theory!
Thanks Richard. It was a good way of explaining these examples.
I found this video incredibly useful. Thanks!
How is the category of dynamical systems related to monads?
I understand:
A monad = a monoid in the category of endofunctors
A dynamical system = an object in the category of endomaps
Excellent question. I had not thought of that connection. Any dynamical system could be thought of as an endofunctor of a discrete category. One could ask if any such endofunctors are monads. There is also the question of what happens when one iterates a monad.
Question : if category theory can 'model' dynamic systems, how does it fit into dynamical systems optimization problem of selecting the most efficient 'model' for the system we are analyzing? Eg. In practical terms.
I'm not sure. You could try reading 'A categorical approach to open and
interconnected dynamical systems'. Also William Lawvere wrote some interesting papers on how to model dynamical systems in more sophisticated ways.
sweet shades!
now that was a cool result 1:14:47
It was so cool he had to wear shades for it
Am I weird in seeing set as being source edge target (s e t)
For me, it is that (l e t) stands for (left epsilon terminal), but that won't make much sense until the video on adjoint functors, which I will release after the next coming video on the wonderful Yoneda Lemma.
hhashahaa ur glasses man nice
dynamical systems like in applied category theory?
Points are dual to lines
"Perpendicularity in hyperbolic geometry is measured in terms of duality"
Lines or edges are dual to points or vertices
Vectors are dual to co-vectors (forms)
Inclusion is dual to exclusion
Unions are dual to intersections
Infinity is dual to zero
1