Better Than Wikipedia

Today I discovered a site similar to wikipedia in the sense that you can get into long, deep investigations of topics based on links in articles that can lead all sorts of places. This site is: http://nlab.mathforge.org/nlab. I found it while looking at the n-category cafe blog.

Some articles- the term evil in category theory: http://nlab.mathforge.org/nlab/show/evil, type theory: http://nlab.mathforge.org/nlab/show/type+theory, and the notion of a theory in the sense of an algebraic theory or a type theory http://nlab.mathforge.org/nlab/show/theory.

I've been trying to understand categorical type theory and the semantics of type theories over the lambda calculus as the internal language of certain categories for a while. The nice thing about this site is that all the articles are either just beyond my reach or much beyond my reach, as if you are not completely confused you are not learning fast enough!