讨论室: 香蕉空间

关于此版块

不可编辑

这个页面是用来讨论香蕉空间网站使用问题的. 如果要讨论数学问题, 请前往讨论室: 学术. 如果讨论术语的选取, 请前往讨论室: 术语.

张锐翀 (讨论贡献)

我可以爬吗?

Ice1000 (讨论贡献)

好奇你想拿来干啥

Lieriheart (讨论贡献)

https://www.bananaspace.org/wiki/讲义: 同伦代数与同调代数/模型范畴引理 2.17

Ice1000 (讨论贡献)

具体是什么错误? 我这看着很正常

Lieriheart (讨论贡献)

我这里 qed 符号不在证明之后, 在最后一个字之前

Ice1000 (讨论贡献)

我这里在最后一个字后面

Lieriheart (讨论贡献)

我查明白为何. 如果证明最后一个字在一行的最后, 那么就会出现我的情况

Trebor (讨论贡献)

但是证明的最后一个字还有不在这一行的最后的时候吗?

感觉可以在讲义的最下端加入翻页功能

4
Master (讨论贡献)

如题

BCJ (讨论贡献)

可以, 我过几周弄

不萌 (讨论贡献)

顶顶

Dforsign (讨论贡献)

催更 (

Trebor (讨论贡献)

各种 (泛) 代数理论统称为 “theory”, 例如 Lawvere theory 表示单个集合上的代数结构, 还有 finite product theory, finite limit theory (= essentially algebraic theory), 等等. 一般来说这些理论最典型的模型是在集合范畴, 但是在任何配有合适结构的范畴里面都可以讨论模型, 如 internal group. 这些东西的 2-范畴推广统称为 doctrine, 最典型的情况是在范畴构成的 2-范畴中讨论, 例如幺半群 (a theory) 的推广是幺半范畴 (a doctrine).

由Ice1000做出的摘要

模板: 层论

Ice1000 (讨论贡献)

我看了下现在的写作计划, 一般拓扑和范畴论都没有

Master (讨论贡献)

应该放在层论的界面下, 现在的模板肯定有不全之处.

Ice1000 (讨论贡献)

那是新弄一个层论还是在范畴论里面的层论加一个

Master (讨论贡献)

我已把它放在模板: 层论中. 层论可能可以作为拓扑学的子分支放在写作计划里.

Ice1000 (讨论贡献)

ok

请问香蕉社区有可供参阅的词汇对照表吗

13
由Ice1000做出的摘要

没有, 但是可以爬

Fiberbundle496 (讨论贡献)

香蕉社区很多数学词汇的中译都很妙, 请问有完整的站内词汇对照表可供参阅吗? 🙏

BCJ (讨论贡献)

暂时没有, 但搜索英文术语一般可以查到相应条目.

Fiberbundle496 (讨论贡献)

有没有可能单列一个表出来呢? 大家可以随时编辑.

BCJ (讨论贡献)

这相当于给所有页面制作一个总目录, 我觉得不太可行.

Fiberbundle496 (讨论贡献)

请问有哪些困难呢?

BCJ (讨论贡献)

搜索功能强于目录的作用, 你想查找术语一定不会乐意在几千条词汇里面慢慢翻.

Fiberbundle496 (讨论贡献)

我们可以建立某种交叉索引, 来方便定位词条.

BCJ (讨论贡献)

目前香蕉空间具有完善的结构, 不需要把这些再用英文做一遍.

Fiberbundle496 (讨论贡献)

我是说, 可以基于香蕉社区建立一个用于机器学习的中英对照的语料库.

BCJ (讨论贡献)

那很容易用爬虫做到. 如果你设想的是类似 Wikidata 的项目, 那么香蕉空间目前的架构还不适合.

Fiberbundle496 (讨论贡献)

嗯嗯, 谢谢您🙏

由Ice1000做出的摘要

直接高阶范畴论

Master (讨论贡献)

是否应该新建 “2-范畴论”, “-范畴论” 这些分类呢?

BCJ (讨论贡献)

我觉得一个 “高阶范畴论” 分类就好?

Master (讨论贡献)

但我感觉你写的 2-范畴论页面内容很多都是显式写出定义, 和 ∞-范畴论的思想还是有所不同.

BCJ (讨论贡献)

我觉得不需要分这么细, 不然要为 n-范畴和 ∞-范畴开单独的分类, 还有各种 . 另外例如 2-叠也是 3-层, 处理其分类也比较麻烦.

Master (讨论贡献)

也有道理, 那就按你说的来吧.

有可能引用某个页面里的具体的公式定理吗

3
由广濑亚纪做出的摘要

有某种技巧可以引用, 但会在页面编辑后失效.

广濑亚纪 (讨论贡献)

比方说用 cite, 或者 ref 之类的引用 de Rham 上同调词条中的 “定理 2.1“

Ice1000 (讨论贡献)

我之前干过这事, 你得先在文内有一次引用, 然后点击该引用就可以得到一个 id, 然后用 词条#id 就可以了. 这个方法会在被引用的词条被编辑后失效, 非常糟糕.

Ice1000 (讨论贡献)

然后管理员让我不要干这事 😂

Septsea (讨论贡献)

我看到了一个 项目: 行列式入门. 我觉得此书可帮助初学者学习行列式, 故我想转其为香蕉空间的讲义. 不过, 因为我不太会电脑知识, 我没看明白我要如何操作. 所以, 我希望我被教.

Septsea (讨论贡献)

或许这个问题看着很笨; 但, 我一个下午的时间被吃了. 我知道, 我自己研究此事, 是没有什么成果的. 所以, 我觉得, 一个具体的且简单的实例能使我更好地理解此事.

Ice1000 (讨论贡献)

你或许需要先阅读如何创建一个页面的教程.

Septsea (讨论贡献)

感谢您的评论. 我刚才总算建立了一个页面. 不过, 我遇到了一些问题.

Septsea (讨论贡献)

我遇到了一些问题.

(i) 原书的第一章有 22 节, 故只为第一章作一个子页面是不便读者阅读的. 所以, 我使用了

\begin{structure}
\subpage!{上传者的话}
\subpage{行列式}
\subsubpage{缺项定位}
\subsubpage{排列}
\subsubpage{-1 的整数次幂}[\(-1\)~的整数次幂]
...... (此处省略 19 节)
\subpage{附录: 2 元 2 次式}[附录: \(2\)~元 \(2\)~次式]
\subsubpage{预备}
...... (省略)
\subpage{附录: 求和号、求积号、数学归纳法}
\subsubpage{求和号}
...... (省略)
\subpage{附录: 后日谈}
\subsubpage{我要怎么定义行列式?}
...... (省略)
\subpage!{参考文献}
\end{structure}

不过, 当我试图为 “缺项定位” 添加一个例 (example 环境) 时, 我发现, 这个例的编号是 1.1.0.1. 如何使其为 1.1.1 呢?

(ii) 原书使用 CC0; 原书的代码使用 the Unlicense. 这是否可被认为是 “来自一个自由版权的来源”?

(iii) 原书使用了 thmtoolsthm-restate 提供的 restatable 环境, 以重述定义与定理. 不过, 香蕉空间似乎没有这样的环境. 在这儿, 我该如何重述定义与定理呢?

Ice1000 (讨论贡献)

可能你只能直接用定理环境了. 前两个问题我不懂.

Septsea (讨论贡献)

感谢您的回复.

我姑且忽略问题 (ii); 至于问题 (iii), 我也打算忽略它, 因为直接用 definition, theorem 重述定义与定理也还可接受.

但是, 问题 (i) 最困扰我. 或许, 我举一个例, 您就明白了.

是我想上传的讲义. 您可以看到, “缺项定位” 在 “行列式” 下. 我要在 “缺项定位” 添加一个定义与一个定理:

\begin{definition}[\(\rho\)-记号]
设 \(i\), \(j\) 为二个整数.
定义
\begin{align*}
\rho(i, j)
= \begin{cases}
0, & i < j; \\
1, & i \geq j.
\end{cases}
\end{align*}
\end{definition}

\begin{theorem}[缺项定位]
设 \(n\) 为高于 \(1\) 的正整数.
设文字列甲: \(1\), \(2\), \(\dots\), \(n\).
设 \(k\) 是低于 \(n\) 的正整数.
设 \(i_1\), \(i_2\), \(\dots\), \(i_k\) 是%
不高于 \(n\) 的, 且\emph{互不相同的}正整数.
去除文字列甲的第~\(i_1\), \(i_2\), \(\dots\), \(i_k\)~个文字
(也就是说, 去除 \(i_1\), \(i_2\), \(\dots\), \(i_k\)),
不改变诸文字的前后顺序,
得到文字列乙.
那么,
文字列乙的文字 \(x\)
在文字列乙的位置
\begin{align*}
f(x) = x - (\rho(x, i_1) + \dots + \rho(x, i_k)).
\end{align*}
\end{theorem}

这段代码当然可输出一个定义与一个定理. 不过, 这个定义的编号是 1.1.0.1, 这个定理的编号是 1.1.0.2. 我希望去除编号里的 0..

Septsea (讨论贡献)

当然了, 若这个问题无法被解决, 我也可以想其他的办法, 或者作一次大改造, 使书适应香蕉空间 (而不是使香蕉空间适应书).

BCJ (讨论贡献)
BCJ (讨论贡献)

不过我建议您重新考虑讲义的结构. 全书只有一章, 而剩下的部分是附录, 这是不太合适的. 香蕉空间的讲义多数只分节, 每节是一次讲课的内容. 因此 22 节加上附录比一章加上附录更符合香蕉空间的习惯.

Septsea (讨论贡献)

感谢您的回复. 不过, 就像您说的那样, 我也考虑放弃现有的讲义结构; 毕竟, 若我使用现有的结构, 则 “1. 行列式” 等子页面是空的. 顺便, 我打算先纠正原书的错误 (这些东西不太容易发现, 因为没有什么大错).

不过, 最近我忙; 我也只能抽空干此事了.

Septsea (讨论贡献)

我有了新问题.

我无法在公式里用 \label 为公式加编号. 但, 令我不解的是, \ref 倒是可用的. (譬如, 我在这里想为公式加编号.)

同时, 在 \align, \align* 里, 我似乎不能为二个或更多公式加 \tag*.

没事儿了.

Septsea (讨论贡献)

不过这不重要; 我已手动地编号了.

Septsea (讨论贡献)

今日上午, 我没什么重要的事儿; 所以, 我就搬运了全书. (我就不搬运后日谈了.)

请问用户是否能设置用户主页面的编辑权限?

2
Polonaiso (讨论贡献)

如题, 目前香蕉空间在可见的可用操作里似乎没有设置编辑权限这条功能.

Master (讨论贡献)

不可以.