序关系的范畴化-预序/偏序/全序

MathAgape:
蛇代表来啦(✧∇✧) 00:35🐍例子 07:33🐍非范畴化定义总结 13:41🐍对称性（等价&预序） 15:08🐍反对称性（预序&偏序） 21:38🐍totality（偏序&全序） 23:48🐍冗余条件 27:13🐍范畴化定义（全序&偏序） 31:24🐍范畴化定义（预序&偏序） 43:35🐍总结 欢迎纠错补充讨论，联系方式📭badvortex🐍outlook.com

【回复】06:44 此处我把“同构”说成“等价”了，已在弹幕纠正
onlygalois:
选的哪本教材，我正在看的是贺伟的《范畴论》，这本比较入门

【回复】Eugenia cheng，The Joy of Abstraction，真·无痛入门
jw2020:
妈呀，我现在就在学这个[脱单doge][脱单doge][脱单doge]

蛋挞巧克力牛肉面:
看书没看懂预序，在up这里看懂了，谢谢漂亮姐姐！然后做了一个笔记并且上传小红书标注了up是例子来源（）

【回复】最大元里面，任意t属于T存在g属于T会变成函数一样的每个t有一个g对应，改成存在g属于T（任意t，t≤g）
【回复】认识一个很和蔼的老师，批评了我的形式化错误
啊滋滋滋:
不懂数学的我只想看恶老师表演蛇拳[笑哭]

每一个人都是我们:
为什么一定要自反或非自反，和传递，有没有只有一种性质的的结构，比如自反不传递结构，

待君笑:
就是，弱弱的问一下，up教的这个东西有什么用，真没看懂[保卫萝卜_哭哭][保卫萝卜_哭哭][保卫萝卜_哭哭]

小果叮还在走:
来学习数学了[喜欢][喜欢][喜欢][喜欢][喜欢]