Pytanie 1 Kiedy możemy powiedzieć, że dwa programy (napisane w jakimś języku programowania, takim jak C ++) są różne? Pierwszą skrajnością jest stwierdzenie, że dwa programy są równoważne, jeśli są identyczne. Inną skrajnością jest stwierdzenie, że dwa programy są równoważne, jeśli obliczają tę...
Powiedzmy, że pracuję w teorii typów homotopii, a moim jedynym przedmiotem badań są kategorie konwencjonalne. Równoważności są podane przez funktory i które zapewniają równoważność kategorii . Istnieją naturalne izomorfizmy i więc ten funktor i „odwrotny” funktor są przekształcane w funktor...
Kolorowy wykres można opisać jako krotkę (G,c)(G,c)(G,c)gdzie jest wykresem, a jest kolorem. Mówi się, że dwa kolorowe wykresy i są izomorficzne, jeśli istnieje izomorfizm prawy tak, że przestrzegane jest zabarwienie, tj. dla wszystkich .GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow...