The Library
Category-theoretic solution of recursive domain equations
Tools
Tools
Tools
Smyth, M. B. (Michael B.) (1976) Category-theoretic solution of recursive domain equations. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
|
Text
WRAP_Smyth_cs-rr-014.pdf - Published Version Download (691Kb) | Preview |
Abstract
The solution of a recursive domain equation, of the form D ~= F(D) may be viewed as the finding of a fixpoint (up to isomorphism) of the functor F. This has led to the idea of formulating a category-theoretic analogue of Tarski's fixpoint theorem for lattices, as a basis for a general method of solution for this kind of equation; see especially Reynolds [1], Wand [2], Plotkin [3].
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Categories (Mathematics) | ||||
| Series Name: | Theory of Computation Report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | July 1976 | ||||
| Dates: |
|
||||
| Number: | Number 14 | ||||
| Number of Pages: | 12 | ||||
| DOI: | CS-RR-014 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Access rights to Published version: | Open Access (Creative Commons) | ||||
| Date of first compliant deposit: | 1 August 2016 | ||||
| Date of first compliant Open Access: | 1 August 2016 |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
