Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Back to Simple Search

Advanced Search

Match of the following rules

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

Currently displaying 1 – 11 of 11

Order by Relevance | Title | Year of publication

Adhesive and quasiadhesive categories

Stephen Lack; Paweł Sobociński — 2005

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.

Adhesive and quasiadhesive categories

Stephen Lack; Paweł Sobociński — 2010

RAIRO - Theoretical Informatics and Applications

We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict attention to regular monomorphisms. Many examples of graphical structures used in computer science are shown to be examples of adhesive and quasiadhesive categories. Double-pushout graph rewriting generalizes well to rewriting on arbitrary adhesive and quasiadhesive categories.

Composing PROPs.

Lack, Stephen — 2004

Theory and Applications of Categories [electronic only]

A note on the exact completion of a regular category, and its infinitary generalizations.

Lack, Stephen — 1999

Theory and Applications of Categories [electronic only]

Bicat is not triequivalent to Gray.

Lack, Stephen — 2007

Theory and Applications of Categories [electronic only]

The 3-by-3 lemma for regular Goursat categories.

Lack, Stephen — 2004

Homology, Homotopy and Applications

On the monadicity of categories with chosen colimits.

Kelly, G.M.; Lack, Stephen — 2000

Theory and Applications of Categories [electronic only]

The extensive completion of a distributive category.

Cockett, J.R.B.; Lack, Stephen — 2001

Theory and Applications of Categories [electronic only]

$𝔙$ -Cat is locally presentable or locally bounded if $𝔙$ is so.

Kelly, G.M.; Lack, Stephen — 2001

Theory and Applications of Categories [electronic only]

On property-like structures.

Kelly, G.M.; Lack, Stephen — 1997

Theory and Applications of Categories [electronic only]

Coalgebras, braidings, and distributive laws.

Kasangian, Stefano; Lack, Stephen; Vitale, Enrico M. — 2004

Theory and Applications of Categories [electronic only]

Page 1

Download Results (CSV)