关于行动可访问性和弱行动可表示类别之间关系的注记
摘要：论文的主要目的是展示已知蕴含的逆命题“弱行为可表示蕴含行为可达性”是错误的。特别是我们证明了即使对于品种而言，无论是行为可达性还是要求所有正规化元存在的条件（至少形式上更强）都不能暗示弱行为可表示性。此外，我们还展示了与行为可达性和要求所有正规化元存在的条件相反，弱行为可表示性不一定会通过Birkoff子类继承。
作者：James Richard Andrew Gray
论文ID：2207.06149
分类：Category Theory
分类简称：math.CT
提交时间：2022-07-14