Что такое тождество?

deep_econom — 10.08.2023 Что такое тождество?

Пример демонстрирует, что эквивалентность/равенство/тождество зависит от процедуры установления этого.

Псевдокод на питоне.
a, b - произвольные сущности, произвольные объекты/процессы
proc_morphism(a, b) - функция, реализующая сравнение сущностей

def are_equality(a, b, proc_morphism):
if proc_morphism(a, b):
print("сущности эквивалентны")
else:
print("сущности не эквивалентны")

Фишка в том, что proc_morphism - функция (процедура) сравнения передается в качестве параметра.
Т.е. для установления тождественности нужно три параметра, т.е какую процедуру сравнения задашь, такой результат и получишь.
Часто, proc_morphism вообще не упоминается, а подразумевается неявно.

—
proc_morphism - функция названа процедурой(!) по причине того, что это процедура (рецепт, алгоритм, система физических действий/команд) осуществления сравнения. Но в смысле языка программирования, это функция.


И привет Воеводскому, аксиома унивалентности.
(A = B) ≃ (A ≃ B)

Варианты интерпретации.
Отношение тождества связано с отношением эквивалентности отношением эквивалентности.
Тождество эквивалентно эквивалентности.

Код вверху, как раз говорит об этом.
Тождественность - это процедура установления установления эквивалентности двух сущностей с помощью специальной процедуры.
Тождественность - это процедура вызова специальной процедуры.

ps
Аксиома унивалентности
https://ru.wikipedia.org/wiki/Гомотопическая_теория_типов

Абстракция тождественности, абстракция равенства.
https://deep-econom.livejournal.com/962049.html

Оставить комментарий

Популярные посты:

• Ранее
• Архив