The University of Southampton
University of Southampton Institutional Repository

Toposes are adhesive

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
Lack, Stephen
be2e6b42-a138-41d4-9ee9-eb476d698401
Sobocinski, Pawel
439334ab-2826-447b-9fe5-3928be3fd4fd

Lack, Stephen and Sobocinski, Pawel (2006) Toposes are adhesive At International Conference on Graph Transformation (ICGT '06), Brazil. 17 - 23 Sep 2006. , pp. 184-198.

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.

Full text not available from this repository.

More information

Published date: 2006
Additional Information: Event Dates: September 17-23, 2006Funded by EPSRC: Foundations of Process Calculi and Contextual Systems (EP/D066565/1)
Venue - Dates: International Conference on Graph Transformation (ICGT '06), Brazil, 2006-09-17 - 2006-09-23
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 263361
URI: https://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: 07 Dec 2017 17:31

Export record

Contributors

Author: Stephen Lack
Author: Pawel Sobocinski

University divisions

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

Library staff edit
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×