John Baez is preparing a colloquium at the Perimeter Institute where the application of Category Theory (CT) to quantum spacetime will be discussed. This page contains links to (a few) introductory and (many) advanced papers on how the ideas of CT (and its generalization to n-categories) can be used to analyze the category of Hilbert spaces.
I’ve developed a lively interest in CT during my computer science wanderings , and even wrote an elementary introduction (geared to programmers) that you may find useful (if you’re new to the field and don’t mind digressions into computer programming).
Categories are deceptively simple: they abstract the notion of sets and their morphisms, or, if you prefer, of objects and their transformations. Thus, a category is defined as a set of objects related by arrows that are composable (in the functional sense). Composition is associative and there’s an identity arrow for each object in…
View original post 780 more words