Categories hierarchy

[tchoutri]

It is becoming obvious that the flat system of categories is not very effective.

For instance, "Network Development" would benefit from having "Web Programming" extracted out of it, and have "HTTP Servers", "HTTP Clients" and probably "Websockets" as sub-categories.

Similarly, "User Interfaces" could have GUI, TUI and CLI as sub-categories.
Geometry could be a sub-category of Mathematics, Or have Mathematics be a sub-category of Science alongside with Machine Learning and Robotics, like Rust does.

Hopefully some category will be able to contain Comonads, Monads, Functors and Effect systems?

I'd love to get suggestions from Flora users on some other category hierarchies that you think would make sense!