> tarski argebla(T-algebra)
> monadic predicate calculus(monadic first-order logic)

基礎論屋さん？

> universal algebra
> 圏論のmonad

普遍代数は群環体のような抽象代数系を統一的に扱うための手法のこと


>>882の文面からはかなりずれている印象を受けるんだがｗ