A categorification of non-crossing partitions