用户讨论: Ice1000

关于此版块

不可编辑

BCJ (讨论贡献)

首先很感谢你对香蕉空间类型论部分的贡献. 在写作的时候有几件事需要你注意一下:

香蕉空间的默认设定是主流数学. 因此, 不要用类型论的观点来介绍主流数学的对象, 也不要将类型论的内容放进主流数学的分类 (例如分类: 范畴论) 中.

按照帮助: 参考文献的格式添加参考文献.

尽可能使用 cd 而不是 tikzcd 来画交换图.

在源码中使用半角标点.

在百科页面中避免定义新命令.

Ice1000 (讨论贡献)

> 不要用类型论的观点来介绍主流数学的对象, 也不要将类型论的内容放进主流数学的分类 (例如分类: 范畴论) 中

了解. 我写那几个词条的主要动机是我想写概括范畴和类型论的范畴模型. 这些东西依赖纤维范畴, 于是我就把我理解中的纤维范畴写进去了. 我写的时候并不知道这是类型论视角, 我的参考来源主要是 nLab 和一些类型论的书中对范畴论的讲解. 我以后尽量直接找你们求助, 而不是去自己写一些数学里比较主流的词条.

另外, 类型论的范畴模型可以放进范畴逻辑里面吗? 我觉得这个分类比较适合.

> 尽可能使用 cd 而不是 tikzcd 来画交换图.

了解.

> 按照帮助: 参考文献的格式添加参考文献.

我之前是照着同伦类型论词条的格式写的. 我后来发现该词条有众多问题, 且 Trebor 似乎不会再修改、维护这个词条. 但在这之前, 我已经带着我留下的印象写了很多东西了. 希望管理员可以帮助我一一修改这些问题. 引用格式只是其中之一, 还有很多翻译问题.

> 在源码中使用半角标点.

按照我的理解, 现在有源码里标点的自动转换, 因此我写全角实际上就等于写半角. 是我的理解有问题还是说有一些例外的符号不会被转化?

> 在百科页面中避免定义新命令.

了解.

Ice1000 (讨论贡献)

> 希望管理员可以帮助我一一修改这些问题

这个不是说让你们改. 是说看到什么问题的时候, 就跟我说一声. 当然你们帮我改掉我也是很欢迎的.

BCJ (讨论贡献)

分类: 可以暂时用范畴逻辑来存放这些页面, 不过我觉得更好的方式是在类型论分类下面建立分类树. 我没有说你写的纤维范畴是类型论视角, 只是可能主流数学中使用纤维范畴的人会倾向于使用纤维化的视角, 以及使用更直接的定义. 没有冒犯的意思, 还请谅解.

标点符号的问题: 大部分时候是没问题的, 但像 “) ,” 这种组合, 如果用全角括号就会多出一个空格. 当然你可以说这是 btex 的问题, 也许我会抽空修复. 不过无论如何, 避免过多使用括号也是个不错的写作建议.

修改: 我多数时候是会直接修改的, 有系统的问题的时候我会来这里和你说.

最后, 如果你对以上各项有任何建议, 请一定提出来. 我也希望能够共同探索最适合香蕉空间的写作模式和风格.

祝写作愉快!

Ice1000 (讨论贡献)

原来如此! 我阅读香蕉空间也获益良多, 非常感谢管理员能建设这样的网站.

另外: 请问你们会监视所有的改动吗?

BCJ (讨论贡献)

我一般会监视所有的改动, 除了我特别忙的时候.

BCJ (讨论贡献)

小编辑是指修改笔误、措辞之类的编辑, 如果对内容有增删, 不要标记为小编辑 (这样我监视改动的时候方便一些).

写定义的时候不能随意, 例如恒同态射里, 互逆态射需要两边复合为恒同态射.

Ice1000 (讨论贡献)

好的.

Master (讨论贡献)

小建议: 除非强调数量, 不要用 “一个” 来修饰作为表语的名词.

Ice1000 (讨论贡献)

好的.

BCJ (讨论贡献)

另外, 写百科一定一定要注意严谨. 这几天你写的凸分析若干页面中, 我改了多处事实错误, 也改了不少笔误. 请一定注意写的时候尽量保证每句话都正确.

还有一些小建议:

数学公式的源码中多留空格. A + B \geq C 远比 A+B\geq C 易读.

表示映射的冒号是 \colon 而不是 :, 后者表示比例.

Ice1000 (讨论贡献)

🫡

没有更早的话题