Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Can (B, f) where f : A -> B for some f, A, B be safely considered an F-Algebra for Const A?
f : A -> B
f, A, B
Is it good idea to think of F-Algebra morphisms as morphisms that go from object with "more structure" to object with "same/less structure"? As in, their laws couldn't hold if I went from "less" to "more structure", could they?