"> describes underlying sets..."


by Eric Rogstad Jun 17 2016

describes underlying sets specifically in terms of algebraic structures

Yeah, I was wondering about that. Does it make sense to have an "underlying set" page that works for both cases?

Actually, I'm going to ask this in the slack, as others may have opinions…