最近更改

这里是香蕉空间的最新编辑列表.

最近更改选项 显示过去1 | 3 | 7 | 14 | 30天的最后50 | 100 | 250 | 500个更改
隐藏注册用户 | 隐藏匿名用户 | 隐藏我的编辑 | 显示机器人 | 隐藏小编辑
显示2023 年 5 月 28 日 (星期日) 18:54之后的新更改
   
缩写列表:
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 讨论 贡献移动页面积类型积 (类型论)