Find link

language:

Find link is a tool written by Edward Betts.

searching for Grothendieck universe 1 found (17 total)

Stack (mathematics) (5,008 words) [view diff] exact match in snippet view article

between classes of some fixed Grothendieck universe, so these classes and the stacks are sets in a larger Grothendieck universe. The drawback of this approach