7:59 AM
0
Gaussian curvature is a kind of like an infinitesimal curvature. For example, all points of a sphere has positive Gaussian curvature. Angular defect is kind of like a "point charge" of curvature. For example a cube has positive angular defect at its 6 corners. So what do you call the curvature o...
I am not sure whether a tag for linear orders/linearly ordered sets was created in the past, but probably whether linear orders need a separate tag can be discussed in the same question where we discuss the tag for partial orders.
I will add that I am in favor of well-orders tag (and I am the user who created it). What about a separate tag for well-ordered sets? Or should it be synonym of (ordinals)? and chat.stackexchange.com/transcript/3740/2016/10/15
9 hours later…
« first day (2042 days earlier) ← previous day next day → last day (2309 days later) »