"Ehi, I know optics! Maybe this will prove an accessible entry point for me to understand what category theory is about!" Narrator: It wasn't.
Computer science and category theory blend in the theory of "optics": different systems for viewing and interacting with data. As part of the ACT2019 school, Emily Pillmore and Mario Román have written a great overview of these: https://golem.ph.utexas.edu/category/2020/01/profunctor_optics_the_categori.html … Lenses, prisms & more!pic.twitter.com/sLcko6gGur
-
-
-
"Maybe this will prove an accessible entry point to understand what category theory is all about!" Yeah, right. If *that's* what you want, read Bartosz Milewski's blog, and start here:https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ …
- Još 3 druga odgovora
Novi razgovor -
-
-
Lenses are optics for the cartesian product. Dually, prisms are optics for the cocartesian coproduct Grates are optics for the action of the exponential Traversals are optics for power series action 𝐏𝐨𝐥𝐲:[ℕ,𝐂]→[𝐂,𝐂] Riley "Categories of Optics" https://arxiv.org/pdf/1809.00738.pdf …
-
I wish I understood this better... but the blog post explains a lot of this.
Kraj razgovora
Novi razgovor -
-
-
By the drawings and topic, I was expecting to see
@math3ma's name on this! -
All credit to
@mroman42 and his wonderful tablet skills - Još 2 druga odgovora
Novi razgovor -
-
-
@mroman42 Enorme Mario!Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.