• 범주,category . . . . 26 matches
       [[모나드,monad]] ? =모나드, =,monad . monad
       KmsE:monad
       https://www.euclideanspace.com/maths/discrete/category/higher/monad/index.htm
       [[WtEn:monad]]
       = https://en.wiktionary.org/wiki/monad
       [[WpEn:Monad]] = https://en.wikipedia.org/wiki/Monad
       [[WpEn:Monad_(category_theory)]] = https://en.wikipedia.org/wiki/Monad_(category_theory)
       } // monad Ggl:"monad category theory" Ggl:"범주론 monad"
       [[comonad]] =,comonad =,comonad . comonad
       [[WtEn:comonad]] = https://en.wiktionary.org/wiki/comonad
        "A monad of the opposite category."
       KmsE:comonad ?
       Ggl:comonad
       } // comonad Ggl:"comonad category theory" Ggl:"범주론 comonad"
• 언어,language . . . . 16 matches
       [[monad]] =,monad =,monad . monad WtEn:monad Srch:monad WpEn:Monad adj. monadic ?
       [[free_monad]] =,free_monad =,free_monad . free_monad WtEn:free_monad Srch:free_monad WpEn:Free_monad
       https://wiki.haskell.org/Free_monad
• 로직,logic . . . . 7 matches
       === monadic predicate logic ===
       [[monadic_predicate_logic]] =,monadic_predicate_logic . monadic_predicate_logic
       monadic predicate logic
       WtEn:monadic_predicate_logic
       Ggl:"monadic predicate logic"
• 과학,science . . . . 1 match
       [[monad]]
• 모노이드,monoid . . . . 1 match
       Cmp [[모나드,monad]]

You can also click here to search title.