Yes, there is a long-standing debate in categories about this "reduction" problem but that is mostly theoretical In practice, you only need to break down enoug

Yes, there is a long-standing debate in categories about this "reduction" problem but that is mostly theoretical In practice, you only need to break down enough to interface w existing APIs The morphisms are controlled by the crafting system, which is really a higher order type system No you don't need to achieve god-like powers any more than GitHub is the source of all code on the planet (it doesn't have to be all or nothing). Even the crafting rules themselves contain FP chains. In my real world work, I use a mix of crafting, FP chains and old school functions.