[CraigJPerry]

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