Symbolic logic for math and destroy

Вооьще говоря, изоморфные объекты в категории на то и изоморфны, что не отличимы с точки зрения взаимодействия с внешним объектами. Мне было бы интересно, как корректно сформулировать фразу вида "истинность любого логического утверждения, возможно параметризованное каким-то объектами этой (да и другой) категории не зависит от представителя класса изоморфности"