最近更改
这里是香蕉空间的最新编辑列表.
缩写列表:
- N
- 该编辑创建了新页面(见新页面列表)
- m
- 该编辑为小编辑
- b
- 该编辑由机器人执行
- (±123)
- 该页面字节数的前后变化
2023 年 5 月 28 日 (星期日)
N 17:50 | 局部化 (范畴论) 差异历史 +4,308 BCJ 讨论 贡献 创建页面,并添加内容 “在范畴论中, \textbf{局部化}是将范畴中的部分态射变得可逆, 而得到新范畴的操作, 类似于交换代数…” |
|
16:57 | 赋值 3次更改 历史 +50 [Tonyxty;Master (2×)] | |||
m |
|
16:57 (当前 | 之前) +50 Master 讨论 贡献 | |||
m |
|
16:15 (当前 | 之前) -97 Master 讨论 贡献 已还原Tonyxty(对话)的编辑至最后由Master修订的版本 标签:回退 | |||
|
14:05 (当前 | 之前) +97 Tonyxty 讨论 贡献 纠正 加性赋值与乘性赋值间的关系 的论述 |
13:55 | 用户创建日志 用户账户Tonyxty 讨论 贡献被创建 |
m 06:33 | 模板:感谢列表 差异历史 +21 BCJ 讨论 贡献 |
m 03:00 | Brunerie 数 差异历史 +7 Ice1000 讨论 贡献 Fix link |
02:07 | 用户:Ice1000/神谕模态 差异历史 +35 Trebor 讨论 贡献 |
2023 年 5 月 27 日 (星期六)
m 20:15 | 讲义:数学分析/收敛判别法 差异历史 -45 Dforsign 讨论 贡献 typo fixed |
19:51 | 用户创建日志 用户账户AAAliyah 讨论 贡献被创建 |
N 19:34 | 满忠实函子 差异历史 +29 BCJ 讨论 贡献 重定向页面至全忠实函子 |
|
N 19:33 | 全忠实函子 2次更改 历史 +1,083 [Ice1000;BCJ] | |||
|
19:33 (当前 | 之前) +550 BCJ 讨论 贡献 | ||||
N |
|
03:39 (当前 | 之前) +533 Ice1000 讨论 贡献 创建页面,并添加内容 “\textbf{全忠实函子}指既是全函子又是忠实函子的函子, 是集合间单射概念在范畴论中的推广. == 定义 == \begin{def…” |
N 03:34 | 全忠实 差异历史 +29 Ice1000 讨论 贡献 重定向页面至全忠实函子 |
m 03:06 | 用户:Ice1000/综合代数几何 差异历史 0 Hagi 讨论 贡献 typos corrected |
|
01:37 | 讨论:意象 上的 关于“意象”的翻译 2次更改 历史 0 [Hagi (2×)] | |||
|
01:37 0 Hagi 讨论 贡献 | ||||
|
01:33 0 Hagi 讨论 贡献 |
2023 年 5 月 26 日 (星期五)
|
23:21 | Brunerie 数 5次更改 历史 +748 [Ice1000;算,就使劲算 (4×)] | |||
|
23:21 (当前 | 之前) -15 算,就使劲算 讨论 贡献 | ||||
|
23:20 (当前 | 之前) -55 算,就使劲算 讨论 贡献 | ||||
m |
|
23:01 (当前 | 之前) +526 Ice1000 讨论 贡献 定义映射 | |||
|
14:08 (当前 | 之前) 0 算,就使劲算 讨论 贡献 | ||||
|
14:08 (当前 | 之前) +292 算,就使劲算 讨论 贡献 |
08:15 | 用户:Solution/第三章 差异历史 +1,654 Yao 讨论 贡献 |
m 00:43 | 讲义:集合论/基数 差异历史 +1 Sailfish 讨论 贡献 $>=$ 改为 $\ge$ |
2023 年 5 月 25 日 (星期四)
|
23:38 | (用户创建日志) [WanglingZ1Z;TToE;Nil-One;Charioteer;杨翔宇] | |||
|
23:38 用户账户杨翔宇 讨论 贡献被创建 | ||||
|
12:17 用户账户TToE 讨论 贡献被创建 | ||||
|
11:40 用户账户Charioteer 讨论 贡献被创建 | ||||
|
10:46 用户账户Nil-One 讨论 贡献被创建 | ||||
|
10:19 用户账户WanglingZ1Z 讨论 贡献被创建 |
|
m 23:15 | 高阶归纳类型 2次更改 历史 +408 [Ice1000 (2×)] | |||
m |
|
23:15 (当前 | 之前) +102 Ice1000 讨论 贡献 trans | |||
m |
|
23:15 (当前 | 之前) +306 Ice1000 讨论 贡献 移除至高阶归纳类型 (同伦类型论)的重定向 标签:移除重定向 |
m 23:12 | 高阶归纳类型 (同伦类型论) 差异历史 +24 Ice1000 讨论 贡献 广义的高阶归纳类型 |
23:10 | 移动日志 Ice1000 讨论 贡献移动页面高阶归纳类型至高阶归纳类型 (同伦类型论) |
m 21:49 | Brunerie 数 差异历史 +14 Ice1000 讨论 贡献 修复事实错误 |
m 12:14 | 非直谓性 (类型论) 差异历史 +21 Ice1000 讨论 贡献 修复 |
m 11:41 | 用户:Ice1000 差异历史 +169 Ice1000 讨论 贡献 new |
m 10:57 | 讲义:行列式入门/由 m 个 n 元 ≤1 次方程作成的方程组 (2) 差异历史 0 Septsea 讨论 贡献 |
m 10:57 | 讲义:行列式入门/由 n 个 n 元 ≤1 次方程作成的方程组 (1) 差异历史 0 Septsea 讨论 贡献 |
05:50 | 删除日志 BCJ 讨论 贡献删除页面讲义:AC0Notes (似为用户笔记,尚不足为讲义) |
01:35 | 用户:Solution/GTM249 Chapter 2 Part I 差异历史 +812 Yao 讨论 贡献 |
2023 年 5 月 24 日 (星期三)
21:19 | 用户创建日志 用户账户信数者 讨论 贡献被创建 |
|
N 14:11 | 用户:Ice1000/神谕模态 2次更改 历史 +2,450 [Ice1000 (2×)] | |||
m |
|
14:11 (当前 | 之前) +155 Ice1000 讨论 贡献 加一些 remark | |||
N |
|
13:28 (当前 | 之前) +2,295 Ice1000 讨论 贡献 创建页面,并添加内容 “考虑Gödel 编码的那一套理论 (见Kleene 第一代数) 里面的 $\varphi_e$, 记 $2$ 为两个元素的集合. == 基本定义 == \begin{d…” |
N 14:08 | 用户:Ice1000/缩积操作的五边形公理 差异历史 +2,220 Ice1000 讨论 贡献 创建页面,并添加内容 “== 动机 == 缩积操作是 $1$-融贯|范畴的, 换言之就是它满足五边形公理. 这个性质很有用, 在Brunerie 数…” |
N 13:47 | Brunerie 数 差异历史 +921 Ice1000 讨论 贡献 创建页面,并添加内容 “\textbf{Brunerie 数}是 $π_4(\mathbb S^3)=\mathbb Z/n\mathbb Z$ 中 $n$ 的解, 在经典同伦论中已经知道是 $\pm 2$, 但由 Guillaume Bruneri…” |
N 13:33 | 缩积 差异历史 +26 Ice1000 讨论 贡献 重定向页面至缩积空间 |
m 13:33 | 用户:Ice1000 差异历史 +41 Ice1000 讨论 贡献 加一个, 今天的其它的实在听不懂了 |
|
10:17 | (移动日志) [Ice1000 (3×)] | |||
|
10:17 Ice1000 讨论 贡献移动页面自然数类型至自然数 (类型论) | ||||
|
10:17 Ice1000 讨论 贡献移动页面无交并类型至无交并 (类型论) | ||||
|
10:16 Ice1000 讨论 贡献移动页面积类型至积 (类型论) |