📄 [math theory] an introduction to categories in computing.ps
字号:
0E00180E00181E00101E00001F00000F80000FF80007FF0003FF8001FFC0003FE00003E00001E00000E00000E04000E04000E04000E04000C06001C0E00180F00300CC0E0083F800161E7E9C17>I<1FFFFFF03C07C0F03007803020078020600780204007802040078020400F0020800F0020000F0000000F0000000F0000000F0000001E0000001E0000001E0000001E0000001E0000001E0000003C0000003C0000003C0000003C0000003C0000003C000000780000007C00001FFFE0001C1C7C9B1E>I<FFF87FE00F800F000F0006000F0004000F0004000F0004000F0004001E0008001E0008001E0008001E0008001E0008001E0008003C0010003C0010003C0010003C0010003C0010003C0010007800200078002000780020003800400038004000380080001C0100000C020000070C000001F000001B1D7A9B1F>I<FFF0FFE0FF801F001F003C000F001F0018000F000F0010000F001F0010000F001F0020000F002F0020000F002F0060000F804F00400007804F80400007808780800007808780800007810781000007810781000007820782000007C20782000003C407C4000003C403C4000003C803C8000003C803C8000003D803D0000003D003D0000003F003E0000001E003E0000001E001C0000001C001C0000001C001800000018001800000018001800000291D7B9B2B>87D<07FF87FE00FE01F0007C01C0003C0180003E0100001E0200001E0400001F0800000F1800000F90000007A0000007C0000003C0000003E0000003E0000003F0000004F0000008F0000010F8000030780000207C0000403C0000803E0001001E0003001F0006000F001F001F80FFC0FFF01F1C7F9B1F>I<FFF007F81F8003C00F0001800F8001000780020007C0040003C0080003E0080003E0100001E0200001F0400000F0400000F8800000790000007A0000007E0000003C0000003C00000038000000780000007800000078000000780000007800000070000000F0000000F800000FFF00001D1C7B9B1F>I E /Fj 23 119 df<1000401000C0200040200040406040406040406040C0C080C0C08040C10063E6007E7E003C3800120D808C15>33 D<40E04003037D820A>58D<40E06020202040408003097D820A>I<000100000300000700000780000B80001B800013800023800023800043800083800083C00101C003FFC00201C00401C00401C00801C01801E0FE07F815147F9319>65 D<07FFE000E03801C01801C01C01C01C01C01C0380380380700380E003FFC00700E00700700700300700380E00700E00700E00E00E00E01C0380FFFE0016147F9319>I<003F0800C0980300700600300C0030180030380020700000700000700000E00000E00000E00000E000406000806000803001003002000C1C0007E00015147E9318>I<07FFE000E07001C01801C00C01C00C01C00E03800E03800E03800E03800E07001C07001C07001C0700380E00300E00700E00E00E01C01C0700FFFC0017147F931B>I<07FFFC00E01C01C00C01C00C01C00C01C00803820803820003820003FE000704000704000704000700000E00000E00000E00000E00001C0000FFC00016147F9315>70 D<003F0800C0980300700600300C0030180030380020700000700000700000E00000E01FF0E001C0E001C06003806003803003803007800C0B0007F10015147E931A>I<07FC00E001C001C001C001C0038003800380038007000700070007000E000E000E000E001C00FF800E147F930F>73D<07FE0000E00001C00001C00001C00001C0000380000380000380000380000700000700000700000700200E00400E00400E00800E01801C0780FFFF0013147F9317>76 D<07FFE000E07001C01801C01C01C01C01C01C0380380380380380700381C007FF000700000700000700000E00000E00000E00000E00001C0000FF800016147F9315>80 D<1FFFF8381C1820381820380840380840381080701000700000700000700000E00000E00000E00000E00001C00001C00001C00001C0000380003FF8001514809314>84 D<07FC7F8000E01C0000F0100000702000007840000038800000390000003E0000001C0000001E0000001E0000003F00000067000000C7000001838000030380000603C0000401C0001C01E000FE07F80019147F931B>88 D<7C000C00180018001800180030003700388030C060C060C060C060C0C180C180C1004300660038000A147E930F>98 D<06070600000000384C4C8C98181830326262643808147F930C>105 D<0060007000600000000000000000038004C0046008C008C000C000C0018001800180018003000300030003006600E600CC0078000C1A81930E>I<30F87C00590C86004E0D06009C0E0600980C0600180C0600180C060030180C0030180C8030181880301818806030190060300E00190D7F8C1D>109 D<30F8590C4E0C9C0C980C180C180C30183019303130316032601C100D7F8C15>I<03800C6018203030603060306030C060C06040C0608023001E000C0D7E8C10>I<0C78168C130426062606060606060C0C0C0C0C080C101A2019C018001800300030003000FC000F13818C11>I<380C4C0C4C0C8C18981818181818303030323032307218B40F1C0F0D7F8C14>117 D<38104C304C108C10981018101810302030203040304018800F000C0D7F8C11>I E /Fk 25 123 df<7FF800FFFE007FFF001C0F001C07801C03801C03801C03801C07801C07001FFF001FFE001FFE001C1F001C03801C03C01C01C01C01C01C01C01C01C01C03C01C07807FFF80FFFF007FFC0012197F9816>66 D<FFFFE0FFFFE0FFFFE01C00E01C00E01C00E01C00E01C00001C00001C1C001C1C001FFC001FFC001FFC001C1C001C1C001C00001C00001C00001C00001C00001C0000FF8000FFC000FF800013197F9816>70 D<FFFEFFFEFFFE0380038003800380038003800380038003800380038003800380038003800380038003800380FFFEFFFEFFFE0F197D9816>73 D<7E1FC0FF3FE07F1FC01D07001D87001D87001D87001DC7001DC7001CC7001CC7001CE7001CE7001CE7001C67001C67001C77001C77001C37001C37001C37001C17007F1F00FF9F007F0F0013197F9816>78 D<7FFF80FFFF80FFFF80E00700E00F00E01E00E01C00003C0000780000700000F00001E00001C00003C0000780000700000F00001E03801C03803C0380780380700380FFFF80FFFF80FFFF8011197E9816>90 D<1FE0003FF0007FF800783C00300E00000E00000E0003FE001FFE003E0E00700E00E00E00E00E00E00E00783E007FFFE03FE7E00F83E013127E9116>97D<03F80FFC1FFE3C1E780C7000E000E000E000E000E000F000700778073E0E1FFC0FF803F010127D9116>99 D<003F00007F00003F0000070000070000070000070003C7000FF7001FFF003C1F00780F00700700E00700E00700E00700E00700E00700E00700700F00700F003C1F001FFFE00FE7F007C7E014197F9816>I<03E00FF81FFC3C1E780E7007E007FFFFFFFFFFFFE000E000700778073C0F1FFE0FFC03F010127D9116>I<001F00007F8000FF8001E78001C30001C00001C0007FFF00FFFF00FFFF0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0003FFE007FFF003FFE0011197F9816>I<7E0000FE00007E00000E00000E00000E00000E00000E3C000EFE000FFF000F87800F03800E03800E03800E03800E03800E03800E03800E03800E03800E03800E03807FC7F0FFE7F87FC7F01519809816>104 D<018003C003C0018000000000000000007FC07FC07FC001C001C001C001C001C001C001C001C001C001C001C001C07FFFFFFF7FFF101A7D9916>I<FFC000FFC000FFC00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C000FFFF80FFFF80FFFF8011197E9816>108 D<F9C380FFEFC0FFFFE03C78E03C78E03870E03870E03870E03870E03870E03870E03870E03870E03870E03870E0FE7CF8FE7CF8FE3C781512809116>I<7E3C00FEFE007FFF000F87800F03800E03800E03800E03800E03800E03800E03800E03800E03800E03800E03807FC7F0FFE7F87FC7F01512809116>I<03E0000FF8001FFC003C1E00780F00700700E00380E00380E00380E00380E00380F00780700700780F003C1E001FFC000FF80003E00011127E9116>I<7E3E00FEFF007FFF800F83C00F00E00E00E00E00700E00700E00700E00700E00700E00700E00E00F01E00F83C00FFF800EFF000E3C000E00000E00000E00000E00000E00000E00007FC000FFE0007FC000141B809116>I<FF0FC0FF3FE0FF7FE007F04007C000078000078000070000070000070000070000070000070000070000070000FFFC00FFFC00FFFC0013127F9116>114D<0FEC3FFC7FFCF03CE01CE01C70007F801FF007F8003C600EE00EF00EF81EFFFCFFF8C7E00F127D9116>I<0300000700000700000700000700007FFF00FFFF00FFFF0007000007000007000007000007000007000007000007010007038007038007038007870003FE0001FC0000F80011177F9616>I<7E1F80FE3F807E1F800E03800E03800E03800E03800E03800E03800E03800E03800E03800E03800E03800E0F800FFFF007FBF803E3F01512809116>I<7F1FC0FF1FE07F1FC01C07001E0F000E0E000E0E000E0E00071C00071C00071C00071C0003B80003B80003B80001F00001F00000E00013127F9116>I<FF1FE0FFBFE0FF1FE038038038038038038038038038E38019F30019F30019B3001DB7001DB7001DB7001DB7000F1E000F1E000F1E0013127F9116>I<7F1FC07F3FC07F1FC00F1C00073C0003B80003F00001F00000E00001E00001F00003B800073C00071C000E0E007F1FC0FF3FE07F1FC013127F9116>I<3FFFC07FFFC07FFFC0700780700F00701E00003C0000780001F00003E0000780000F00001E01C03C01C07801C0FFFFC0FFFFC0FFFFC012127F9116>122D E /Fl 35 107 df<FFFFFF80FFFFFF8019027D8A20>0 D<60F0F06004047C8B0C>I<400020C000606000C03001801803000C0600060C0003180001B00000E00000E00001B000031800060C000C06001803003001806000C0C0006040002013147A9320>I<01800180018001804182F18F399C0FF003C003C00FF0399CF18F4182018001800180018010127E9215>I<03C00FF01C38300C60066006C003C003C003C00360066006300C1C380FF003C010107E9115>14 D<03C00FF01FF83FFC7FFE7FFEFFFFFFFFFFFFFFFF7FFE7FFE3FFC1FF80FF003C010107E9115>I<FFFFFFE07FFFFFE000000000000000000000000000000000000000000000000000000000FFFFFFE0FFFFFFE0000000000000000000000000000000000000000000000000000000007FFFFFE0FFFFFFE01B147E9320>17D<007FFF8001FFFF80078000000E0000001800000030000000300000006000000060000000C0000000C0000000C0000000C0000000C0000000C0000000C000000060000000600000003000000030000000180000000E0000000780000001FFFF80007FFF80000000000000000000000000000000000000000000000000000000007FFFFF807FFFFF8019227D9920>I<000001800000078000001E00000078000001E00000078000001E00000078000001E00000078000001E00000078000000E0000000780000001E0000000780000001E0000000780000001E0000000780000001E0000000780000001E000000078000000180000000000000000000000000000000000000000000000000000000007FFFFF00FFFFFF8019227D9920>20 D<07C000201FE000203FF80020783C0060E01F00E0C00783C08003FF808000FF0080007C001B097E8E20>24 D<000000040000000002000000000200000000010000000000800000000040FFFFFFFFF8FFFFFFFFF8000000004000000000800000000100000000020000000002000000000400250E7E902A>33 D<0000030000000003000000000180000000018000000000C00000000060007FFFFFF000FFFFFFF8000000000E00000000070000000001E0000000007800000001E0000000038000000006000000001C00FFFFFFF8007FFFFFF0000000006000000000C000000001800000000180000000030000000003000025187E952A>41D<030180030180030180030180030180030180030180030180030180030180030180030180030180030180030180030180030180030180030180030180030180030180C30186E3018E3B01B81F01F00701C003018001830000C60000C600006C00006C0000380000380000100000100017257F9C19>43 D<007FF801FFF80780000E0000180000300000300000600000600000C00000C00000C00000FFFFF8FFFFF8C00000C00000C000006000006000003000003000001800000E000007800001FFF8007FF8151A7D961C>50 D<C0C0C0C0C0C0E0E0C0C0C0C0C0C0030E7E9000>55D<00040000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000000C0000FFFFFFE0FFFFFFE01B1C7D9B21>63 D<00000020000000E0000001E0000001E0000003E0000003E0000005E0000005E0000009E0000009E0000011E0000031E0000021E0000061E0000041E0000081E0000181E0000101E0000301E0000601E0000401E0000FFFF0001FFFF0003000F0003000F0006000F060C000F0718000F87F8000F8FF00007E7E00007C3C0000001F20809D21>65 D<00603F0001E1FF8007E30FC001EC07C001D803C001F803C003F0038003E0038003E0070003E0040003C0180007C060000783C000078FF8000793FC0007007E000F003E000F001F000F001F000E000F000E000F001E000F001C000E001C000E003C001C00398018003BC0200077E0C00063FF0000C1FC00001A1E7F9C1B>I<0003F0000FF80030F80040780180780300700700700E00E00E00E01C01801C0000380000380000780000780000700000700000F00000F00000F00000F00000F00000F00020F80060F801C07C01807E03003F04001FF8000FE000151E7F9C16>I<003FFE0001FFFFC0071E1FE0081C03F0381C01F8703C00F8603C007CC03C007C003C003C0038003C0038003C0078003C0078003C00780038007000380070007800F0007000E0006000E000E001E001C001C0018001C0020003C004000380180003806000070380000FFE00001FF000001E1C809B20>I<0003FC001FFE00703E00801E01001C07001C0E00380C00301C0060380000380000780000700000700000F00008F00038F00078F00078F00070F000F0F801F0F801E07C02E07F0DE03FF1C00FC1C0000380000380000700000700180E007E08007FF0001FC00017227F9C19>71 D<00FC000303FE00070C3E000E181E000E381E001C701E001C601C0038C01C0038003C0078003C0070003C0070003800E0003FFFE0007FFFE0007001E0007001C000F001C000F003C000E003C000E0038001C0038001C0078003C0078003800780038007800780078207000786060007DC0C0007F0000003C0201E809B23>I<000000000F000000003F000000007F000100007E00038000E00007800080000780010000078001000007C001000007C002000005C00200000DC002000009E002000009E004000008E004000008F004000010F00800001070080000107808000010780800002038100000203C100000203C100000401C100000401E200000401E200000800F200000800F2000010007E000330007C0007E0003C0007E0003C000FC0001800038000000002822819F22>78D<003FFF0001FFFFC0071E0FE0081C03F0381C01F8703C00F8603C0078C03C0078003C00780038007000380070007800E0007800E0007801C0007001800070020000F00C0000E0300000E7C00001EF000001E0000001C0000001C0000003800000038000000780000007000000070000000E0000000C0000001D1E809B1D>80 D<0000000400FFFFF803FFFFE00400E0001C00E0003801C0003001C0007003C000E003C000C00380000003800000078000000780000007000000070000000F0000000E0000000E0000001E0000001E0000001C0000001C00000038000000380000007000000060000000C0000007FF00000FFC00001E1D7F9C17>84 D<001000003800003800006C00006C00006C0000C60000C6000183000183000301800301800600C00600C00600C00C00600C006018003018003030001830001830001860000C60000CC00006C00002171A7E981C>94 D<400000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000FFFFE0FFFFF0C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000400000141D7E9C19>96 D<0000100000300000300000300000300000300000300000300000300000300000300000300000307FFFF0FFFFF0000030000030000030000030000030000030000030000030000030000030000030000030000030000010141D7E9C19>I<7FC0FFC0C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C00040000A2A799E12>100D<FFC0FFC000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000400A2A809E12>I<003C00E001C001800380038003800380038003800380038003800380038003800380030007001C00F0001C00070003000380038003800380038003800380038003800380038003800380018001C000E0003C0E297D9E15>I<F0001C0007000300038003800380⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -