8 May 2013
Categorification is a fancy word for a process that is pretty ubiquitous in mathematics, though it is usually not referred to as "a thing". With the advent of higher category theory it has, however, become "a thing". I will explain what people mean by this "thing" (sneak preview: it involves replacing sets by categories) and hopefully convince you it is not quite as alien as it may seem and maybe even tempt you to let it infect some of your maths. I'll then explain how this fits into the context of higher categories.