Toposes are adhesive

Stephen Lack*, Pawel Sobociński

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

22 Citations (Scopus)

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 languageEnglish
Title of host publicationGraph Transformations
Subtitle of host publicationThird International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
EditorsAndrea Corradini, Ugo Montanari, Hartmut Ehrig, Leila Ribeiro
Place of PublicationBerlin; New York
PublisherSpringer, Springer Nature
Pages184-198
Number of pages15
ISBN (Electronic)9783540388722
ISBN (Print)3540388702, 9783540388708
DOIs
Publication statusPublished - Sep 2006
Externally publishedYes
Event3rd International Conference on Graph Transformations, ICGT - 2006 - Natal, Brazil
Duration: 17 Sep 200623 Sep 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4178 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other3rd International Conference on Graph Transformations, ICGT - 2006
CountryBrazil
CityNatal
Period17/09/0623/09/06

Fingerprint Dive into the research topics of 'Toposes are adhesive'. Together they form a unique fingerprint.

Cite this