I have made some minor contributions to wikipedia with information on for example John Robinson, on groupoids, Grothendieck, and the van Kampen theorem. The last three link to my web site and my counter (which registers `came from') shows the utility of these links, among many others. In the past a text had to assume or give an account of basic material. Why give an account of say Yoneda when there is a reasonable one on wiki which a reader can download? So I would encourage category theorists to develop the accounts. Ronnie ----- Original Message ----- From: "Paul Taylor" <pt08@PaulTaylor.EU> To: "Categories list" <categories@mta.ca> Sent: Tuesday, March 04, 2008 2:17 PM Subject: categories: Heyting algebras and Wikipedia
On the subject of Heyting algebras, usage seems to be ambiguous as to whether they should have (and their morphisms preserve) finite joins. I suggest that we should say "Heyting lattice" if they should, and "Heyting semilattice" if not.
More generally, Vaughan said,
Nowadays when I hear "Never heard of x" my subconscious seems to turn it into "never heard of Wikipedia."
...