{"id":30148,"date":"2021-11-21T17:57:31","date_gmt":"2021-11-21T09:57:31","guid":{"rendered":"https:\/\/swarma.org\/?p=30148"},"modified":"2021-11-21T17:57:31","modified_gmt":"2021-11-21T09:57:31","slug":"%e4%b8%80%e5%88%86%e9%92%9f%e6%95%b0%e5%ad%a6%ef%bc%9a%e8%8c%83%e7%95%b4%e8%ae%ba","status":"publish","type":"post","link":"https:\/\/swarma.org\/?p=30148","title":{"rendered":"\u4e00\u5206\u949f\u6570\u5b66\uff1a\u8303\u7574\u8bba"},"content":{"rendered":"
\n
\n
\n
\n

<\/p>\n<\/section>\n

\n
\n
\n
\n
\n
\n

<\/section>\n<\/section>\n
\n
\n

\u5bfc\u8bed<\/strong><\/p>\n<\/section>\n<\/section>\n

\n

<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n
\n
\n
\n

<\/strong>\u8303\u7574\u8bba\u4e3a\u5728\u590d\u6742\u7684\u79d1\u5b66\u9886\u57df\u4e2d\u8868\u8ff0\u548c\u89e3\u51b3\u95ee\u9898\u63d0\u4f9b\u4e86\u4e00\u79cd\u5f62\u5f0f\u5316\u7684\u62bd\u8c61\u8bed\u8a00\uff0c\u6765\u63cf\u8ff0\u5bf9\u8c61\u4e4b\u95f4\u7684\u76f8\u4e92\u4f5c\u7528\u3002\u9664\u4e86\u6570\u5b66\uff0c\u8303\u7574\u8bba\u7684\u5e94\u7528\u904d\u53ca\u795e\u7ecf\u79d1\u5b66\u3001\u5316\u5b66\u3001\u751f\u7269\u5b66\u3001\u96c6\u6210\u7535\u8def\u3001\u8ba1\u7b97\u673a\u79d1\u5b66\u751a\u81f3\u5b87\u5b99\u5b66\u3002<\/span><\/strong><\/p>\n


<\/p>\n

\u7814\u7a76\u9886\u57df\uff1a\u8303\u7574\u8bba<\/strong><\/strong><\/span><\/strong><\/span><\/strong><\/span><\/strong><\/p>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n

\n
\n
\n
<\/svg><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n
\n
<\/strong><\/section>\n<\/section>\n
\n

Rachel<\/span> | \u4f5c\u8005<\/strong><\/span><\/strong><\/p>\n

\u9648\u660a<\/span> <\/span>| \u8bd1\u8005<\/strong><\/span><\/strong><\/span><\/p>\n

J-CAT <\/span>| \u5ba1\u6821<\/strong><\/span><\/p>\n

\u9093\u4e00\u96ea<\/span> | \u7f16\u8f91<\/strong><\/span><\/p>\n<\/section>\n

 <\/span><\/p>\n


<\/p>\n

\u5728\u4eca\u5e74\u7684Black Heroes of Mathematics\u4f1a\u8bae\u4e0a\uff0c\u6765\u81ea\u5357\u975e\u5938\u7956\u9c81-\u7eb3\u5854\u5c14\u5927\u5b66\u7684\u535a\u58eb\u751fMaurine Atieno Songa\u5e26\u6765\u4e86\u4e00\u6b21\u5173\u4e8e\u8303\u7574\u8bba\u7684\u7cbe\u5f69\u5206\u4eab\u3002<\/span><\/section>\n
 <\/span><\/section>\n
Songa\u89e3\u91ca\u9053\uff1a\u8303\u7574\u8bba\u53ef\u4ee5\u5e2e\u52a9\u4f60\u5c1d\u8bd5\u7406\u89e3\u5404\u79cd\u7cfb\u7edf\u4e4b\u95f4\u7684\u8054\u7cfb\u3002\u8fd9\u91cc\u7684\u8303\u7574\u662f\u6307\u591a\u4e2a\u5bf9\u8c61\u4ee5\u53ca\u6bcf\u5bf9\u5bf9\u8c61\u4e4b\u95f4\u7684\u6001\u5c04<\/span>\uff08morphism\uff0c\u901a\u5e38\u7528\u7bad\u5934\u8fdb\u884c\u8868\u793a\uff09<\/span>\u3002<\/span><\/section>\n
 \u200d<\/span><\/span><\/section>\n
\u5728\u6570\u5b66\u8bed\u8a00\u200d<\/span>\u7684\u63cf\u8ff0\u4e2d\uff0c\u8fd9\u4e9b\u6001\u5c04\u9700\u8981\u5177\u6709\u4ee5\u4e0b\u6027\u8d28\uff1a<\/span><\/section>\n

<\/section>\n

1. \u5fc5\u987b\u5b58\u5728\u4e00\u4e2a\u6052\u7b49\u6001\u5c04<\/strong>\u53ef\u4ee5\u5c06\u4e00\u4e2a\u5bf9\u8c61\u6620\u5c04\u5230\u5176\u81ea\u8eab\uff0c\u5982\u56fe1\u6240\u793a\u8303\u7574\u4e2d\u7684\u6620\u5c041A<\/sub>\uff1aA\u2192A<\/span><\/span><\/p>\n


<\/p>\n

2. \u6001\u5c04\u53ef\u4ee5\u7ec4\u5408<\/strong>\u3002\u5982\u679c\u5b58\u5728\u4e24\u4e2a\u6001\u5c04f\u548cg\uff0cf\u53ef\u4ee5\u5c06A\u6620\u5c04\u4e3aB\uff0cg\u53ef\u4ee5\u5c06B\u6620\u5c04\u4e3aC\uff0c\u5219\u4e00\u5b9a\u5b58\u5728\u6620\u5c04fg\u53ef\u4ee5\u5c06A\u6620\u5c04\u4e3aC\u3002<\/span><\/p>\n


<\/p>\n

3. \u6052\u7b49\u6001\u5c04\u548c\u4e00\u822c\u6001\u5c04\u7684\u7ec4\u5408\u5fc5\u987b\u8981\u6ee1\u8db3\u5355\u4f4d\u5f8b<\/strong><\/span>\uff08unit law axiom\uff09<\/span>\uff0c\u5373\u5982\u679c\u6709<\/span>f:a\u2192B<\/span><\/math-formula>\u5219\u6709f1A<\/sub>=f=1B<\/sub>f\u3002<\/span><\/p>\n


<\/p>\n

4. \u200d<\/span>\u6001\u5c04\u9700\u8981\u6ee1\u8db3\u7ed3\u5408\u5f8b<\/strong>\uff0c\u5373(hg)f=h(gf)<\/span>\u3002\u200d<\/span><\/span><\/p>\n


<\/p>\n

<\/section>\n
\u56fe1. \u8303\u7574\u7684\u793a\u4f8b\uff08\u57fa\u4e8ekamusumeFan\u7ed8\u5236\uff09<\/span><\/section>\n
 <\/span><\/section>\n
\u4e3a\u4e86\u5e2e\u52a9\u6211\u4eec\u66f4\u597d\u5730\u7406\u89e3\u8fd9\u4e00\u6982\u5ff5\uff0cSonga\u4ecb\u7ecd\u7684\u4e00\u4e2a\u7b80\u5355\u4e14\u76f4\u89c2\u7684\u4f8b\u5b50\u3002\u5728\u56fe2\u6240\u793a\u8303\u7574\u7684\u5bf9\u8c61\u5305\u542b\u4e09\u4e2a\u96c6\u5408\uff1a\u6240\u6709DNA\u5e8f\u5217\u7684\u96c6\u5408\u3001\u6240\u6709RNA\u5e8f\u5217\u7684\u96c6\u5408\uff0c\u4ee5\u53ca\u6240\u6709\u86cb\u767d\u8d28\u7684\u96c6\u5408\u3002\u8fd9\u4e9b\u96c6\u5408\u4e0e\u56fe2\u4e2d\u63cf\u8ff0\u5176\u95f4\u4ea4\u4e92\u5173\u7cfb\u7684\u6001\u5c04<\/span>\uff08\u4ee5\u53ca\u56fe\u4e2d\u9057\u6f0f\u7684\u6307\u5411\u81ea\u8eab\u7684\u6052\u7b49\u6620\u5c04\uff09<\/span>\u4e00\u540c\u7ec4\u6210\u4e86\u4e00\u4e2a\u8303\u7574\u3002\u8303\u7574\u8bba\u53ef\u4ee5\u4e3a\u5728\u590d\u6742\u7684\u79d1\u5b66\u9886\u57df\u4e2d\u8868\u8ff0\u548c\u89e3\u51b3\u95ee\u9898\u63d0\u4f9b\u5f62\u5f0f\u5316\u7684\u3001\u62bd\u8c61\u7684\u8bed\u8a00<\/strong><\/span>\uff08\u4f60\u53ef\u4ee5\u5728\u4e0b\u6587\u4e2d\u770b\u5230\u8303\u7574\u8bba\u7684\u5e94\u7528\u5b9e\u4f8b\uff09<\/span>\u3002<\/span><\/section>\n

<\/span><\/section>\n
<\/section>\n
\u56fe2. \u622a\u81eaSonga\u6f14\u8bb2\u4f7f\u7528\u7684\u5e7b\u706f\u7247\uff0c\u4ee5\u9057\u4f20\u5b66\u8303\u7574\u4f5c\u4e3a\u4f8b\u5b50<\/span><\/section>\n

<\/section>\n
\u8303\u7574\u8bba\u63d0\u4f9b\u4e86\u4e00\u79cd\u63cf\u8ff0\u5bf9\u8c61\u76f8\u4e92\u4f5c\u7528\u7684\u65b9\u6cd5\uff0c\u8fd9\u5176\u4e2d\u4e5f\u5305\u62ec\u8303\u7574\u672c\u8eab\u5982\u4f55\u76f8\u4e92\u4f5c\u7528\u3002\u4f60\u53ef\u4ee5\u4f7f\u7528\u51fd\u5b50<\/span>\uff08functor\uff09<\/span>\u5c06\u4e00\u4e2a\u8303\u7574\u4e0e\u53e6\u4e00\u4e2a\u8303\u7574\u76f8\u5173\u8054\u3002\u57fa\u4e8e\u8fd9\u79cd\u65b9\u5f0f\uff0c\u6211\u4eec\u53ef\u4ee5\u77e5\u9053\u54ea\u4e9b\u8303\u7574\u3001\u54ea\u4e9b\u51fd\u5b50\u662f\u76f8\u4e92\u7b49\u4ef7\u7684\uff1a\u5b83\u4eec\u5728\u67d0\u79cd\u610f\u4e49\u4e0a\u76f8\u540c\uff0c\u8fd9\u4f1a\u6bd4\u7ecf\u5178\u7684\u7b49\u4ef7\u6982\u5ff5\u5e26\u6765\u66f4\u591a\u7684\u4fe1\u606f<\/strong>\u3002<\/span><\/section>\n
 <\/span><\/section>\n

<\/span><\/span><\/section>\n

\n
\n
\n
\n
\n

<\/section>\n

<\/section>\n
\n
<\/svg><\/section>\n<\/section>\n<\/section>\n
\n

\u5b87\u5b99\u5b66\u4e2d\u7684\u8303\u7574\u8bba<\/strong><\/strong><\/p>\n<\/section>\n

\n

<\/section>\n

<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n


<\/p>\n

\u8303\u7574\u5df2\u7ecf\u88ab\u8bc1\u660e\u5728\u6570\u5b66\u5b66\u79d1\u4e2d\u5341\u5206\u6709\u7528\u3002\u4e8b\u5b9e\u4e0a\uff0c\u6240\u6709\u6570\u5b66\u5bf9\u8c61\u90fd\u53ef\u4ee5\u7528\u8303\u7574\u8bba\u7684\u8bed\u8a00\u8fdb\u884c\u63cf\u8ff0<\/span>\uff08\u7c7b\u4f3c\u4e8e\u6211\u4eec\u53ef\u4ee5\u5c06\u96c6\u5408\u8bba\u89c6\u4e3a\u6570\u5b66\u7684\u57fa\u7840\uff09<\/span>\u3002\u800c\u5728Songa\u7684\u6f14\u8bb2\u4e2d\uff0c\u6700\u4ee4\u4eba\u60ca\u8bb6\u7684\u662f\uff0c\u8303\u7574\u8bba\u5728\u6570\u5b66\u4e4b\u5916\u7684\u8bb8\u591a\u9886\u57df\u7684\u5e94\u7528<\/span>\uff08\u5305\u62ec\u795e\u7ecf\u79d1\u5b66\u3001\u5316\u5b66\u3001\u96c6\u6210\u7535\u8def\u548c\u8ba1\u7b97\u673a\u79d1\u5b66\uff09<\/span>\u3002<\/span><\/section>\n
 <\/span><\/section>\n
Songa\u7279\u522b\u89e3\u91ca\u4e86\u8303\u7574\u8bba\u5728\u5979\u6b63\u5728\u653b\u8bfb\u535a\u58eb\u5b66\u4f4d\u7684\u9886\u57df\u2014\u2014\u56e0\u679c\u96c6\u5b87\u5b99\u5b66<\/strong>\u4e0a\u7684\u5e94\u7528\u3002\u5e7f\u4e49\u76f8\u5bf9\u8bba\u6839\u636e\u65f6\u7a7a\u51e0\u4f55\u89e3\u91ca\u5f15\u529b\u3002\u56e0\u679c\u96c6\u662f\u4e00\u79cd\u7279\u6b8a\u7c7b\u578b\u7684\u504f\u5e8f\u96c6<\/span>\uff08poset\uff09<\/span>\uff0c\u53ef\u7528\u4e8e\u5bf9\u65f6\u7a7a\u8fdb\u884c\u63cf\u8ff0\u2014\u2014\u5bf9\u4e8e\u67d0\u4e9b\u4e8b\u4ef6\uff0c\u4f60\u53ef\u4ee5\u660e\u786e\u8bf4\u660e\u5176\u53d1\u751f\u7684\u5148\u540e\u987a\u5e8f\uff0c\u4f46\u5bf9\u4e8e\u6709\u4e9b\u8ddd\u79bb\u7c7b\u7a7a\u95f4\u9694\u7684\u4e8b\u4ef6<\/span>\uff08\u4e8b\u4ef6\u4e4b\u95f4\u4e0d\u53ef\u80fd\u7528\u4f4e\u4e8e\u5149\u901f\u7684\u4fe1\u606f\u8fdb\u884c\u8054\u7cfb\uff09<\/span>\uff0c\u4e0d\u53ef\u4ee5\u8bf4\u4e00\u4e2a\u4e8b\u4ef6\u53d1\u751f\u5728\u53e6\u4e00\u4e2a\u4e8b\u4ef6\u4e4b\u524d<\/span>\uff08\u8fd9\u4f1a\u5b58\u5728\u8fdd\u53cd\u56e0\u679c\u5173\u7cfb\u7684\u884c\u4e3a\uff09<\/span>\u3002<\/span><\/section>\n

<\/span><\/section>\n
<\/section>\n

\u56fe3. \u533a\u95f4\u57df\u7684\u793a\u4f8b\u3002\u5b9e\u7ebf\u4e0a\u6240\u6709\u95ed\u533a\u95f4\u7684\u96c6\u5408\uff0c\u5176\u987a\u5e8f\u7531\u9006\u96c6\u5305\u542b(reverse set inclusion)\u786e\u5b9a\u3002\u4f8b\u5982\uff0c\u5bf9\u4e8e\u56fe\u4e2d\u7684\u95ed\u533a\u95f4[a,b]\u5728\u533a\u95f4\u57df\u4e2d\u7684\u6392\u5e8f\u5728\u95ed\u533a\u95f4[c,d]\u4e4b\u524d\uff0c\u56e0\u4e3a[c,d]\u5305\u542b\u4e8e[a,b]\u3002<\/span><\/p>\n

 <\/span><\/section>\n
\u8fd9\u4e9b\u7279\u6b8a\u7c7b\u578b\u7684\u504f\u5e8f\u96c6\u4e0e\u88ab\u79f0\u4e3a\u533a\u95f4\u57df<\/span>\uff08interval domain\uff0c\u5176\u89e3\u91ca\u89c1\u56fe3\uff09<\/span>\u7684\u8303\u7574\u4e4b\u95f4\u5b58\u5728\u4e00\u79cd\u5df2\u77e5\u7684\u7b49\u4ef7\u5173\u7cfb\u3002\u201c\u8fd9\u610f\u5473\u7740\u6211\u4eec\u53ef\u4ee5\u7eaf\u7cb9\u6309\u7167\u8be5\u987a\u5e8f\u7406\u8bba\u7684\u65b9\u5f0f\u6784\u5efa\u65f6\u7a7a\u201d\uff0cSonga\u4ecb\u7ecd\u9053\u3002\u5979\u6b63\u5728\u601d\u8003\u7684\u535a\u58eb\u95ee\u9898\u662f\uff0c\u8fd9\u4e9b\u7279\u6b8a\u533a\u95f4\u57df\u7684\u7279\u6027\u662f\u4ec0\u4e48\uff0c\u8fd9\u5bf9\u4e8e\u91cd\u529b\u4e0e\u65f6\u7a7a\u7684\u63cf\u8ff0\u53c8\u610f\u5473\u7740\u4ec0\u4e48\uff1f<\/span><\/section>\n
 <\/span><\/section>\n

<\/section>\n
\u539f\u6587\u94fe\u63a5\uff1a<\/span><\/section>\n
https:\/\/plus.maths.org\/content\/maths-minute-category-theory<\/span><\/section>\n
\n
\n


<\/p>\n


<\/p>\n<\/section>\n<\/section>\n


<\/section>\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

\u8303\u7574\u8bba\u7b2c\u4e8c\u5b63\u62a5\u540d\u4e2d<\/strong><\/p>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n

\n


<\/p>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n

<\/span><\/p>\n

\n
\n
\n
\n
\n
\n
\n

\u8303\u7574\u8bba\u662f\u4e00\u4e2a\u7814\u7a76\u7ed3\u6784\u7684\u7406\u8bba\uff0c\u63d0\u4f9b\u4e86\u4e00\u79cd\u7cfb\u7edf\u3001\u7cbe\u786e\u3001\u62bd\u8c61\u7684\u8de8\u9886\u57df\u79d1\u5b66\u65b9\u6cd5\u8bba\uff0c\u53ef\u76f4\u63a5\u4ed8\u8bf8\u4e8e\u5404\u9886\u57df\u8003\u5bdf\u7684\u95ee\u9898\uff0c\u5bfb\u6c42\u8de8\u9886\u57df\u7684\u89e3\u51b3\u4e4b\u9053\u3002<\/span>\u8fd9\u79cd\u6570\u5b66\u8bed\u8a00\u4e0e\u590d\u6742\u6027\u79d1\u5b66\u6709\u4f17\u591a\u76f8\u4f3c\u4e4b\u5904\uff0c\u52a0\u4e4b\u5176\u672c\u8eab\u4f5c\u4e3a\u6570\u5b66\u5de5\u5177\u7684\u4e25\u5bc6\u6027\uff0c\u540e\u7eed\u53ef\u80fd\u80fd\u4e3a\u89e3\u51b3\u590d\u6742\u6027\u79d1\u5b66\u95ee\u9898\u63d0\u4f9b\u4e00\u628a\u94a5\u5319\u3002<\/span><\/p>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n


<\/p>\n

\u4e3a\u4e86\u8ba9\u5927\u5bb6\u4e86\u89e3\u8303\u7574\u8bba\u8fd9\u6837\u4e00\u95e8\u73b0\u4ee3\u6570\u5b66\u8bed\u8a00\uff0c\u514b\u670d\u4f20\u7edf\u5b66\u4e60\u8303\u7574\u8bba\u62bd\u8c61\u548c\u5bf9\u524d\u7f6e\u77e5\u8bc6\u7684\u969c\u788d\uff0c\u96c6\u667a\u5b66\u56ed\u7279\u9080\u4e00\u4f4d\u6b63\u5728\u5c1d\u8bd5\u6559\u4e2d\u5b66\u751f\u8303\u7574\u8bba\u7684J-CAT\u732b\u5708\u8001\u5e08\u5f00\u8bfe\uff0c\u7b79\u5212\u4e86\u201c\u96c6\u667a\u8303\u7574\u8bba\u5165\u95e8\u7cfb\u5217\u8bfe\u7a0b\u201d\u3002\u7b2c\u4e8c\u5b63\u8bfe\u7a0b\u6b63\u5f0f\u63a8\u51fa\uff0c\u5728\u7b2c\u4e00\u5b63<\/a>\u4e60\u5f97\u7684\u8303\u7574\u8bba\u601d\u7ef4\u65b9\u5f0f\u57fa\u7840\u4e0a\uff0c\u672c\u5b63\u8bfe\u7a0b\u5c06\u7ad9\u5728\u65b0\u7684\u8d77\u70b9\u4e0a\uff0c\u66f4\u591a\u5173\u6ce8\u8303\u7574\u8bba\u5185\u5728\u7684\u95ee\u9898\uff0c\u800c\u4e0d\u7528\u8fc7\u4e8e\u5173\u6ce8\u5177\u4f53\u7684\u95ee\u9898\u80cc\u666f\u3002\u4f8b\u5982\u5728\u8303\u7574\u8bba\u4e2d\uff0c\u53ef\u4ee5\u76f4\u63a5\u62bd\u8c61\u5730\u8ba8\u8bba\u4e00\u4e2a\u4f5c\u4e3a\u51fd\u5b50\u7684\u7bad\u5934\u5982\u4f55\u8fd0\u52a8\u5230\u53e6\u4e00\u4e2a\u51fd\u5b50\u7bad\u5934\uff0c\u8fd9\u6837\u9700\u8981\u7406\u89e3\u51fd\u5b50\u8303\u7574\u548c\u81ea\u7136\u53d8\u6362\u7684\u6982\u5ff5\u3002\u901a\u8fc7\u638c\u63e1\u8fd9\u4e9b\u8d8a\u6765\u8d8a\u62bd\u8c61\u7684\u601d\u7ef4\u5de5\u5177\uff0c\u5b66\u5458\u5c06\u9010\u6e10\u611f\u53d7\u5230\u8303\u7574\u8bba\u7684\u5f3a\u5927\u62bd\u8c61\u7b80\u5316\u80fd\u529b\uff0c\u611f\u53d7\u5230\u4e3a\u4f55\u4e0d\u540c\u9886\u57df\u7684\u7814\u7a76\u524d\u6cbf\u4e0d\u7ea6\u800c\u540c\u5730\u5e94\u7528\u8fd9\u4e9b\u5de5\u5177\u3002<\/span><\/p>\n


<\/p>\n

<\/span><\/span><\/a><\/p>\n


<\/section>\n
\u8be6\u60c5\u8bf7\u70b9\u51fb\uff1a<\/span><\/section>\n

\u4eba\u4eba\u53ef\u5b66\u7684\u8303\u7574\u8bba\u7b2c\u4e00\u5b63\u2014\u2014\u8de8\u9886\u57df\u7684\u79d1\u5b66\u65b9\u6cd5\u8bba | \u7cbe\u54c1\u5165\u95e8\u7cfb\u5217\u8bfe<\/a><\/span><\/p>\n

\u4eba\u4eba\u53ef\u5b66\u7684\u8303\u7574\u8bba\u7b2c\u4e8c\u5b63\u2014\u2014\u8de8\u5b66\u79d1\u7684\u79d1\u5b66\u65b9\u6cd5\u8bba | \u7cbe\u54c1\u5165\u95e8\u7cfb\u5217\u8bfe<\/a><\/span><\/section>\n


<\/p>\n

    <\/span><\/section>\n
\n

\u63a8\u8350\u9605\u8bfb<\/span><\/strong><\/strong><\/p>\n