📄 [math theory] an introduction to categories in computing.ps
字号:
0380038003800380038003800380038003800380018001C000E0003C00E001C001800380038003800380038003800380038003800380038003800380030007001C00F0000E297D9E15>I<008001800300030003000600060006000C000C000C00180018001800300030003000600060006000C000C0006000600060003000300030001800180018000C000C000C0006000600060003000300030001800080092A7C9E10>I<C000C0006000600060003000300030001800180018000C000C000C00060006000600030003000300018001800300030003000600060006000C000C000C00180018001800300030003000600060006000C000C000092A7E9E10>I<C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C002297B9E0C>IE /Fm 15 107 df<0000000000200000000000600000000000C0000000000180000000000300000000000600000000000C0000000000180000000000300000000000600000000000C0000000000180000000000300000000000600000000000C0000000000180000000000300000000000600000000000C0000000000180000000000300000000000600000000000C0000000000180000000000300000000000600000000000C0000000000180000000000300000000000600000000000C0000000000180000000000300000000000600000000000C0000000000180000000000300000000000600000000000C0000000000180000000000300000000000600000000000C000000000008000000000002B2C80AA2A>0 D<0000000000600000000001E0000000000780000000001E0000000000780000000001E0000000000780000000001E0000000000780000000001E0000000000780000000001E0000000000780000000001E0000000000780000000001E0000000000780000000001E0000000000780000000001E0000000000780000000000E000000000008000000000002B1780952A>8D<0100018003C003E003F007F807FC07FE0FFF0FFC1FE01F003C007000600080001010808F2A>I<00010006000E003C00F807F83FF0FFF07FE03FE01FE00FC007C003C001800080101066A92A>18 D<0002001E007E01FE0FFEFFFEFFFE0FFE01FE007E001E00020F0C7E852A>27D<000100FEFFFCFFF87FF07FE03FC03F801F001F000E000C00100C67942A>42D<8000F000FC00FF00FFE0FFFEFFFEFFE0FF00FC00F00080000F0C67852A>45D<06000600060006000F000F000F001F801F803FC03FC07FE07FE07FE0FFF00C0F86A72A>54D<FFF07FE07FE07FE03FC03FC01F801F800F000F000F0006000600060006000C0F86902A>63D<800000000000C000000000006000000000003000000000001800000000000C000000000006000000000003000000000001800000000000C000000000006000000000003000000000001800000000000C000000000006000000000003000000000001800000000000C000000000006000000000003000000000001800000000000C000000000006000000000003000000000001800000000000C000000000006000000000003000000000001800000000000C000000000006000000000003000000000001800000000000C000000000006000000000003000000000001800000000000C000000000006000000000003000000000001800000000000C00000000000600000000000202B2C80AA2A>I<400000C000006000006000003000003000001800001800000C00000C000006000006000003000003000001800001800000C00000C000006000006000003000003000001800001800000C00000C000006000006000003000003000001800001800000C00000C000006000006000003000003000001800001800000C00000C000006000002172C81AA15>I<800000000000E000000000007800000000001E000000000007800000000001E000000000007800000000001E000000000007800000000001E000000000007800000000001E000000000007800000000001E000000000007800000000001E000000000007800000000001E000000000007800000000001E000000000007800000000001E00000000000602B1780952A>72 D<0080018003C007C00FC01FE03FE07FE0FFF03FF007F800F8003C000E000600011010668F2A>82 D<00C003C00FC03FC0FFC0FFC07FC03FC00FE007E003E001E000E00060002000100C10779015>85 D<0C000E001F001F003F803FC07FE07FF0FFF8FFFC00FE0001100C678B2A>106 D E /Fn 49 123 df<0001FC3C00060E67000C0EC7001C0DC6001C01C0003801C0003803800038038000380380003803800070038007FFFFF800700700007007000070070000E0070000E00E0000E00E0000E00E0000E00E0001C00E0001C01C0001C01C0001C01C0001C01C0003801C0003803800038038000380380003003800070030000700700006006000C6606000E470C000C8618000703E00002025819C19>11 D<0001FC000703000C03001C07001C0300180000380000380000380000380000700007FFFC00701C00701C00701C00E03800E03800E03800E03800E07001C07001C07001C07001C0E201C0E201C0E20380E4038064038038038000030000070000060000C60000E40000CC00007000001825819C17>I<0001FDC000070FC0000C0FC0001C0F80001C038000380380003803800038070000380700003807000070070007FFFE0000700E0000700E0000700E0000E01C0000E01C0000E01C0000E01C0000E0380001C0380001C0380001C0380001C0710001C0710003807100038072000380320003801C0003800000030000000700000006000000C6000000E4000000CC000000700000001A25819C18>I<00030006000800180030006000C000C0018003000300060006000C000C001C0018001800380030003000700070006000600060006000E000E000E000E000E0006000600060006000600020003000100008000800102A7B9E11>40 D<001000100008000C000400060006000600060006000700070007000700070006000600060006000E000E000C000C001C001800180038003000300060006000C000C001800300030006000C00180010006000C000102A809E11>I<183878380808101020404080050C7D830D>44 D<FFC0FFC0FFC00A037D890F>I<3078F06005047C830D>I<00020006000C001C007C039C0038003800380038007000700070007000E000E000E000E001C001C001C001C003800380038003800780FFF00F1C7C9B15>49D<003C0000C3000101800201800201C00441C00441C00841C00841C00841C01083801083801107000E0600000C0000180000300000C0000100000600000800001001001002002002004006007E0C00C7F80083F80080E000121D7C9B15>I<000F0000308000C0800183800383800300000600000E00000C00001C00001CF0003B18003C0C00380C00780C00700E00700E00700E00601C00E01C00E01C00E01C00E03800E03800E0700060600060C0002180001E0000111D7B9B15>54D<060F0F06000000000000000000003078F06008127C910D>58 D<0000180000001800000038000000380000007800000078000000B8000001B800000138000002380000023C0000041C0000041C0000081C0000181C0000101C0000201C0000201C00007FFC0000401C0000801C0001801C0001001C0002001C0002001C0004000E000C000E001C001E00FF00FFC01A1D7E9C1F>65D<0003F020001E0C60003002E000E003C001C001C0038001C0070000C00E0000801E0000801C0000803C0000803C000000780000007800000078000000F0000000F0000000F0000000F0000000F0000400F0000400F0000400F0000800700008007000100038002000180040000C0180000706000001F800001B1E7A9C1E>67 D<01FFFE00003C0780003801C0003801C0003800E0003800E0007000F00070007000700070007000F000E000F000E000F000E000F000E000F001C001E001C001E001C001E001C001C0038003C003800380038007800380070007000E0007001C0007003800070070000E01C000FFFF00001C1C7D9B1F>I<01FFFFE0003C00E0003800600038004000380040003800400070004000700040007020400070200000E0400000E0400000E0C00000FFC00001C0800001C0800001C0800001C0800003810100038001000380020003800200070004000700040007000C00070018000E007800FFFFF0001B1C7D9B1C>I<01FFFFC0003C01C0003800C00038008000380080003800800070008000700080007020800070200000E0400000E0400000E0C00000FFC00001C0800001C0800001C0800001C0800003810000038000000380000003800000070000000700000007000000070000000F000000FFF000001A1C7D9B1B>I<01FFCFFE003C01E0003801C0003801C0003801C0003801C00070038000700380007003800070038000E0070000E0070000E0070000FFFF0001C00E0001C00E0001C00E0001C00E0003801C0003801C0003801C0003801C00070038000700380007003800070038000F007800FFE7FF001F1C7D9B1F>72 D<01FFC0003C0000380000380000380000380000700000700000700000700000E00000E00000E00000E00001C00001C00001C00001C0000380000380000380000380000700000700000700000700000F0000FFE000121C7E9B10>I<01FFE0003C0000380000380000380000380000700000700000700000700000E00000E00000E00000E00001C00001C00001C00001C0000380080380080380080380100700100700300700600700E00E03C0FFFFC0151C7D9B1A>76 D<01FFF800003C0E000038070000380380003803800038038000700780007007800070078000700F0000E00E0000E01C0000E0700000FFC00001C0C00001C0600001C0700001C07000038070000380700003807000038070000700F0000700F0400700F0400700F0800F007880FFE0790000001E001A1D7D9B1E>82 D<1FFFFFC01C0701C0300E00C0200E0080600E0080400E0080401C0080801C0080801C0080001C0000003800000038000000380000003800000070000000700000007000000070000000E0000000E0000000E0000000E0000001C0000001C0000001C0000001C0000003C000007FFE00001A1C799B1E>84 D<FFC00FE00E0007800E0006000F000400070008000700180007801000038020000380400003C0800001C1800001C1000001E2000000E4000000EC000000F80000007000000070000000E0000000E0000000E0000000E0000001C0000001C0000001C0000001C00000038000003FF800001B1C789B1F>89 D<03CC063C0C3C181C3838303870387038E070E070E070E070E0E2C0E2C0E261E462643C380F127B9115>97 D<3F00070007000E000E000E000E001C001C001C001C0039C03E60383038307038703870387038E070E070E070E060E0E0C0C0C1C0618063003C000D1D7B9C13>I<01F007080C08181C3838300070007000E000E000E000E000E000E008E010602030C01F000E127B9113>I<001F80000380000380000700000700000700000700000E00000E00000E00000E0003DC00063C000C3C00181C00383800303800703800703800E07000E07000E07000E07000E0E200C0E200C0E20061E4006264003C3800111D7B9C15>I<01E007100C1018083810701070607F80E000E000E000E000E000E0086010602030C01F000D127B9113>I<0003C0000670000C70001C60001C00001C0000380000380000380000380000380003FF8000700000700000700000700000700000E00000E00000E00000E00000E00001C00001C00001C00001C00001C000038000038000038000030000030000070000C60000E60000CC00007800001425819C0D>I<00F3018F030F06070E0E0C0E1C0E1C0E381C381C381C381C383830383038187818F00F700070007000E000E0C0C0E1C0C3007E00101A7D9113>I<0FC00001C00001C0000380000380000380000380000700000700000700000700000E78000E8C000F0E000E0E001C0E001C0E001C0E001C0E00381C00381C00381C00383800703880703880707080707100E03200601C00111D7D9C15>I<01800380010000000000000000000000000000001C002600470047008E008E000E001C001C001C0038003800710071007100720072003C00091C7C9B0D>I<0006000E0006000000000000000000000000000000F00118021802180438043800380038007000700070007000E000E000E000E001C001C001C001C003800380C300E700CE0078000F24819B0D>I<0FC00001C00001C0000380000380000380000380000700000700000700000700000E0F000E11000E23800E43801C83001C80001D00001E00003F800039C00038E00038E00070E20070E20070E20070E400E06400603800111D7D9C13>I<1F800380038007000700070007000E000E000E000E001C001C001C001C0038003800380038007000700070007000E400E400E400E40068003800091D7C9C0B>I<3C1E0780266318C04683A0E04703C0E08E0380E08E0380E00E0380E00E0380E01C0701C01C0701C01C0701C01C070380380E0388380E0388380E0708380E0710701C0320300C01C01D127C9122>I<3C3C002646004687004707008E07008E07000E07000E07001C0E001C0E001C0E001C1C00381C40381C40383840383880701900300E0012127C9117>I<01E007180C0C180C380C300E700E700EE01CE01CE01CE018E038E030E06060C031801E000F127B9115>I<07870004D98008E0C008E0C011C0E011C0E001C0E001C0E00381C00381C00381C00381800703800703000707000706000E8C000E70000E00000E00001C00001C00001C00001C00003C0000FF8000131A7F9115>I<03C4062C0C3C181C3838303870387038E070E070E070E070E0E0C0E0C0E061E063C03DC001C001C0038003800380038007803FF00E1A7B9113>I<3C3C26C2468747078E068E000E000E001C001C001C001C0038003800380038007000300010127C9112>I<01F006080C080C1C18181C001F001FC00FF007F0007800386030E030C030806060C01F000E127D9111>I<00C001C001C001C00380038003800380FFE00700070007000E000E000E000E001C001C001C001C00384038403840388019000E000B1A7D990E>I<1E0300270700470700470700870E00870E000E0E000E0E001C1C001C1C001C1C001C1C003838803838801838801839001C5900078E0011127C9116>I<1E06270E470E4706870287020E020E021C041C041C041C0818083808181018200C4007800F127C9113>I<1E01832703874703874703838707018707010E07010E07011C0E021C0E021C0E021C0E04180C04181C04181C081C1C100C263007C3C018127C911C>I<070E0019910010E38020E38041C30041C00001C00001C000038000038000038000038000070200670200E70400CB04008B080070F00011127D9113>I<1E03270747074707870E870E0E0E0E0E1C1C1C1C1C1C1C1C38383838183818381C7007F00070007000E0E0C0E1C0818047003C00101A7C9114>I<038207C20FEC08381008001000200040008001000200040008081008383067F043E081C00F127D9111>I E /Fo 49 122 df<0001FF0000001FFFC000007F80F00000FC00F80001F801F80003F803FC0007F003FC0007F003FC0007F003FC0007F001F80007F000F00007F000000007F000000007F000000007F0000000FFFFFFFC00FFFFFFFC00FFFFFFFC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC0007F001FC007FFF1FFFC07FFF1FFFC07FFF1FFFC0222A7FA926>12D<FFFF80FFFF80FFFF80FFFF80FFFF80FFFF8011067F9017>45 D<1C003E007F00FF80FF80FF807F003E001C0009097B8813>I<000E00001E00007E0007FE00FFFE00FFFE00F8FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE0000FE007FFFFE7FFFFE7FFFFE17277BA622>49 D<00FF800003FFF0000FFFFC001F03FE003800FF007C007F80FE003FC0FF003FC0FF003FE0FF001FE0FF001FE07E001FE03C003FE000003FE000003FC000003FC000007F8000007F000000FE000000FC000001F8000003F0000003E00000078000000F0000001E0000003C00E0007000E000E000E001C001C0038001C0070001C00FFFFFC01FFFFFC03FFFFFC07FFFFFC0FFFFFF80FFFFFF80FFFFFF801B277DA622>I<007F800003FFF00007FFFC000F81FE001F00FF003F80FF003F807F803F807F803F807F801F807F800F007F800000FF000000FF000000FE000001FC000001F8000007F00000FFC00000FFF0000001FC0000007E0000007F0000007F8000003FC000003FC000003FE000003FE03C003FE07E003FE0FF003FE0FF003FE0FF003FC0FF007FC07E007F807C007F003F01FE001FFFFC0007FFF00000FF80001B277DA622>I<00000E0000001E0000003E0000007E000000FE000000FE000001FE000003FE0000077E00000E7E00000E7E00001C7E0000387E0000707E0000E07E0000E07E0001C07E0003807E0007007E000E007E000E007E001C007E0038007E0070007E00E0007E00FFFFFFF8FFFFFFF8FFFFFFF80000FE000000FE000000FE000000FE000000FE000000FE000000FE000000FE00007FFFF8007FFFF8007FFFF81D277EA622>I<0C0003000F803F000FFFFE000FFFFC000FFFF8000FFFF0000FFFE0000FFFC0000FFE00000E0000000E0000000E0000000E0000000E0000000E0000000E7FC0000FFFF8000F80FC000E003E000C003F0000001F8000001FC000001FC000001FE000001FE018001FE07C001FE0FE001FE0FE00⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -