📄 [math theory] an introduction to categories in computing.ps
字号:
3807F03807F03807F03807F03803F03803F87001F86000FFC0001F8015267FA51B>I<FFE03FF800FFE03FF800FFE03FF8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE003F8000FE007F80007E007F80007E00FF80003F03BFF8001FFF3FF80003FC3FF80211B7D9A26>I<FFFE03FF80FFFE03FF80FFFE03FF8007F000700007F000700007F800F00003F800E00003FC01E00001FC01C00001FC01C00000FE03800000FE038000007F070000007F070000007F8F0000003F8E0000003FDE0000001FDC0000001FDC0000000FF80000000FF80000000FF800000007F000000007F000000003E000000003E000000001C00000211B7F9A24>I<FFFE7FFC0FFEFFFE7FFC0FFEFFFE7FFC0FFE0FE007E000E007F003F001C007F003F001C007F807F803C003F807F8038003F807F8038001FC0EFC070001FC0EFC070001FE1EFC0F0000FE1C7E0E0000FE1C7E0E0000FF383F1E00007F383F1C00007F783F3C00003FF01FB800003FF01FB800003FF01FF800001FE00FF000001FE00FF000000FC007E000000FC007E000000FC007E00000078003C00000078003C0002F1B7F9A32>I<FFFC0FFF00FFFC0FFF00FFFC0FFF0007F003C00003F807800001FC07800000FE0F000000FF1E0000007F3C0000003FF80000001FF00000000FF00000000FF000000007F000000007F80000000FFC0000001FFE0000001EFE0000003C7F000000783F800000F01FC00001E01FE00001C00FE00003C007F000FFF01FFF80FFF01FFF80FFF01FFF80211B7F9A24>I<FFFE03FF80FFFE03FF80FFFE03FF8007F000700007F000700007F800F00003F800E00003FC01E00001FC01C00001FC01C00000FE03800000FE038000007F070000007F070000007F8F0000003F8E0000003FDE0000001FDC0000001FDC0000000FF80000000FF80000000FF800000007F000000007F000000003E000000003E000000001C000000001C000000003800000000380000038078000007C07000000FE0F000000FE0E000000FE1E000000FE3C0000007C780000003FE00000000FC000000021277F9A24>I E /Fp 15 117 df<00001E000000003E00000000FE00000003FE0000003FFE0000FFFFFE0000FFFFFE0000FFFFFE0000FFCFFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE0000000FFE00007FFFFFFFC07FFFFFFFC07FFFFFFFC07FFFFFFFC0223879B731>49D<0007FE0000007FFFE00001FFFFF80003FFFFFE0007F01FFF000F8007FF801F0001FFC03E0000FFE07F8000FFF07FC0007FF0FFE0007FF8FFF0003FF8FFF0003FFCFFF0003FFCFFF0003FFCFFF0003FFC7FE0003FFC3FC0003FFC1F80003FFC0000003FFC0000003FF80000007FF80000007FF00000007FF0000000FFE0000000FFC0000001FF80000001FF00000003FE00000007FC00000007F80000000FF00000001FC00000003F800000007F00000000FC00000001F800000001F0003C0003E0003C0007C0003C000F000078001E000078003C00007800780000F800F00000F801FFFFFFF803FFFFFFF007FFFFFFF00FFFFFFFF01FFFFFFFF03FFFFFFFF07FFFFFFFF0FFFFFFFFF0FFFFFFFFE0FFFFFFFFE0FFFFFFFFE026387BB731>I<0003FF8000001FFFF000007FFFFE0000FE03FF0001F000FF8003C000FFC00780007FE00FF0007FF00FF8007FF01FFC007FF81FFE007FF81FFE007FF81FFE007FF81FFE007FF81FFE007FF80FFC007FF007F8007FF003F0007FF0000000FFE0000000FFC0000001FF80000001FF00000003FE00000007FC0000001FF000000FFFC000000FFF8000000FFFF800000003FE00000000FF800000007FE00000003FF00000003FF80000003FFC0000001FFC0000001FFE0000001FFE0200001FFF1FC0001FFF3FE0001FFF7FF0001FFF7FF0001FFFFFF8001FFFFFF8001FFFFFF8001FFEFFF8001FFEFFF0001FFE7FF0003FFC7FE0003FFC3FC0003FF81F80007FF01FE000FFE007FC03FFC003FFFFFF0001FFFFFE00003FFFF0000007FF800028397CB731>I<00000007C0000000000FC0000000000FC0000000001FC0000000003FC0000000007FC000000000FFC000000000FFC000000001FFC000000003FFC000000007FFC00000000FFFC00000000FFFC00000001EFFC00000003CFFC00000007CFFC0000000F8FFC0000000F0FFC0000001E0FFC0000003C0FFC0000007C0FFC000000F80FFC000000F00FFC000001E00FFC000003C00FFC000007C00FFC00000F800FFC00000F000FFC00001E000FFC00003C000FFC00007C000FFC0000F8000FFC0000F0000FFC0001E0000FFC0003C0000FFC0007C0000FFC000F80000FFC000FFFFFFFFFFC0FFFFFFFFFFC0FFFFFFFFFFC0FFFFFFFFFFC0000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC0000007FFFFFFC00007FFFFFFC00007FFFFFFC00007FFFFFFC02A377DB631>I<04000000C00F800007C00FF8007FC00FFFFFFF800FFFFFFF000FFFFFFE000FFFFFFC000FFFFFF8000FFFFFF0000FFFFFE0000FFFFF80000FFFFE00000FFFF800000F800000000F800000000F800000000F800000000F800000000F800000000F800000000F800000000F81FF00000F8FFFE0000FBFFFF8000FFE03FE000FF000FF000FC000FF800F80007FC00F00007FE00700007FF00000003FF00000003FF80000003FF80000003FF80000003FFC0000003FFC0600003FFC1F80003FFC3FC0003FFC7FE0003FFCFFE0003FFCFFF0003FFCFFF0003FFCFFF0003FF8FFE0003FF8FFE0003FF87FC0007FF07F00007FF03C00007FE03E0000FFC01F0000FF800FC003FF0007F00FFE0003FFFFFC0001FFFFF000007FFFC000000FFC000026397BB731>I<00000FF80000007FFF000003FFFF80000FFC07C0001FE001E0003FC001F0007F0007F000FF000FF001FE001FF803FC003FF807FC003FF80FFC003FF80FF8003FF81FF8001FF01FF8000FE03FF80007C03FF00000003FF00000007FF00000007FF00000007FF00000007FF07FF000FFF0FFFE00FFF1F7FF00FFF3807F80FFF6003FE0FFFE001FF0FFFC001FF0FFFC000FF8FFF8000FFCFFF8000FFCFFF8000FFEFFF8000FFEFFF0000FFEFFF0000FFFFFF0000FFFFFF0000FFF7FF0000FFF7FF0000FFF7FF0000FFF7FF0000FFF7FF0000FFF3FF0000FFF3FF0000FFE3FF0000FFE1FF0000FFE1FF8000FFC0FF8000FFC0FF8001FF807FC001FF003FC001FF001FE003FE000FF80FFC0007FFFFF00001FFFFE000007FFF8000000FFC00028397CB731>I<1E00000000001F00000000001FF0000000001FFFFFFFFFC01FFFFFFFFFC01FFFFFFFFFC03FFFFFFFFFC03FFFFFFFFF803FFFFFFFFF003FFFFFFFFE003FFFFFFFFC003FFFFFFFF8003FFFFFFFF0007FFFFFFFF0007C000007E0007C00000FC0007800001F80007800001F00007800003E0000F000007E0000F00000FC0000F00001F80000000003F00000000003E00000000007E0000000000FC0000000000F80000000001F80000000003F80000000003F00000000007F00000000007F0000000000FF0000000000FE0000000001FE0000000001FE0000000003FE0000000003FE0000000003FE0000000007FC0000000007FC0000000007FC000000000FFC000000000FFC000000000FFC000000000FFC000000000FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000001FFC000000000FF80000000007F00000000003E00000002A3B7BB931>I<0001FF8000000FFFF800003FFFFE00007F00FF0000F8003F8001F0000FC003E0000FE007C00007F007C00007F00FC00003F80FC00003F81FC00003F81FC00003F81FE00003F81FF00003F81FF80003F81FFC0007F01FFF0007F01FFFC007E00FFFF00FE00FFFFC1FC007FFFE3F8007FFFFFF0003FFFFFC0001FFFFF80000FFFFFE00007FFFFF00003FFFFF80003FFFFFE000FFFFFFF001FDFFFFF007F07FFFF80FE01FFFFC1FC007FFFC3F8001FFFE3F8000FFFE7F00003FFF7F00000FFFFE000003FFFE000001FFFE000000FFFE000000FFFE0000007FFE0000007FFE0000007EFE0000007E7F0000007E7F000000FC3F800000FC3FC00001F81FE00003F00FF00007E007FE007FC003FFFFFF8000FFFFFE00003FFFF8000003FF800028397CB731>I<0000001FFF000030000001FFFFE000F000000FFFFFFC01F000007FFFFFFE03F00001FFFE007F87F00003FFE0000FCFF0000FFF000003FFF0001FFC000001FFF0003FF80000007FF0007FF00000003FF000FFC00000003FF001FFC00000001FF003FF800000000FF007FF000000000FF00FFF0000000007F00FFE0000000007F01FFE0000000003F01FFE0000000003F03FFC0000000003F03FFC0000000001F03FFC0000000001F07FFC0000000001F07FF80000000001F07FF80000000000007FF8000000000000FFF8000000000000FFF8000000000000FFF8000000000000FFF8000000000000FFF8000000000000FFF8000000000000FFF8000000000000FFF8000000000000FFF8000000000000FFF8000000000000FFF80000000000007FF80000000000007FF80000000000007FF80000000000007FFC0000000000F03FFC0000000000F03FFC0000000000F03FFC0000000000F01FFE0000000000F01FFE0000000001E00FFE0000000001E00FFF0000000001E007FF0000000003C003FF8000000003C001FFC0000000078000FFE00000000F00007FF00000001F00003FF80000003E00001FFC0000007C00000FFF000001F8000003FFE00007F0000001FFFE003FC00000007FFFFFFF000000000FFFFFFC0000000001FFFFF000000000001FFF0000003C3D7BBB47>67D<001FFF00000001FFFFF0000003FFFFFC000007F007FE00000FF801FF00001FFC00FF80001FFC007FC0001FFC007FE0001FFC003FE0000FF8003FF0000FF8003FF00007F0003FF00001C0003FF0000000003FF0000000003FF0000000003FF0000000FFFFF000000FFFFFF000007FF83FF00001FF803FF00007FE003FF0000FF8003FF0001FF0003FF0003FE0003FF0007FE0003FF0007FE0003FF000FFC0003FF000FFC0003FF000FFC0003FF000FFC0003FF000FFC0007FF0007FE0007FF0007FE000DFF0003FF0039FF8001FFC0F0FFFF007FFFE0FFFF001FFFC07FFF0003FE000FFF02C267DA530>97 D<0001FFC000000FFFF800003FFFFE0000FF80FF0001FE003F8007FC001FC00FF8000FE00FF8000FF01FF00007F03FF00007F83FF00007F87FE00007F87FE00003FC7FE00003FC7FE00003FCFFE00003FCFFFFFFFFFCFFFFFFFFFCFFFFFFFFFCFFE0000000FFE0000000FFE0000000FFE00000007FE00000007FE00000007FE00000003FE00000003FF000003C1FF000003C1FF000003C0FF800007807FC0000F803FE0001F001FF0007E000FFC03FC0003FFFFF000007FFFC000000FFE00026267DA52D>101 D<00FF00000000FFFF00000000FFFF00000000FFFF00000000FFFF0000000007FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF007FC00003FF01FFF80003FF07FFFC0003FF0F03FE0003FF1C01FF0003FF3001FF8003FF6000FF8003FFE000FFC003FFC000FFC003FF8000FFC003FF8000FFC003FF8000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC003FF0000FFC0FFFFFC3FFFFFFFFFFC3FFFFFFFFFFC3FFFFFFFFFFC3FFFFF303C7CBB37>104 D<00FF01FF8000FFFF0FFFF000FFFF3FFFFC00FFFFFE03FF00FFFFF000FF8003FFC0007FC003FF80003FE003FF00003FF003FF00001FF803FF00001FFC03FF00000FFC03FF00000FFE03FF00000FFE03FF000007FE03FF000007FF03FF000007FF03FF000007FF03FF000007FF03FF000007FF03FF000007FF03FF000007FF03FF000007FF03FF000007FF03FF000007FE03FF000007FE03FF00000FFE03FF00000FFC03FF00000FFC03FF00001FF803FF00001FF803FF00003FF003FF80003FE003FFC0007FC003FFF001FF8003FFFC07FF0003FF3FFFFC0003FF0FFFF00003FF01FF000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF0000000003FF00000000FFFFFC000000FFFFFC000000FFFFFC000000FFFFFC00000030377DA537>112 D<00FE03F000FFFE0FFE00FFFE1FFF00FFFE3C3F80FFFE707FC007FE60FFE003FEE0FFE003FEC0FFE003FFC0FFE003FF807FC003FF807FC003FF803F8003FF800E0003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF00000003FF000000FFFFFE0000FFFFFE0000FFFFFE0000FFFFFE000023267DA529>114 D<0007800000078000000780000007800000078000000F8000000F8000000F8000000F8000001F8000001F8000003F8000003F8000007F800000FF800001FF800007FF80001FFFFFF0FFFFFFF0FFFFFFF0FFFFFFF001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF800001FF803C01FF803C01FF803C01FF803C01FF803C01FF803C01FF803C01FF803C00FF807800FFC078007FC070003FE0E0001FFFC00007FF800001FF001E377EB626>116 D E /Fq 6 115 df<FFFFFFC000FFFFFFF80007E0007E0003E0001F0003E000078003E00003C003E00001E003E00001F003E00001F003E00000F003E00000F803E00000F803E00000F803E00000F803E00000F803E00000F803E00000F003E00001F003E00001E003E00003E003E00003C003E000078003E0001F0003E0007C0003FFFFF00003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000003E000000007F0000000FFFF800000FFFF80000025317CB02D>80D<00FE00000303C0000C00E00010007000100038003C003C003E001C003E001E003E001E0008001E0000001E0000001E0000001E00000FFE0000FC1E0003E01E000F801E001F001E003E001E003C001E007C001E00F8001E04F8001E04F8001E04F8003E04F8003E0478003E047C005E043E008F080F0307F003FC03E01E1F7D9E21>97 D<003F8000E0600380180700040F00041E001E1C003E3C003E7C003E7C0008780000F80000F80000F80000F80000F80000F80000F80000F80000F800007800007C00007C00003C00011E00011E00020F000207000403801800E060003F80181F7D9E1D>99D<003F800000E0E0000380380007003C000E001E001E001E001C000F003C000F007C000F0078000F8078000780F8000780F8000780FFFFFF80F8000000F8000000F8000000F8000000F8000000F8000000780000007C0000003C0000003C0000801E0000800E0001000F0002000780020001C00C0000F03000001FC000191F7E9E1D>101 D<0007E0001C1000383800707C00E07C01E07C01C03803C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C000FFFFC0FFFFC003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00003C00007E0007FFF007FFF0016327FB114>I<0783E0FF8C18FF907C0F907C07A07C07C03807C00007C00007C0000780000780000780000780000780000780000780000780000780000780000780000780000780000780000780000780000780000780000780000FC000FFFE00FFFE00161F7E9E19>114 D E /Fr 67 123 df<00F000030C000E06041C0704380708300708700790700790E003A0E003A0E003C0E00380E00380E00380600780601B883061900F80E016127E911B>11D<0001F000061800080C00100C00200E00400E00800E00801C01001C010018010038020FF00210C0020FE00200300400300400300400380400380800700800700800700800E01800E01800C0140180140300230E0020F80020000020000040000040000040000040000080000080000017257F9C17>I<0780101FC0103FE0207FF020603040C01080801080000900000900000A00000A00000A00000C00000C00000800000800000800001800001800001800003000003000003000003000006000006000004000141B7F9115>I<007C00C2010203000600060006000700078⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -