摘要：用代数的方式解释了将一个任意的布尔函数替换为一个双射函数的过程，这是可逆计算和密码学中的一种基本工具。这种构造不仅可以从群推广到幺半群，而且更一般地可以应用于任意有限完备范畴的内部范畴中，从而成为某些离散纤维之间的笛卡尔同构。
作者：Laurent Poinsot (CReA), Hans-E Porst
论文ID：2112.02873
分类：Category Theory
分类简称：math.CT
提交时间：2022-08-25
PDF 下载： 英文版 中文版pdf翻译中