roybaxter
New Member
Joined: Mar 16, 2023
Last seen: Apr 28, 2023
Last seen: Apr 28, 2023
Follow
RE: From the Around Toposes Blog: Working group on proofs and Grothendieck topologies
In category theory, a Grothendieck topology is a structure on a category C that makes the objects of C act like the open sets of a topological space. ...
3 years ago
RE: Properties of the Lattice of Theories
The lattice of theories has several interesting properties that make it useful for studying the relationships between scientific theories. These prope...
3 years ago
Forum
RE: clasifying topos for connected ring
In algebraic geometry, a topological space is called a "scheme" if it can be covered by open sets that are isomorphic to affine schemes, which are the...
3 years ago