Author:
Power A. J.,Wells Charles
Abstract
A type of higher-order two-dimensional sketch is defined which has models in suitable 2-categories. It has as special cases the ordinary sketches of Ehresmann and certain previously defined generalizations of one-dimensional sketches. These sketches allow the specification of constructions in 2-categories such as weighted limits, as well as higher-order constructions such as exponential objects and subobject classifiers, that cannot be sketched by limits and colimits. These sketches are designed to be the basis of a category-based methodology for the description of functional programming languages, complete with rewrite rules giving the operational semantics, that is independent of the usual specification methods based on formal languages and symbolic logic. A definition of ‘path grammar’, generalizing the usual notion of grammar, is given as a step towards this goal.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference29 articles.
1. Flexible limits for 2-categories
2. Barr M. and Wells C. (1990b) On the limitations of sketches. To appear.
3. Review of the elements of 2-categories;Kelly;Proc. Sydney Category Theory Seminar 1972/1973. Springer Lecture Notes in Mathematics,1973
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Lax naturality through enrichment;Journal of Pure and Applied Algebra;1996-10
2. SProc Categorically;CONCUR '94: Concurrency Theory;1994
3. 2-Categorical specification of partial algebras;Recent Trends in Data Type Specification;1994