论箭图斜撑、其理想与积

箭图斜撑或斜撑胚等价于辫群胚，即具有交换性约束的群胚。它们是斜撑的箭图理论版本，斜撑是一种位于群论与环论交叉点的、日益受到关注的结构。在本文中，我们针对两种态射概念，定义了箭图斜撑的理想与商。延续我们先前工作（2025）的轨迹，我们为箭图斜撑的范畴定义了一个经典的布朗式半直积，以及一个范畴化的 Bourn 与 Janelidze 式半直积。众所周知，连通群胚可以表示为一个回路群与一个顶点集的数据。我们证明了这种分解对于箭图斜撑并不成立，这使得其理论比群胚理论更为丰富。