二叉树与纤维范畴

我们为二叉树与二元图发展了一种纯集合论的形式体系。我们定义了二元自动机范畴,并将其展示为二元图范畴上的纤维范畴。我们还将二元图的概念与并发计算理论中出现的转移系统相联系。