主要观点：本文将数学工具应用于软件系统中包依赖的研究，引入了带选择的依赖结构（DSC），并展示其与反拟阵范畴同构，研究了等价范畴的精确性属性等，还构建了从特定 DSC 范畴到有限分配格范畴的函子，并引入了包版本的形式描述和包版本约束策略。
关键信息：版本 3 有较大变化，尤其在第 5 节；学科领域为范畴论（math.CT）和计算机科学逻辑（cs.LO）；可引用[arXiv:2302.05417]或[arXiv:2302.05417v3]；有提交历史，从 2023 年 2 月 10 日 v1 到 2023 年 8 月 22 日 v2 再到 2024 年 10 月 11 日 v3，文件大小从 41KB 变为 52KB。
重要细节：DSC 受并发研究中一般事件结构定义启发；介绍了 DSC 的特定态射概念；研究了等价范畴的有限完备性、有限余积等属性；利用 Bruns-Lakser 完成的简单有限特征构建函子等。