Monads

mentions

First seen: há 4 mesesLast seen: há 4 meses

Recent News13

mpaviotti.github.io·há 8 meses

Recursion as an Effect

In one of my previous post I showed that anytheory featuring general recursion is inconsistent when viewed as a logicalsystem which inevitably leads to the idea that all definable functions in such at

mpaviotti.github.io·há 8 meses

On Lax Monoidal Functors

What is the difference between a lax monoidal functor a monoid in a Day-monoidal category a morphism of lax-algebras for the free monoid 2-monad, and a codistributive law with the tensor product?

reasonablypolymorphic.com·há mais de 7 anos

Freer Monads: Too Fast, Too Free

← → February 18, 2019 freer-monads, extensible-effects, performance, technical The venerable Lyxia had this to say about my last post on freer monads: I agree the performance argument is way les

sinhp.github.io·há cerca de 9 anos

Lifting of monads to Grothendieck toposes

Warning: These notes are severely incomplete! Hopefully I will finish them soon. Abstract: Suppose $T: \cat{C} \to \cat C$ is a monad on $\cat{C}$. We are intereted in answering the question that und

sinhp.github.io·há mais de 9 anos

Relative pseudo-monads

Notes from a talk given by Nicola Gambino in theory seminar

ethicalwerewolf.blogspot.com·há mais de 14 anos

21st Century Monads: Achiever!

Neil Sinhababu's first philosophy and politics blog.

adoseoflogic.blogspot.com·há cerca de 17 anos

Cannibals, Missionaries and the State Monad pt. 1

Part 2: A State Monad Introduction Part 3: State Monad Implementation of Cannibals and Missionaries As a preparation for my master, and to g...

mmartedp.blogspot.com·há quase 18 anos

Michael's Declarative Programming Blog

Recently, David Overton presented the core of a finite-domain constraint solver written in Haskell. Trying to extend the solver, I soon noticed that the only way to look into the constraint store is t

Related Entities

1Programming6×
2Constraints6×
3Haskell6×
4Logic6×
5Sudoku3×
6Categories2×

Monads — Entidade | Buobe