The monad of the uniform structure and its applications

• 一致结构的单子及其应用