Continued thread
Recent searches
Search options
#monoid
0 posts0 participants0 posts today
just uploaded to https://fpilluminated.com
Folding Cheat Sheet #8 - Folding with Monoids.
39 slides - Twelve examples.
Direct link: https://fpilluminated.com/deck/240
Once again I am disgusted at the #NYTimes #SpellingBee's epic vocabulary fail. According to them #monoid isn't a word, whether or not as a kind of #endofunctor.
Can you answer this quiz? Do you know what is a Monoid? #monoid
https://www.youtube.com/post/Ugkxzq98sag0VJUlxPxI9MgtujKluR1xV30q
consent.youtube.comBevor Sie zu YouTube weitergehen
If a #Monad is a #Monoid in the category of #Endofunctors, you *must* acquit.
Once you learned what a #monoid is, you see it everywhere.
#Programming language designers should seek philosophical inspiration in the humble #monoid: small, simple, comprehensible, composable, commutative, generative, homomorphic, powerful, predictable, prevalent.
en.wikipedia.orgMonoid - Wikipedia
Continued thread
Ideally, I want something pixel-aligned like #Monoid (https://larsenwork.com/monoid/) but with a bit more characters available.
larsenwork.comMonoidMonoid is a customizable, minimal + legible font optimized for coding. It's customisable with ligatures, alternates and class based positioning.
Continued thread
* mathematically, you could distribute the population-level costs to individual points (e.g. the false negative that pushes you over a penalty threshold gets assigned the full penalty), but that doesn’t get around the practical consequences of the fact that utility no longer forms a commutative #monoid, so you can’t independently calculate each example-level utility then sum: you don’t know if you exceed the penalty threshold, or which example pushed you over the edge, until you aggregate.
An Invitation to Applied Category Theory
(2019) : Fong, Brendan and David I. Spivak
DOI: https://doi.org/10.1017/9781108668804
#__important #category_theory #database #functors #galois_connection #hypergraph #joins #logic_of_behaviour #meets #monoid
#my_bibtex
Cambridge CoreAn Invitation to Applied Category TheoryCambridge Core - Logic, Categories and Sets - An Invitation to Applied Category Theory
maybedoer: the Maybe Monoid for Go