论层级与类型态射之间的关系

On the relationship between hierarchy and type morphisms

• Amanda Friedenberg 通讯
• Martin Meier