A two-dimensional extension of Lambek's categorical proof theory /
The notion of cartesian closed bicategory is presented, and use of the resulting entities is made to reinterpret, in a uniform and consistent way, the standard work of Lambek and Scott in categorical proof theory [LS]. (Cartesian closed) bicategories are a two-dimensional analogue, or extension, of...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
McGill University
1997
|
| Subjects: | |
| Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=20277 |