The documentation for my video on Monads, Monoids and Functors is available on Scribd everyone #kotlin#haskell#mona#monoid#functorwww.scribd.com/presentation...
A presentation going around the basic concepts surrounding functors, monoids and monads. They are discussed in Haskell and Kotlin domains and the idea is to give an empirical and instinct feeling abou...
David Barnes, Michael A. Hill, Magdalena Kedziorek Splitting rational incomplete Mackey functors https://arxiv.org/abs/2410.10962
This is the next entry in the Late Bloomers playlist everyone! This one reached 100 views recently and it stood for a while time in the Rookies playlist. Only later people found the video interesting. Thank you! #monads#monoids#functors#kotlin#haskellyoutu.be/_NVWfjI_LjM?...
YouTube video by JESPROTECH - JE Software Programming Tech
Johannes Flake, Robert Laugwitz, Sebastian Posur Frobenius monoidal functors from ambiadjunctions and their lifts to Drinfeld centers https://arxiv.org/abs/2410.08702
I made a video about functors, monoids and Monads everyone, where I try to explain these concepts in #haskell#kotlinyoutu.be/ShGAN0dguUg?...
YouTube video by JESPROTECH - JE Software Programming Tech
Paolo Perrone How to Represent Non-Representable Functors https://arxiv.org/abs/2410.08019
Hell yeah. A free-forgetful adjunction (F,U) : Set โ ๐ is a pair of functors with F(S) =: "free object of ๐ on S" and U(C) =: "set underlying C" and the adjunction property says the set of functions {S โ U(C)} is in (natural) bijection with ๐-morphisms {FS โ C}. For ๐ = Vectโ (k a field)...
See also the "swallowtail identities" for adjunctions of functors between 2 categories ncatlab.org/nlab/show/la...