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.
Hopefully some category will be able to contain Comonads, Monads and Functors.
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.
Hopefully some category will be able to contain Comonads, Monads and Functors.