Maybe note that all examples in "Finitely generated" are examples of "Generating set" and all examples of presentations on
Presentation of a group are also examples of generating sets?
Add the application to mere propositions to
subterminal object, add properties from nLab (
subterminal object at the
nLab), add Johnstone's topos theory as a reference.
More fully split
top type from
singly rooted hierarchy. The former should contain information on type theoretical subtyping, whereas the latter should contain information on inheritance. They should both have paragraphs in their introductions distinguishing between the two.
I'm partiularly interested in the concept of a mathematical universe. Here are some ways I'd like to improve the discussion on Wikipedia, with the goal of a complete overhaul of
Universe (mathematics).