Toposes are adhesive
Toposes are adhesive
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.
3-540-38870-2
184-198
Lack, Stephen
be2e6b42-a138-41d4-9ee9-eb476d698401
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
2006
Lack, Stephen
be2e6b42-a138-41d4-9ee9-eb476d698401
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd
Lack, Stephen and Sobocinski, Pawel
(2006)
Toposes are adhesive.
International Conference on Graph Transformation (ICGT '06), Natal, Brazil.
16 - 22 Sep 2006.
.
Record type:
Conference or Workshop Item
(Paper)
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.
This record has no associated files available for download.
More information
Published date: 2006
Additional Information:
Event Dates: September 17-23, 2006
Funded by EPSRC: Foundations of Process Calculi and Contextual Systems (EP/D066565/1)
Venue - Dates:
International Conference on Graph Transformation (ICGT '06), Natal, Brazil, 2006-09-16 - 2006-09-22
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 263361
URI: http://eprints.soton.ac.uk/id/eprint/263361
ISBN: 3-540-38870-2
PURE UUID: ec7f73c6-3c8e-4181-9146-24a6db89d09f
Catalogue record
Date deposited: 01 Feb 2007
Last modified: 08 Jan 2022 00:00
Export record
Contributors
Author:
Stephen Lack
Author:
Pawel Sobocinski
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics