Toposes are adhesive

Stephen Lack; Pawel Sobocinski

Toposes are adhesive

Stephen Lack, Pawel Sobocinski

Research output: Contribution to journal › Article

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.

Original language	English
Journal	Lecture Notes in Computer Science
Publication status	Published - 2006

Keywords

graph transformation
toposes

Cite this

@article{9e0e1bc35d9a444bb363413e9315f109,

title = "Toposes are adhesive",

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{\~A}¢{\^a}‚¬{\^a}„¢s work on generalised van Kampen theorems as well as Grothendieck{\~A}¢{\^a}‚¬{\^a}„¢s theory of descent.",

keywords = "graph transformation, toposes",

author = "Stephen Lack and Pawel Sobocinski",

year = "2006",

language = "English",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}

TY - JOUR

T1 - Toposes are adhesive

AU - Lack, Stephen

AU - Sobocinski, Pawel

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - graph transformation

KW - toposes

UR - http://handle.uws.edu.au:8081/1959.7/35061

M3 - Article

SN - 0302-9743

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -

Toposes are adhesive

Abstract

Keywords

Other files and links

Fingerprint

Cite this