Forum

roybaxter
@roybaxter
New Member
Joined: Mar 16, 2023
Last seen: Apr 28, 2023
Topics: 0 / Replies: 3
Reply
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
Reply
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
Reply
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