A categorical model for data structures
| dc.contributor.advisor | Jump, J. Robert | |
| dc.creator | Meyer, Susan Conry | |
| dc.date.accessioned | 2018-12-18T21:23:16Z | |
| dc.date.available | 2018-12-18T21:23:16Z | |
| dc.date.issued | 1973 | |
| dc.description.abstract | In this thesis we consider the problem of modeling data structures. A model based on category theory is proposed in which both the static and dynamic characteristics of data structures can be represented. Data structures are modeled by categories and their dynamic characteristics by functors between these categories. Hierarchical data structures are considered, and examples are given of several common types of information structures and their description within this model. The categorical model for data structures is employed in studying those properties of data structures which are due to their structure alone. This is done by considering the functors between the representations of different data structures in order to study the relationships between them. An indication of when one data structure can be realized in another is given and the class of realizations of a data structure D in another data structure D is characterized. Finally, a sufficient condition is given for the realization of one class of data structures in another. | |
| dc.format.digitalOrigin | reformatted digital | |
| dc.format.extent | 66 pp | |
| dc.identifier.callno | THESIS E.E. 1973 MEYER | |
| dc.identifier.citation | Meyer, Susan Conry. "A categorical model for data structures." (1973) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/104448">https://hdl.handle.net/1911/104448</a>. | |
| dc.identifier.digital | RICE2083 | |
| dc.identifier.uri | https://hdl.handle.net/1911/104448 | |
| dc.language.iso | eng | |
| dc.rights | Copyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder. | |
| dc.title | A categorical model for data structures | |
| dc.type | Thesis | |
| dc.type.material | Text | |
| thesis.degree.department | Electrical Engineering | |
| thesis.degree.discipline | Engineering | |
| thesis.degree.grantor | Rice University | |
| thesis.degree.level | Masters | |
| thesis.degree.name | Master of Science |
Files
Original bundle
1 - 1 of 1