Any homomorphism, f, between monoids is completely determined once you know where a set of generators of the monoid map under the homomorphism, and vice versa. - Dan Piponi
Category
Forgetful functor
Isomorphism
Galois connection
If you find that a design forces you into making ad hoc decisions, you are missing an adjunction somewhere. - Rúnar Bjarnason
React Component
Contravariant
Closure
Profunctor
Opaleye
Arrows
postgresql-typed
Yesod
scotty
Everything Old is New Again: Quoted Domain Specific Languages - Philip Wadler
Any homomorphism, f, between monoids is completely determined once you know where a set of generators of the monoid map under the homomorphism, and vice versa. - Dan Piponi
Category
Forgetful functor
Isomorphism
Galois connection
If you find that a design forces you into making ad hoc decisions, you are missing an adjunction somewhere. - Rúnar Bjarnason
React Component
Contravariant
Closure
Profunctor
Opaleye
Arrows
postgresql-typed
Yesod
scotty
Everything Old is New Again: Quoted Domain Specific Languages - Philip Wadler