We use cookies to measure traffic and show relevant ads. By clicking Accept you agree to our use of analytics and advertising cookies.
通过Kleisli和Eilenberg-Moore伴随关系分析单子。分解、自由函子与遗忘函子、伴随关系范畴。
