Penafian: Saya tahu sedikit tentang teori kompleksitas.
Maaf, tetapi benar-benar tidak ada cara untuk mengajukan pertanyaan ini tanpa (sangat) singkat:
Apa yang seharusnya menjadi morfisme dalam kategori "the" dari mesin Turing?
Ini jelas subyektif dan tergantung pada interpretasi seseorang terhadap teori, jadi jawaban untuk pertanyaan ini idealnya harus memberikan beberapa bukti dan alasan yang mendukung jawaban juga.
Saya ingin menekankan bahwa saya sedang mencari kategori mesin Turing dan bukan bahasa formal misalnya. Khususnya saya pikir morfisme saya harus mengandung informasi yang lebih baik kemudian pengurangan atau hal-hal seperti itu (saya tidak yakin).
Tentu saja jika sudah ada kategori yang terkenal dan digunakan dalam literatur saya ingin tahu apa itu.