4 ms·
> In an effort to make this a little less political and a little more geeky Is there a demand for essays like this? I've been playing around with an idea where
by DoctorOW 4y ago
> In an effort to make this a little less political and a little more geeky
Is there a demand for essays like this? I've been playing around with an idea where I take some of the more talked about legislation and present a semi-neutral deep dive into the actual facts of the matter.
- f_devd 4y agoI 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.