N-category cafe
Encyclopedia
n-category café is a group blog concerning higher category theory
and its applications, as well as its philosophical repercussions. The founders of the blog are John Baez, David Corfield
and Urs Schreiber, and the list of blog authors has extended since. The community associated to ncafé has build also wiki pages nLab
and their associated internet forum nForum, which now run in greater measure independent from ncafé.
Higher category theory
Higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities.- Strict higher categories :...
and its applications, as well as its philosophical repercussions. The founders of the blog are John Baez, David Corfield
David Corfield
David Corfield is a philosopher specializing in mathematics and psychology. He is the author of Towards a Philosophy of Real Mathematics , in which he argues that the philosophical implications of mathematics did not stop with Kurt Gödel's incompleteness theorems...
and Urs Schreiber, and the list of blog authors has extended since. The community associated to ncafé has build also wiki pages nLab
NLab
nLab is a wiki-lab of a novel kind, for collaborative work on mathematics, physics, and philosophy, including original research, with a focus on category theory. The nLab espouses the n-point of view : that category theory and higher category theory provide a useful unifying viewpoint for...
and their associated internet forum nForum, which now run in greater measure independent from ncafé.