Personal tools

Talk:Pointfree

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(pointed out the notion of pointless toposes)

Revision as of 02:06, 14 February 2009

There is a notion of "pointless" toposes. It seems to me that "pointfree" is related to this idea. Some explanation follows.

A topos is thought of as a model for set theory. Hence it is natural to calculate with "elements". A topos is also a model for sheaves on a space. In that case it is natural to calculate with "stalks". In either case, we associate (functorially) to each object of our category a set "made up of elements" and then do the calculation with these elements. There are "pointless" toposes (for example the Deligne-Barr topos) so one should learn to carry out topos theoretic calculations with the crutch of "elements" or "points".

kapil 02:06, 14 February 2009 (UTC)