Q1. Когда можно сказать, что две программы (написанные на каком-то языке программирования, например C ++) различны? Первая крайность - сказать, что две программы эквивалентны, если они идентичны. Другой крайний случай - говорить, что две программы эквивалентны, если они вычисляют одну и ту же...
Скажем, я работаю в теории гомотопического типа, и мои единственные объекты изучения - это условные категории. Эквивалентности здесь даны функторами F:D⟶CF:D⟶CF:{\bf D}\longrightarrow{\bf C} а также G:C⟶DG:C⟶DG:{\bf C}\longrightarrow{\bf D}которые обеспечивают эквивалентность категорий C≃DC≃D{\bf...
Цветной граф можно описать как кортеж где - граф, а - раскраска. Два цветных графа и называются изоморфными, если существует такой изоморфизм , что выполняется раскраска, т.е. для всех v \ в V (G) .(G,c)(G,c)(G,c)GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow...