New: categorytheoryAll contenthive-129948hive-196917krzzanhive-183959hive-185836hive-188619hive-180932hive-150122steemhive-166405photographyhive-184714hive-101145hive-183397hive-144064uncommonlabhive-145157hive-193637bitcoinhive-103599hive-193186krsuccesshive-109690hive-139150TrendingNewHotLikersmarkgritter (59)in mathematics • 6 years agoPushouts on labeled graphsAs a follow up to Double Pushouts on Graphs I was trying to understand how things work when we add labels. This caused me some confusion, because I was wondering "which label does the edge…