Wiki. 可表函子 [可表函子]

定义

可表函子是米田嵌入的像.