blanketglossary

Grothendieck topology

Definition

In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category that makes the objects of act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site.

Related concepts

8 concepts already in your glossary