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. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
Lack, S., & Sobociński, P. (2006). Toposes are adhesive. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4178 LNCS, pp. 184–198). Springer Verlag. https://doi.org/10.1007/11841883_14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
