n实验室顶部

上下文

$(0,1)$ -范畴理论

$\幻影{-}$ 符号 $\幻影{-}$	$\幻影{-}$ 在里面逻辑 $\幻影{-}$
$\幻影{A}$ $\英寸$	$\幻影{A}$ 要素关系
$\幻影｛A｝$ $\,:$	$\幻影｛A｝$ 打字关系
$\幻影{A}$ $=$	$\幻影{A}$ 平等
$\幻影{A}$ $\vdash公司$ $\幻影{A}$	$\幻影{A}$ 牵连/顺序 $\幻影{A}$
$\幻影{A}$ $\顶部$ $\幻影{A}$	$\幻影{A}$ 真的/顶部 $\幻影{A}$
$\幻影{A}$ $\机器人程序$ $\幻影{A}$	$\幻影{A}$ 假/底部 $\幻影{A}$
$\幻影｛A｝$ $\向右箭头$	$\幻影{A}$ 含义
$\幻影{A}$ $\左向右箭头$	$\幻影{A}$ 逻辑等价
$\幻影{A}$ $\不是$	$\幻影{A}$ 否定
$\幻影{A}$ $\neq（国家标准）$	$\幻影{A}$ 否定属于平等/隔绝 $\幻影{A}$
$\幻影{A}$ $\诺丁$	$\幻影{A}$ 否定属于要素关系 $\幻影{A}$
$\幻影{A}$ $\不是$	$\幻影｛A｝$ 否定之否定 $\幻影｛A｝$
$\幻影{A}$ $\存在$	$\幻影{A}$ 存在量词 $\幻影{A}$
$\幻影{A}$ $\对于所有人$	$\幻影{A}$ 通用量化 $\幻影{A}$
$\幻影{A}$ $\楔子$	$\幻影{A}$ 逻辑连词
$\幻影{A}$ $\V形$	$\幻影{A}$ 逻辑析取

符号	在里面类型理论(命题作为类型)
$\幻影{A}$ $\至$	$\幻影{A}$ 函数类型(含义)
$\幻影｛A｝$ $\次$	$\幻影{A}$ 产品类型(结合)
$\幻影{A}$ $+$	$\幻影{A}$ 总和类型(间断)
$\幻影{A}$ $0$	$\幻影{A}$ 空类型(假)
$\幻影{A}$ $1$	$\幻影{A}$ 单元类型(真的)
$\幻影{A}$ $=$	$\幻影{A}$ 身份类型(平等)
$\幻影{A}$ $\西马克$	$\幻影{A}$ 类型的等价性(逻辑等价)
$\幻影{A}$ $\总和$	$\幻影{A}$ 相依和类型(存在量词)
$\幻影｛A｝$ $\触头$	$\幻影{A}$ 依赖产品类型(全称量词)

符号	在里面线性逻辑
$\幻影{A}$ $\多重映射$ $\幻影{A}$	$\幻影{A}$ 线性蕴涵 $\幻影{A}$
$\幻影{A}$ $\奥蒂姆$ $\幻影{A}$	$\幻影{A}$ 乘法连词 $\幻影{A}$
$\幻影{A}$ $\奥普拉斯$ $\幻影｛A｝$	$\幻影{A}$ 加性析取 $\幻影{A}$
$\幻影{A}$ $\&$ $\幻影{A}$	$\幻影{A}$ 加性结合 $\幻影{A}$
$\幻影{A}$ $\入侵$ $\幻影{A}$	$\幻影{A}$ 乘法析取 $\幻影{A}$
$\幻影{A}$ $\;!$ $\幻影{A}$	$\幻影{A}$ 指数结合 $\幻影{A}$
$\幻影｛A｝$ $\;?$ $\幻影｛A｝$	$\幻影{A}$ 指数析取 $\幻影{A}$

上次修订时间：2018年7月3日07:04:45。请参阅历史获取所有贡献的列表。

n实验室顶部

上下文

$(0,1)$ -范畴理论

定理

目录

想法

相关概念

n实验室顶部

上下文

(0,1)(0,1)-范畴理论

定理

目录

想法

相关概念

$(0,1)$ -范畴理论