Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
If a solution to a problem can be derived using a using a catamorphism is it proper to say that the problem has a catamorphic solution? i.e. Is there a more concise way of saying "a solution derived from a catamorphism"?
An inductive solution?
(Catamorphisms are the uniquely determined homomorphisms from the initial object)
Hmm inductive solution is a bit too general for what I'm looking for. I want to convey that some object or solution can be arrived at directly through a cata/ana/hylo/etc morphism and I think inductive would leave it open to any of those. I want to be as precise as possible. Maybe saying "derived from a __morphism" is in fact the most precise and concise way to say this.
'Derived' is very ambiguous
I don't disagree with you :)