Haftungsausschluss: Ich bin kein CS-Theoretiker.
Aus der abstrakten Algebra kommend bin ich es gewohnt, mit Dingen umzugehen, die einem Isomorphismus gleichkommen - aber ich habe Probleme, dieses Konzept in Datenstrukturen zu übersetzen. Ich dachte zuerst, dass gerade aufgestellte theoretische bijektive Morphismen ausreichen würden, aber ich bin ziemlich schnell auf eine Wand gestoßen - das sind nur Kodierungen und erfassen nicht die rechnerische Essenz der Datenstruktur.
Gibt es eine restriktivere (aber nützlichere) Definition? (Oder wenn nicht, warum?) Gibt es eine kanonische Definition der Kategorie "konstruierter Datenstrukturen"?