A Frobenius monad (Street): a Kleisli and a co-Kleisli triple on one functor whose μ and δ satisfy the Frobenius law, certified by is_frobenius_monad. More...

Concept definition

template<typename Functor, typename T, typename U>
concept dedekind::category::IsFrobenius = 
    IsKleisliTriple<Functor, T, U> && IsCoKleisliTriple<Functor, T, U> &&
    is_frobenius_monad<Functor>::value

Detailed Description

A Frobenius monad (Street): a Kleisli and a co-Kleisli triple on one functor whose μ and δ satisfy the Frobenius law, certified by is_frobenius_monad.

Template Parameters

Functor	the functor.
T
U	the element types.