You’ve got both a carrier (the set of natural numbers) and a morphism (product o... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

CraigJPerry on May 10, 2024 | parent | context | favorite | on: Algebraic Data Types for C99

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact