Presheaves as Configured Specifications

Presheaves as Configured Specifications (1999)

Cached

Download Links

[www.doc.ic.ac.uk]
[theory.doc.ic.ac.uk]

Other Repositories/Bibliography

DBLP

by Steven Vickers , Gillian Hill

Citations:

1 - 0 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Presheaves as Configured Specifications	user correction - Legacy Corrections
AUTHOR NAME	Steven Vickers	user correction - Legacy Corrections
AUTHOR AFFIL	; 1; 2; 1; Department of Computing, Imperial College; 2; Department of Computer Science, City University; EC1V OHB and Department of Computing, Imperial College	user correction - Legacy Corrections
AUTHOR ADDR	; and Gillian Hill; London SW7 2BZ, UK;; Northampton Square, London,; London SW7 2BZ, UK.	user correction - Legacy Corrections
AUTHOR NAME	Gillian Hill	user correction - Legacy Corrections
ABSTRACT	The paper addresses a notion of configuring systems, constructing them from specified component parts with stipulated sharing. This notion is independent of any underlying specification language and has been abstractly identified with the taking of colimits in category theory. In particular, Oriat has shown how to use a category of diagrams Diag(C) to express colimits of primitive specifications from a category C. Mathematically it is known that these can equally well be expressed by presheaves over C and the present paper applies this idea to configuration. We develop an algebraic account of presheaves, and show that Oriat's category Diag(C) is equivalent to the category of finitely presented presheaves over C. The presheaf structure is interpreted in terms of instances of specifications and instance reduction and a configuration language is outlined that expresses precisely the finite presentations of presheaves but also describes configuration in a natural way.	user correction - Legacy Corrections
YEAR	1999	user correction - Legacy Corrections
CITATIONS	15 found	ParsCit 1.0