3 ms·
I think it depends on the structure, I find the structure of GP always very engaging: X (technical or not) can be represented as structure Y (math/cs). Side no
by f_devd 4y ago
I think it depends on the structure, I find the structure of GP always very engaging: X (technical or not) can be represented as structure Y (math/cs).
Side note: I suppose this would be the informal version of type/category theory?
- 082349872349872 4y agocategorical objects are "up to isomorphism" so the symmetric relations are in the kernel (the identity arrow for each object), and the arrows in the category reflect the antisymmetric relations.