Skip to main content
2 of 2
edited tags
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215

Infima and Suprema of Grothendieck topologies

Let $C$ be a small category. Consider the class of all Grothendieck topologies on $C$, it is a preorder with the relation "finer". Does this preorder has all infima and suprema?

(For example, how do you prove that there is always the canonical topology?)

Martin Brandenburg
  • 63.1k
  • 13
  • 207
  • 424