代管是光学
摘要：购房者将资金锁定直到从卖家那里获得所需商品。我们为托管提供了一种范畴解释，即在无信任环境中的交易协议，其中两个代理之间的交流由第三方进行调解。简化的托管系统可以被建模为在单调范畴的眼镜类别中的某种态射。当基本范畴中的对象具有幺半群和余幺半群结构时，更复杂的"带中介人"托管可以被建模为具有类似行为特性的态射。
作者：Fabrizio Genovese, Fosco Loregian, Daniele Palombi
论文ID：2105.10028
分类：Category Theory
分类简称：math.CT
提交时间：2023-06-27