如何用图证明等式（第三部分）：从裸范畴扩展到有限积范畴

该系列第三篇把 initial functor 语义从裸范畴推广到有限积范畴，用于图形式的等式推理。核心结论是 initial functor 的定义几乎无需改动，只需额外要求它保持积，因此可直接沿用原有形式化规则。文中以项图（term graph）编码多元运算的等式系统，并给出示例计算。