Sökning: "monad"
Visar resultat 1 - 5 av 6 uppsatser innehållade ordet monad.
1. Spectral sequences for composite functors
Master-uppsats, KTH/Matematik (Avd.)Sammanfattning : Spectral sequences were developed during the mid-twentieth century as a way of computing (co)homology, and have wide uses in both algebraic topology and algebraic geometry. Grothendieck introduced in his Tôhoku paper the Grothendieck spectral sequence, which given left exact functors $F$ and $G$ between abelian categories, uses the right-derived functors of $F$ and $G$ as initial data and converges to the right-derived functors of the composition $G\circ F. LÄS MER
2. Cleaning interactions by bluestreak cleaner wrasse (Labroides dimidiatus) and moon wrasse (Thalassoma lunare) on pelagic thesher sharks (Alopias pelagicus)
Master-uppsats, Uppsala universitet/Institutionen för biologisk grundutbildningSammanfattning : Cleaning symbioses are a well-studied mutualism among marine species. However, the interactions occurring between cleaner fish and sharks are lacking in research, which makes it a target for further investigation. LÄS MER
3. Monads in Haskell and Category Theory
Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : he monad is a mathematical concept, used by Haskell to describe — among other things — Input/Output. Many are intimidated by it since it stems from abstract mathematics — namely Category Theory. LÄS MER
4. Kraftens biologi : En läsning av Hegels ”Kraft och förstånd” utifrån Leibniz organiska världsbild
Kandidat-uppsats, Södertörns högskola/FilosofiSammanfattning : This work seeks to trace the influence of G.W. Leibniz on G.W. LÄS MER
5. Interacting Particle Inferencefor Probabilistic Programming in Haskell
Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : Probabilistic programming shows much promise as a declarative way to define statistical models, but inference is often expensive. A parallelisable particle Markovchain Monte Carlo sampler is implemented in Haskell and the domain-specific language Monad-Bayes. LÄS MER