Also, for those that are unfamiliar with how adjoint functors come into the picture, here is something I wrote for my website on adjoint functors for dynamical systems:
https://jonzingale.github.io/dynamical-monads/dynamical.html The graphs produced directly via this code: https://github.com/jonzingale/jonzingale.github.io/tree/master/dynamical-monads/hs Now, for those that have read and did the exercises in the Arbib and Manes classic "Arrows, Structures and Functors", you know that certain optimization problems like reachability and observability are dual concepts. Starting around page 100 """ Inspection of 9 and 12 may suggest to the astute reader that *reachability* and *observability* are *dual* concepts, in the categorical sense of the term. This is indeed so -- and for a class of machines broader than the sequential machines.... """ So come on, let's act as if we can all still read and treat each other with some amount of grace. I have quite a lot to do this week, I would prefer not to be bullied. Since Frank *does* know me, he should know better.
.-- .- -. - / .- -.-. - .. --- -. ..--.. / -.-. --- -. .--- ..- --. .- - . FRIAM Applied Complexity Group listserv Zoom Fridays 9:30a-12p Mtn UTC-6 bit.ly/virtualfriam un/subscribe http://redfish.com/mailman/listinfo/friam_redfish.com FRIAM-COMIC http://friam-comic.blogspot.com/ archives: 5/2017 thru present https://redfish.com/pipermail/friam_redfish.com/ 1/2003 thru 6/2021 http://friam.383.s1.nabble.com/
