"> describes underlying sets..."

https://arbital.com/p/4hx

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…