You can express mathematical abstractions in code, this doesn't imply that one is a subtype of the other. You can express a lot of things in code that have noth

You can express mathematical abstractions in code, this doesn't imply that one is a subtype of the other. You can express a lot of things in code that have nothing to do with math.