A sublocale is determined by a nucleus on a frame on . Its frame consists of the fixed elements of , with inherited meets and regularized joins. Increasing the nucleus makes the sublocale smaller.
Articles by others on the same topic
There are currently no matching articles.