Pages that link to "Item:Q549680"
From MaRDI portal
The following pages link to Collagories: relation-algebraic reasoning for gluing constructions (Q549680):
Displaying 5 items.
- Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
- Towards Certifiable Implementation of Graph Transformation via Relation Categories (Q2915137) (← links)
- Van Kampen Colimits and Path Uniqueness (Q4643957) (← links)
- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras (Q5283211) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
