我试图找到有限呈现类别的等价问题的计算复杂性的特征。
给定两个类别 C 和 D，等价是两个函子 F : C -> D 和 G : D -> C 和两个自然同构 FG -> I_D 和 I_C -> GF，其中 I_C : C -> C 和 I_D : D -> D 是 C 和 D 上的恒等函子。
等价问题是确定两个有限呈现类别是否存在等价。这个问题是不可判定的，但我希望它仍然是递归可枚举或协递归可枚举的。任何帮助将不胜感激。
我试图找到有限呈现类别的等价问题的计算复杂性的特征。
给定两个类别 C 和 D，等价是两个函子 F : C -> D 和 G : D -> C 和两个自然同构 FG -> I_D 和 I_C -> GF，其中 I_C : C -> C 和 I_D : D -> D 是 C 和 D 上的恒等函子。
等价问题是确定两个有限呈现类别是否存在等价。这个问题是不可判定的，但我希望它仍然是递归可枚举或协递归可枚举的。任何帮助将不胜感激。