Definition. Pullback-homomorphism [mde-N49H]
Definition. Pullback-homomorphism [mde-N49H]
A morphism \(f : A \to B\) of \(T\)-algebras for a monad \(T\) is a pullback-homomorphism if and only if the commuting square
A morphism \(f : A \to B\) of \(T\)-algebras for a monad \(T\) is a pullback-homomorphism if and only if the commuting square