Collagories: relation-algebraic reasoning for gluing constructions (Q549680): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68Q42 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03G15 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 18B10 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 5925508 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
relation-algebraic graph transformation | |||
| Property / zbMATH Keywords: relation-algebraic graph transformation / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
collagory | |||
| Property / zbMATH Keywords: collagory / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
allegory | |||
| Property / zbMATH Keywords: allegory / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
locally-ordered category | |||
| Property / zbMATH Keywords: locally-ordered category / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
semi-unary algebra | |||
| Property / zbMATH Keywords: semi-unary algebra / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
reduct restriction | |||
| Property / zbMATH Keywords: reduct restriction / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
co-tabulation | |||
| Property / zbMATH Keywords: co-tabulation / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Lax colimit | |||
| Property / zbMATH Keywords: Lax colimit / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
pushout | |||
| Property / zbMATH Keywords: pushout / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
adhesive category | |||
| Property / zbMATH Keywords: adhesive category / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Van Kampen square | |||
| Property / zbMATH Keywords: Van Kampen square / rank | |||
Normal rank | |||
Revision as of 13:18, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Collagories: relation-algebraic reasoning for gluing constructions |
scientific article |
Statements
Collagories: relation-algebraic reasoning for gluing constructions (English)
0 references
18 July 2011
0 references
relation-algebraic graph transformation
0 references
collagory
0 references
allegory
0 references
locally-ordered category
0 references
semi-unary algebra
0 references
reduct restriction
0 references
co-tabulation
0 references
Lax colimit
0 references
pushout
0 references
adhesive category
0 references
Van Kampen square
0 references
