Generalising the structure-semantics adjunction : operational categories
The idea of an operational category over A generalizes the notions of tripleable and equational category over A, and also the dual notions of cotripleable and coequational category. An operational category, U:D (--->) A is given by a presentation ((theta),H) (UNFORMATTED TABLE FOLLOWS) === D C(&#...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1984
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=71915 |