Toposes are adhesive
Lack, Stephen and Sobocinski, Pawel (2006) Toposes are adhesive. In, International Conference on Graph Transformation (ICGT '06), Natal, Brazil, 17 - 23 Sep 2006. Springer, 184-198.
Download
Full text not available from this repository.
Description/Abstract
Adhesive categories have recently been proposed as a categorical foundation for facets of the theory of graph transformation, and have also been used to study techniques from process algebra for reasoning about concurrency. Here we continue our study of adhesive categories by showing that toposes are adhesive. The proof relies on exploiting the relationship between adhesive categories, Brown and Janelidze's work on generalised van Kampen theorems as well as Grothendieck's theory of descent.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: September 17-23, 2006 |
| ISBNs: | 3540388702 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 263361 |
| Date Deposited: | 01 Feb 2007 |
| Last Modified: | 20 Aug 2012 04:18 |
| Contributors: | Lack, Stephen (Author) Sobocinski, Pawel (Author) |
| Date: | 2006 |
| Additional Information: | Event Dates: September 17-23, 2006 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| ISI Citation Count: | 6 |
| URI: | http://eprints.soton.ac.uk/id/eprint/263361 |
Actions (login required)
 |
View Item |
