Add redirect for “pseudo distributive law(s)”.
]]>Mention Walker’s simplification of the definition.
]]>I added some citations interlinking pseudo-distributive law and lax-idempotent 2-monad. Apparently we don’t yet have a page Yoneda structure!
]]>Somehow we didn’t yet have a page about pseudo-distributive laws, so I made a stubby one with a few examples and references.
]]>