我可以爬吗?
讨论室: 香蕉空间
好奇你想拿来干啥
https://www.bananaspace.org/wiki/讲义: 同伦代数与同调代数/模型范畴引理 2.17
具体是什么错误? 我这看着很正常
我这里 qed 符号不在证明之后, 在最后一个字之前
我这里在最后一个字后面
我查明白为何. 如果证明最后一个字在一行的最后, 那么就会出现我的情况
但是证明的最后一个字还有不在这一行的最后的时候吗?
如题
可以, 我过几周弄
顶顶
催更 (
各种 (泛) 代数理论统称为 “theory”, 例如 Lawvere theory 表示单个集合上的代数结构, 还有 finite product theory, finite limit theory (= essentially algebraic theory), 等等. 一般来说这些理论最典型的模型是在集合范畴, 但是在任何配有合适结构的范畴里面都可以讨论模型, 如 internal group. 这些东西的 2-范畴推广统称为 doctrine, 最典型的情况是在范畴构成的 2-范畴中讨论, 例如幺半群 (a theory) 的推广是幺半范畴 (a doctrine).
我看了下现在的写作计划, 一般拓扑和范畴论都没有
应该放在层论的界面下, 现在的模板肯定有不全之处.
那是新弄一个层论还是在范畴论里面的层论加一个
我已把它放在模板: 层论中. 层论可能可以作为拓扑学的子分支放在写作计划里.
ok
香蕉社区很多数学词汇的中译都很妙, 请问有完整的站内词汇对照表可供参阅吗? 🙏
暂时没有, 但搜索英文术语一般可以查到相应条目.
有没有可能单列一个表出来呢? 大家可以随时编辑.
这相当于给所有页面制作一个总目录, 我觉得不太可行.
请问有哪些困难呢?
搜索功能强于目录的作用, 你想查找术语一定不会乐意在几千条词汇里面慢慢翻.
比如用词条隶属的领域, 首次创建日期来编号.
可以发您邮件私聊吗?
我们可以建立某种交叉索引, 来方便定位词条.
目前香蕉空间具有完善的结构, 不需要把这些再用英文做一遍.
我是说, 可以基于香蕉社区建立一个用于机器学习的中英对照的语料库.
那很容易用爬虫做到. 如果你设想的是类似 Wikidata 的项目, 那么香蕉空间目前的架构还不适合.
嗯嗯, 谢谢您🙏
是否应该新建 “2-范畴论”, “-范畴论” 这些分类呢?
我觉得一个 “高阶范畴论” 分类就好?
但我感觉你写的 2-范畴论页面内容很多都是显式写出定义, 和 ∞-范畴论的思想还是有所不同.
我觉得不需要分这么细, 不然要为 n-范畴和 ∞-范畴开单独的分类, 还有各种 . 另外例如 2-叠也是 3-层, 处理其分类也比较麻烦.
也有道理, 那就按你说的来吧.
比方说用 cite, 或者 ref 之类的引用 de Rham 上同调词条中的 “定理 2.1“
我之前干过这事, 你得先在文内有一次引用, 然后点击该引用就可以得到一个 id, 然后用 词条#id 就可以了. 这个方法会在被引用的词条被编辑后失效, 非常糟糕.
然后管理员让我不要干这事 😂
我看到了一个 项目: 行列式入门. 我觉得此书可帮助初学者学习行列式, 故我想转其为香蕉空间的讲义. 不过, 因为我不太会电脑知识, 我没看明白我要如何操作. 所以, 我希望我被教.
或许这个问题看着很笨; 但, 我一个下午的时间被吃了. 我知道, 我自己研究此事, 是没有什么成果的. 所以, 我觉得, 一个具体的且简单的实例能使我更好地理解此事.
你或许需要先阅读如何创建一个页面的教程.
感谢您的评论. 我刚才总算建立了一个页面. 不过, 我遇到了一些问题.
我遇到了一些问题.
(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) 原书使用了 thmtools 与 thm-restate 提供的 restatable 环境, 以重述定义与定理. 不过, 香蕉空间似乎没有这样的环境. 在这儿, 我该如何重述定义与定理呢?
可能你只能直接用定理环境了. 前两个问题我不懂.
感谢您的回复.
我姑且忽略问题 (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..
当然了, 若这个问题无法被解决, 我也可以想其他的办法, 或者作一次大改造, 使书适应香蕉空间 (而不是使香蕉空间适应书).
至于问题 (i), 只需使用 \nosectionnumbers 取消节编号, 见帮助: 编辑页面 #标题. 至于 (ii), 我的理解是可以.
不过我建议您重新考虑讲义的结构. 全书只有一章, 而剩下的部分是附录, 这是不太合适的. 香蕉空间的讲义多数只分节, 每节是一次讲课的内容. 因此 22 节加上附录比一章加上附录更符合香蕉空间的习惯.
感谢您的回复. 不过, 就像您说的那样, 我也考虑放弃现有的讲义结构; 毕竟, 若我使用现有的结构, 则 “1. 行列式” 等子页面是空的. 顺便, 我打算先纠正原书的错误 (这些东西不太容易发现, 因为没有什么大错).
不过, 最近我忙; 我也只能抽空干此事了.
我有了新问题.
我无法在公式里用 \label 为公式加编号. 但, 令我不解的是, \ref 倒是可用的. (譬如, 我在这里想为公式加编号.)
同时, 在 \align, \align* 里, 我似乎不能为二个或更多公式加 \tag*.
没事儿了.
不过这不重要; 我已手动地编号了.
今日上午, 我没什么重要的事儿; 所以, 我就搬运了全书. (我就不搬运后日谈了.)
如题, 目前香蕉空间在可见的可用操作里似乎没有设置编辑权限这条功能.
不可以.