A类自然转化 之间仿函数 属于类别 和被称为自然同构,如果组件是一个同构在里面.
此条目由贡献克里斯托弗斯托弗
更多需要尝试的事情:
克里斯托弗·斯托弗“自然同构”摘自数学世界--Wolfram Web资源,创建人埃里克韦斯特因.https://mathworld.wolfram.com/NaturalIsomorphis.html