用户讨论: Ice1000
> 不要用类型论的观点来介绍主流数学的对象, 也不要将类型论的内容放进主流数学的分类 (例如分类: 范畴论) 中
了解. 我写那几个词条的主要动机是我想写概括范畴和类型论的范畴模型. 这些东西依赖纤维范畴, 于是我就把我理解中的纤维范畴写进去了. 我写的时候并不知道这是类型论视角, 我的参考来源主要是 nLab 和一些类型论的书中对范畴论的讲解. 我以后尽量直接找你们求助, 而不是去自己写一些数学里比较主流的词条.
另外, 类型论的范畴模型可以放进范畴逻辑里面吗? 我觉得这个分类比较适合.
> 尽可能使用 cd 而不是 tikzcd 来画交换图.
了解.
> 按照帮助: 参考文献的格式添加参考文献.
我之前是照着同伦类型论词条的格式写的. 我后来发现该词条有众多问题, 且 Trebor 似乎不会再修改、维护这个词条. 但在这之前, 我已经带着我留下的印象写了很多东西了. 希望管理员可以帮助我一一修改这些问题. 引用格式只是其中之一, 还有很多翻译问题.
> 在源码中使用半角标点.
按照我的理解, 现在有源码里标点的自动转换, 因此我写全角实际上就等于写半角. 是我的理解有问题还是说有一些例外的符号不会被转化?
> 在百科页面中避免定义新命令.
了解.
> 希望管理员可以帮助我一一修改这些问题
这个不是说让你们改. 是说看到什么问题的时候, 就跟我说一声. 当然你们帮我改掉我也是很欢迎的.
• | 分类: 可以暂时用范畴逻辑来存放这些页面, 不过我觉得更好的方式是在类型论分类下面建立分类树. 我没有说你写的纤维范畴是类型论视角, 只是可能主流数学中使用纤维范畴的人会倾向于使用纤维化的视角, 以及使用更直接的定义. 没有冒犯的意思, 还请谅解. |
• | 标点符号的问题: 大部分时候是没问题的, 但像 “) ,” 这种组合, 如果用全角括号就会多出一个空格. 当然你可以说这是 btex 的问题, 也许我会抽空修复. 不过无论如何, 避免过多使用括号也是个不错的写作建议. |
• | 修改: 我多数时候是会直接修改的, 有系统的问题的时候我会来这里和你说. |
• | 最后, 如果你对以上各项有任何建议, 请一定提出来. 我也希望能够共同探索最适合香蕉空间的写作模式和风格. |
祝写作愉快!
原来如此! 我阅读香蕉空间也获益良多, 非常感谢管理员能建设这样的网站.
另外: 请问你们会监视所有的改动吗?
我一般会监视所有的改动, 除了我特别忙的时候.
• | 小编辑是指修改笔误、措辞之类的编辑, 如果对内容有增删, 不要标记为小编辑 (这样我监视改动的时候方便一些). |
• | 写定义的时候不能随意, 例如恒同态射里, 互逆态射需要两边复合为恒同态射. |
好的.
小建议: 除非强调数量, 不要用 “一个” 来修饰作为表语的名词.
好的.
另外, 写百科一定一定要注意严谨. 这几天你写的凸分析若干页面中, 我改了多处事实错误, 也改了不少笔误. 请一定注意写的时候尽量保证每句话都正确.
还有一些小建议:
• | 数学公式的源码中多留空格. |
• | 表示映射的冒号是 |
🫡