未登录(登录)

未登录

想参加这些讨论吗？如果您有帐户，请登录，或申请以下帐户

  • 使用OpenID登录

站点标记云

2类 2类理论 阿贝尔范畴 伴随 代数 代数的 代数几何 代数拓扑 分析 解析几何 算术 算术几何 书 捆 微积分 绝对的 类别 类别 分类理论 chern-weil理论 凝聚 粘性同伦型理论 上同调 结肠炎 组合学 复杂的 络合几何 可计算数学 计算机科学 建设性的 宇宙学 变形理论 下降 图表 有差别的 差异同源性 微分方程 微分几何 二合字母 二元性 椭圆同调 丰富 纤维化 基础 基础 功能分析 函子 规范理论 蛤蟆 几何量化 几何学 图表 图 重力 格罗滕迪克 组 群体理论 谐波分析 较高的 高代数 高类别理论 高微分几何 高几何 高寿命理论 高阶理论 同源的 同调代数 同伦 同伦理论 同构型理论 指数理论 集成 集成理论 k理论 谎言 限制 线性的 线性代数 区域设置 本地化 逻辑 数学 测量理论 情态动词 模态逻辑 模型 模型分类理论 单子 单子 单体的 单科分类理论 同构 动机 动力同源性 信息 国家实验室 非对易的 非对易几何 数论 属于 歌剧 操作人员 算子代数 秩序理论 页 粘贴 哲学 物理学 问题对象 可能性 概率论 量化 量子 量子场 量子场论 量子力学 量子物理学 量子理论 问题 表示 陈述理论 黎曼几何 方案 计划 设置 集合理论 捆 滑轮 简单的 空间 自旋几何 稳恒原理 堆栈 一串 弦理论 超代数 超几何 高级副总裁 辛几何 综合微分几何 术语 理论 拓扑 地形 拓扑理论 tqft公司 类型 类型理论 普遍的 变量微积分

香草1.1.10是的产品卢萨莫。更多信息：文档,社区支持.

欢迎来到nForum
如果你想参加这些讨论立即登录（如果您有账户），现在申请一个（如果你不这样做）。

n实验室> 最新更改预升类别的功能

页面底部

第1至8页，共8页

  1.  
    • 注释行编号1
    • 评论作者阿努伊茨
    • 评论时间2020年1月28日

    增加了关于完全忠实函子的引理。

    很抱歉出现了混乱，似乎没有预览编辑的方法。

    差异,第3版,现在的

  2. 谢谢。“乱七八糟”是什么意思？我在“RL”中引入了一个空间，使其在Itex中工作，R（右）我R升.

    • 注释行编号三。
    • 评论作者阿努伊茨
    • 评论时间2023年3月3日

    链接到免费的协同补足和松懈的2-monad。

    差异,版本5,现在的

    • 注释行编号4
    • 评论作者阿努伊茨
    • 评论时间2023年3月3日
    @David_Corfield：关于“混乱”：我可能在几个部分编辑中添加了这个引理，但似乎nLab有一个很好的方法来自动完成这些。
    • 注释行编号5
    • 评论作者瓦尔科尔
    • 注释时间2023年3月3日

    此内容是否有助于折叠到上的主页预应力类别?

    • 注释行编号6.
    • 评论作者阿努伊茨
    • 评论时间2023年3月5日

    用（自然）同构替换等式。

    差异,v6版本,现在的

    • 注释行编号7
    • 评论作者阿努伊茨
    • 评论时间2024年2月16日

    功能性w.r.t.亵渎者。

    差异,第7版,现在的

    • 注释行编号8.
    • 评论作者阿努伊茨
    • 评论时间2024年2月16日

    解释伴随三元组的构成函子。

    差异,第7版,现在的

第1至8页，共8页

  1.