可表函子 编辑
可表函子是在数学中范畴论里的概念，指从任意范畴到集合范畴的一种特殊函子。这种函子将抽象的范畴表达成人们熟知的结构，从而使得对集合范畴的了解可以尽可能应用到其它环境中。
1