Adhesive category

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Adhesive category" – news · newspapers · books · scholar · JSTOR (May 2014) (Learn how and when to remove this message)

|

This article possibly contains original research. Please improve it by verifying the claims made and adding inline citations. Statements consisting only of original research should be removed. (April 2014) (Learn how and when to remove this message)

|

This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (January 2013) (Learn how and when to remove this message)

|

(Learn how and when to remove this message)

In mathematics, an adhesive category is a category where pushouts of monomorphisms exist and work more or less as they do in the category of sets. An example of an adhesive category is the category of directed multigraphs, or quivers, and the theory of adhesive categories is important in the theory of graph rewriting.

More precisely, an adhesive category is one where any of the following equivalent conditions hold:

* C has all pullbacks, it has pushouts along monomorphisms, and pushout squares of monomorphisms are also pullback squares and are stable under pullback.
* C has all pullbacks, it has pushouts along monomorphisms, and the latter are also (bicategorical) pushouts in the bicategory of spans in C.

If C is small, we may equivalently say that C has all pullbacks, has pushouts along monomorphisms, and admits a full embedding into a Grothendieck topos preserving pullbacks and preserving pushouts of monomorphisms.

## References

[edit]

* Steve Lack and Pawel Sobocinski, Adhesive categories, Basic Research in Computer Science series, BRICS RS-03-31, October 2003.
* Richard Garner and Steve Lack, "On the axioms for adhesive and quasiadhesive categories", Theory and Applications of Categories, Vol. 27, 2012, No. 3, pp 27–46.
* Steve Lack and Pawel Sobocinski, "Toposes are adhesive".
* Steve Lack, "An embedding theorem for adhesive categories", Theory and Applications of Categories, Vol. 25, 2011, No. 7, pp 180–188.

## External links

[edit]

* Adhesive category at the nLab

This category theory-related article is a stub. You can help Wikipedia by expanding it.

|

* v
* t
* e

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template