Showing changes from revision #17 to #18:
Added | Removed | Changed
These articles should be ported to the nLab or merged into the existing article on the nLab because although the concepts in many of the articles were originally developed in homotopy type theory, they are general enough that they should be of interest to classical and constructive mathematicians who do not use homotopy type theory as foundations.
Centipede in the sense of centipede mathematics
Dedekind cut (disambiguation) (mostly for the predicative Dedekind cuts)
Dedekind real numbers (disambiguation) (mostly for the predicative Dedekind real numbers)
finitely complete dagger category?
finitely cocomplete dagger category?
epic map in a dagger 2-poset?