|
06-11-2004, 07:10 AM
OK, topos (a special cathegory having some intersection, union and limit constructions) is less general that your intuitive concept of set, but still it is more general that the axiomatic definitions of set. And it is capable of containing the same logical structures. So Goldblatt and other people headed in the 60's a movement to use topoi as a fundamental notion instead of set. |