tabular 里面弄个链接就寄了

[ice1000]

\begin{tabular}{c|c|c}
    集合论 & 类型论 & 范畴论 \\
    集合 & 类型 & 对象 \\
    元素 & 实例 & 态射 \\
    命题 & 满足某个关系的类型 & [[子对象分类器|意象]]
\end{tabular}

[abccsss]

像 LaTeX 一样, & [ 和 \\ [ 会被认为是可选参数, 需要写 &{} [[...]].

不过我有空来修复.

[ice1000]

草