formal categories