Terminology - Category theory

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Chris Constable

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"?

Ohad Kammar

An inductive solution?
(Catamorphisms are the uniquely determined homomorphisms from the initial object)

Chris Constable

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.

Ohad Kammar

'Derived' is very ambiguous

Chris Constable

I don't disagree with you :)