About: Adhesive category

An Entity of Type: television station, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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:

Property Value
dbo:abstract
  • 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. (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 39274656 (xsd:integer)
dbo:wikiPageLength
  • 2151 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1016559112 (xsd:integer)
dbo:wikiPageWikiLink
dbp:bot
  • InternetArchiveBot (en)
dbp:date
  • June 2020 (en)
dbp:fixAttempted
  • yes (en)
dbp:id
  • adhesive+category (en)
dbp:title
  • Adhesive category (en)
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • 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: (en)
rdfs:label
  • Adhesive category (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License