介绍范畴相关内容,包含原书第一章第3节内容。增补了关于NBG公理体系的内容。部分内容和名词翻译参考了https://zhuanlan.zhihu.com/p/364284965系列专栏。
push出现连接失败的可能解决方法
git push环节有时会出现以下报错:
1 | fatal: unable to access 'https://github.com/*/*.github.io.git/': Failed to connect to github.com port 443: Timed out |
在排除网络/代理/配置问题后,一种可能是github.com及子网站时常更换IP地址,但本地的DNS缓存未必及时更新。
因此解决方案是刷新DNS缓存。Windows下的操作为:
- Win+R,cmd呼出terminal
- 执行ipconfig /flushdns
附注:部分地址解析网站会给出错误的ip,十分抽象。想通过改host直连时需要小心。
实用抽代1
参考:Paolo Aluffi, Algebra Chapter 0。以下内容对应原书第一章的前两小节,包含集合论、函数两方面内容。
分析基础速览
记录一下个人已经遗忘的分析基础概念。主要涵盖选择公理、拓扑空间、度量空间和勒贝格积分等。
实用点集拓扑4
接前文,介绍拓扑空间的连通性。对应尤书第二章的最后一部分。
实用点集拓扑3
继续介绍紧致性。对应尤书第二章的一部分。
实用点集拓扑2
以下介绍几个重要的拓扑性质:分离性、可数性、紧致性、连通性,对应尤书的第二章。
这一篇介绍前两个特性,以及其可以导出的一些深刻结果。由于拓扑的定义较弱,因此这两个特性通常作为“附加公理”,弥补拓扑本身的不足。
实用点集拓扑1
PSTNet简介
发表于
分类于
Computer Vision
全景分割(Panoptic Segmetation)概述
发表于
分类于
Computer Vision