information about Higher category theory field