| Publication type: |
Article in Proceedings |
| Author: |
Lutz Schröder |
| Editor: |
Richard Blute |
| Title: |
Classifying categories for partial equational logic |
| Book / Collection title: |
Category Theory and Computer Science (CTCS 02) |
| Volume: |
69 |
| Series: |
Electronic Notes in Theoretical Computer Science |
| Year published: |
2003 |
| Publisher: |
Elsevier Science |
| Abstract: |
Along the lines of classical categorical type theory for total functions, we establish correspondence results between certain classes of partial equational theories on the one hand and suitable classes of categories having certain finite limits on the other hand. E.g., we show that finitary partial theories with existentially conditioned equations are essentially the same as cartesian categories with distinguished domains, and that partial lambda-calculi with internal equality are equivalent to a suitable class of partial cartesian closed categories.
|
| PDF Version: |
http://www.elsevier.com/gej-ng/31/29/23/131/23/show/Products/notes/index.htt#017 |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~lschrode/hascasl/classcat.ps |
| Keywords: |
dominion partial equational logic partial cartesian closed category HasCASL |
| Status: |
Reviewed |
| Last updated: |
27. 02. 2004 |
