Towards Higher Categories (The IMA Volumes in