Catégorie Logicien britannique