Nuprl Definition : Kleisli-cat

Kl(C;M) ==
  Cat(ob = cat-ob(C);
      arrow(x,y) = cat-arrow(C) x M(y);
      id(x) = monad-unit(M;x);
      comp(x,y,z,f,g) = cat-comp(C) x M(y) M(z) f monad-extend(C;M;y;z;g))

Definitions occuring in Statement : monad-extend: monad-extend(C;M;x;y;f), monad-unit: monad-unit(M;x), monad-fun: M(x), mk-cat: mk-cat, cat-comp: cat-comp(C), cat-arrow: cat-arrow(C), cat-ob: cat-ob(C), apply: f a
Definitions occuring in definition : mk-cat: mk-cat, cat-ob: cat-ob(C), cat-arrow: cat-arrow(C), monad-unit: monad-unit(M;x), apply: f a, cat-comp: cat-comp(C), monad-fun: M(x), monad-extend: monad-extend(C;M;x;y;f)
FDL editor aliases : Kleisli-cat

Latex:
Kl(C;M) == Cat(ob = cat-ob(C); arrow(x,y) = cat-arrow(C) x M(y); id(x) = monad-unit(M;x); comp(x,y,z,f,g) = cat-comp(C) x M(y) M(z) f monad-extend(C;M;y;z;g)) Date html generated: 2020_05_20-AM-07_59_37 Last ObjectModification: 2017_01_17-AM-11_47_14 Theory : small!categories Home Index