[dannymi]

When you have natural numbers and a multiplication operation (product) would you say that those form an algebra? (ADT means algebraic data type)

[CraigJPerry]

You’ve got both a carrier (the set of natural numbers) and a morphism (product operation) so yeah you have an algebra.