最近更改
这里是香蕉空间的最新编辑列表.
缩写列表：
- 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 讨论 贡献移动页面积类型至积 (类型论) | ||||