트리플,triple


Sub:
Kleisli_triple =,Kleisli_triple =,Kleisli_triple . Kleisli_triple
{
Kleisli triple

MKL
extension_system =,extension_system =,extension_system . extension_system
{
extension system
확대|확장... 계|체계|...


https://ncatlab.org/nlab/show/extension system
}// extension system ... Ggl:extension system Bing:extension system .....하면 너무 일반적인 동떨어진 것만....// Ggl:extension system moggi Bing:extension system moggi