Q1. Kapan kita dapat mengatakan bahwa dua program (ditulis dalam beberapa bahasa pemrograman seperti C ++) berbeda? Ekstrem pertama adalah untuk mengatakan bahwa dua program adalah setara jika mereka identik. Ekstrem lainnya adalah dengan mengatakan dua program setara jika mereka menghitung fungsi...
Katakanlah saya bekerja dalam teori tipe homotopy dan satu-satunya objek penelitian saya adalah kategori konvensional. Ekivalensi sini diberikan oleh functors dan G : C ⟶ D yang menyediakan ekuivalensi kategori C ≃ D . Ada isomorfisme alami α : n a t ( F G , 1 C ) dan β : n a t ( G F , 1 D )...
Grafik berwarna dapat digambarkan sebagai tuple mana adalah grafik dan adalah pewarnaannya. Dua grafik berwarna dan dikatakan isomorfis jika ada isomorfisma sedemikian rupa sehingga pewarnaannya dipatuhi, yaitu untuk semua .(G,c)(G,c)(G,c)GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow...