Internal languages of higher categories