Penafian: Saya bukan ahli teori CS.
Berasal dari aljabar abstrak, saya terbiasa berurusan dengan hal-hal yang setara dengan isomorfisme - tetapi saya mengalami kesulitan menerjemahkan konsep ini ke struktur data. Saya pertama kali berpikir bahwa set lurus morfisme bijective teoritis akan mencukupi, tapi saya berlari ke dinding cukup cepat - itu hanya penyandian dan tidak menangkap esensi komputasi dari struktur data.
Apakah ada definisi yang lebih membatasi (tetapi lebih bermanfaat)? (Atau jika tidak, mengapa?) Apakah ada definisi kanonik kategori "struktur data yang dibangun"?