Mathstodon

0 posts0 participants0 posts today

João EsperancinhaThe documentation for my video on Monads, Monoids and Functors is available on Scribd everyone <a href="https://masto.ai/tags/kotlin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kotlin</a> <a href="https://masto.ai/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://masto.ai/tags/mona" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mona</a> <a href="https://masto.ai/tags/monoid" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#monoid</a> <a href="https://masto.ai/tags/functor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functor</a> <a href="https://www.scribd.com/presentation/779087903/Monads-Are-No-Nomads" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.scribd.com/presentation/779087903/Monads-Are-No-Nomads</a>

João EsperancinhaMy new video about functors, monoids and monads everyone! Watch for free on JESPROTECH. <a href="https://masto.ai/tags/functor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functor</a> <a href="https://masto.ai/tags/monads" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#monads</a> <a href="https://masto.ai/tags/monoids" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#monoids</a> <a href="https://masto.ai/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://masto.ai/tags/kotlin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kotlin</a> <a href="https://www.youtube.com/watch?v=ShGAN0dguUg&si=gcV2XlRvZE3OTXTZ" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/watch?v=ShGAN0dguUg&si=gcV2XlRvZE3OTXTZ</a>

João EsperancinhaThe playlist "Monads are no Nomads" is gaining momentum, everyone! The playlist is rich with examples in Kotlin and Haskell. Why Haskell? Because Haskel is one of the languages that lays the foundations of pure functional programming. A bizarre word to describe a great concept over here:<a href="https://masto.ai/tags/monad" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#monad</a> <a href="https://masto.ai/tags/functor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functor</a> <a href="https://masto.ai/tags/kotlin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kotlin</a> <a href="https://masto.ai/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://masto.ai/tags/coding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#coding</a> <a href="https://youtube.com/playlist?list=PLw1b-aiSLRZhpqdS2lJ9ACithA1HxpuwL&si=Hmj004ohkw9CaRSD" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://youtube.com/playlist?list=PLw1b-aiSLRZhpqdS2lJ9ACithA1HxpuwL&si=Hmj004ohkw9CaRSD</a>

João EsperancinhaI have added 8 more videos to my playlist "Monads are no Nomads". Have a look at the last one where I talk about composition in Haskell:<a href="https://masto.ai/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://masto.ai/tags/composition" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#composition</a> <a href="https://masto.ai/tags/code" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#code</a> <a href="https://masto.ai/tags/functor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functor</a><a href="https://youtube.com/shorts/dirV589Xapg?feature=share" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://youtube.com/shorts/dirV589Xapg?feature=share</a>

Jencel PanicShort <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="tag">#categorytheory</a> lesson: There is a common figure of speech, that goes like "If x is like y, then z is like q", e.g. "If a school are like a corporation, then the teachers are like bosses". This figure of speech introduces a <a href="https://mathstodon.xyz/tags/functor" class="mention hashtag" rel="tag">#functor</a>: what are you saying is that there is a certain connection (or category-theory therms a "morphism") between schools and teachers, that is similar to the connection between corporations and bosses i.e. that there is some kind of structure preserving map that connects the category of school-related things, to the category of work-related things in which schools (a) are mapped to corporations (F a) and teacher (b) are mapped to bosses (F b). and the connections between schools and teachers (a -> b) are mapped to the connections between corporations and bosses (F a -> F b).

das-g<a href="https://icosahedron.website/@nuttycom" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@nuttycom</a> <a href="https://social.jlamothe.net/profile/me" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@me</a> If we agree that "map" is a good name for what "fmap" does (and as a non-native speaker of English, I think it is), then the adjectival-ish name of Functor could simply be "Mappable".<a href="https://chaos.social/tags/fmap" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fmap</a> <a href="https://chaos.social/tags/Functor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Functor</a> <a href="https://chaos.social/tags/namingThings" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#namingThings</a>

⎯ΘωΘ⟶Recall that a <a href="https://mathstodon.xyz/tags/colimit" class="mention hashtag" rel="tag">#colimit</a> of a <a href="https://mathstodon.xyz/tags/diagram" class="mention hashtag" rel="tag">#diagram</a> in a <a href="https://mathstodon.xyz/tags/category" class="mention hashtag" rel="tag">#category</a> C, that is, of a <a href="https://mathstodon.xyz/tags/functor" class="mention hashtag" rel="tag">#functor</a> F:J→C, is <a href="https://mathstodon.xyz/tags/given" class="mention hashtag" rel="tag">#given</a> by a <a href="https://mathstodon.xyz/tags/universal" class="mention hashtag" rel="tag">#universal</a> [[<a href="https://mathstodon.xyz/tags/cocone" class="mention hashtag" rel="tag">#cocone</a>]] for F. A [[<a href="https://mathstodon.xyz/tags/co" class="mention hashtag" rel="tag">#co</a> <a href="https://mathstodon.xyz/tags/cone" class="mention hashtag" rel="tag">#cone</a>]] for F is a <a href="https://mathstodon.xyz/tags/natural" class="mention hashtag" rel="tag">#natural</a> <a href="https://mathstodon.xyz/tags/transformation" class="mention hashtag" rel="tag">#transformation</a> from F to a <a href="https://mathstodon.xyz/tags/constant" class="mention hashtag" rel="tag">#constant</a> diagram,Δ(c)=(J→1→cC),so that a cocone for F is an <a href="https://mathstodon.xyz/tags/object" class="mention hashtag" rel="tag">#object</a> of a <a href="https://mathstodon.xyz/tags/comma" class="mention hashtag" rel="tag">#comma</a> category,F↓Δ,where Δ:C1→CJ is the <a href="https://mathstodon.xyz/tags/diagonal" class="mention hashtag" rel="tag">#diagonal</a> functor <a href="https://mathstodon.xyz/tags/obtained" class="mention hashtag" rel="tag">#obtained</a> by <a href="https://mathstodon.xyz/tags/pulling" class="mention hashtag" rel="tag">#pulling</a> <a href="https://mathstodon.xyz/tags/back" class="mention hashtag" rel="tag">#back</a> <a href="https://mathstodon.xyz/tags/along" class="mention hashtag" rel="tag">#along</a> the <a href="https://mathstodon.xyz/tags/unique" class="mention hashtag" rel="tag">#unique</a> functor J→1. A universal cocone is <a href="https://mathstodon.xyz/tags/simply" class="mention hashtag" rel="tag">#simply</a> an <a href="https://mathstodon.xyz/tags/initial" class="mention hashtag" rel="tag">#initial</a> object of F↓Δ.

Recent searches

Search options

Administered by:

Server stats:

#functor