📄 [math theory] an introduction to categories in computing.ps
字号:
%!PS-Adobe-2.0%%Creator: dvips 5.47 Copyright 1986-91 Radical Eye Software%%Title: catnotes.dvi%%Pages: 46 1%%BoundingBox: 0 0 596 843%%EndComments%%BeginProcSet: tex.pro/TeXDict 200 dict def TeXDict begin /N /def load def /B{bind def}N /S /exchload def /X{S N}B /TR /translate load N /isls false N /vsize 10 N /@rigin{isls{[0 1 -1 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scaleResolution VResolution vsize neg mul TR matrix currentmatrix dup dup 4 getround 4 exch put dup dup 5 get round 5 exch put setmatrix}N /@letter{/vsize 10N}B /@landscape{/isls true N /vsize -1 N}B /@a4{/vsize 10.6929133858 N}B /@a3{/vsize 15.5531 N}B /@ledger{/vsize 16 N}B /@legal{/vsize 13 N}B /@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N/FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{/nn 8 dict N nn begin/FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array/BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo setfont}2array copy cvx N load 0 nn put /ctr 0 N[}B /df{/sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0]N df-tail}B /E{pop nn dup definefontsetfont}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data duplength 4 sub get}B /ch-xoff{128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B/ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0N /rw 0 N /rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll Sdup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevicech-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 add]{ch-image}imagemask restore}B /D{/cc X dup type /stringtype ne{]}if nn /base get cc ctrput nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sfdiv put}if put /ctr ctr 1 add N}B /I{cc 1 add D}B /bop{userdict /bop-hookknown{bop-hook}if /SI save N @rigin 0 0 moveto}N /eop{clear SI restoreshowpage userdict /eop-hook known{eop-hook}if}N /@start{userdict /start-hookknown{start-hook}if /VResolution X /Resolution X 1000 div /DVImag X /IE 256array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for}N /p /show load N/RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X/rulex X V}B /V statusdict begin /product where{pop product dup length 7 ge{07 getinterval(Display)eq}{pop false}ifelse}{false}ifelse end{{gsave TR -.1 -.1TR 1 1 scale rulex ruley false RMat{BDot}imagemask grestore}}{{gsave TR -.1-.1 TR rulex ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /a{moveto}B /delta 0 N /tail{dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M}B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B/j{3 M}B /k{4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll pa}B /bos{/SS save N}B /eos{clear SS restore}B end%%EndProcSetTeXDict begin 1000 300 300 @start /Fa 1 22 df<001F00000000001FE00000000003F00000000001F80000000000FC0000000000FE0000000000FE00000000007E00000000007F00000000007F00000000003F00000000003F80000000003F80000000001F80000000001FC0000000001FC0000000000FC0000000000FE0000000000FE00000000007E00000000007F00000000007F00000000003F00000000003F80000000001F80000000001F80000000001FC0000000000FC0000000000FE0000000000FE00000000007E00000000007F00000000007F00000000007F0000000000FF8000000001BF80000000039F80000000071FC00000000E1FC00000001C0FC0000000380FE0000000780FE0000000F007E0000001E007F0000003C007F00000078003F000000F0003F800001F0003F800003E0001F800007C0001FC0000F80001FC0001F00000FC0003E00000FE0007E00000FE000FC000007E001F8000007F003F0000007F007E0000003F00FE0000003F807C0000001FC0380000000FC02A3D7CBB32>21 D E /Fb 1 49 df<181818303030606060C0C0050B7E8B09>48D E /Fc 3 113 df<73C7009C68809830C038618030618030618030631060C32060C1C014097D8819>109 D<0F00308060C040C0C0C0C0C0C18043003C000A097E880F>111D<39C04E604C6018601860186018C038803700300030006000F8000B0D7E880F>IE /Fd 2 90 df<FFFFFFFFC0FFFFFFFFC01F00003E000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C000F00003C001F80007E00FFF003FFC0FFF003FFC0222A7E7F27>81 D<FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF0FF800001FF003F800001FC001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8001F800001F8003FC00003FC00FFF0000FFF0FFFFF00FFFFFFFFFF00FFFFFFFFFF00FFFFF303A7E7F35>89D E /Fe 2 50 df<1E0061804080C0C0C0C0C0C0C0C0C0C0C0C0C0C0408061801E000A0D7E8C0E>48 D<18F818181818181818181818FF080D7D8C0E>I E /Ff 1 51 df<7FFFFCFFFFFEC00006C00006C00006C00006C00006C00006C00006C00006C00006C00006C00006C00006C00006C00006C00006C00006C00006C00006C00006FFFFFEFFFFFE17177C991F>50 D E/Fg 8 122 df<FFFFC0FFFFC012027D871A>0 D<040004000400C460E4E03F800E003F80E4E0C4600400040004000B0D7E8D11>3 D<040E0E1C1C1C38383070706060C0C0070F7F8F0A>48D<0F001E003BC061806060804040310040801A0020800E0020800E0020800E0020800B0020401180404020C0C030C07B800F001E001B0D7E8C21>I<FFFFFFFF000300030003000300030003000310097E8A16>58 D<00400000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C00000C000FFFFE0FFFFE013147D931A>63D<C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0021D7D950A>106D<0C000C000C000C000C000C00FFC0FFC00C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C000A1A7E9310>121 D E /Fh 9 94 df<80402010080C0406060203030303030303030303020606040C0810204080081E7E950D>41 D<006000006000006000006000006000006000006000006000006000006000FFFFF0FFFFF000600000600000600000600000600000600000600000600000600000600014167E9119>43 D<0F0030C0606060604020C030C030C030C030C030C030C030C030C03040206060606030C00F000C137E9211>48D<0C001C00EC000C000C000C000C000C000C000C000C000C000C000C000C000C000C000C00FFC00A137D9211>I<1F0060C06060F070F030603000700070006000C001C00180020004000810101020207FE0FFE00C137E9211>I<0FC030707038703870380038003000E00FC0007000380018001C601CF01CF018E03860701FC00E137F9211>I<40E0400000000000000040E040030D7D8C09>58D<FCFCC0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0FCFC061D7E9509>91D<FCFC0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0C0CFCFC061D809509>93D E /Fi 33 90 df<7FF0FFE00C027F890E>45 D<7070F06004047C830C>I<0018007003F00C7000700070007000E000E000E000E000E000E001C001C001C001C001C001C003800380038003800380038007000780FFF80D1C7C9B15>49 D<007E000183800201C00400E00400E00F00E00F00E01F00E01F00E00E00E00001E00001C0000380000380000700000E00001C0000380000600000C0000180000300800600800801001001003FFF007FFE00FFFE00131C7E9B15>I<007C000187000203800403800F03C00F03C00F03C00E0380000380000700000600000C0000380003F000001C00000E00000E00000F00000F00000F00700F00F80F00F80F00F00E00E01E00801C004038003070000FC000121D7D9B15>I<0000C0000180000380000380000780000B8000138000270000670000C700008700010700020700040E00080E00180E00100E00200E00400E00FFFFC0001C00001C00001C00001C00001C00003800003C0003FF80121C7E9B15>I<0301C003FF8003FE0007FC0004000004000004000004000004000008000008F8000B0C000C0E00080700080700000700000780000780000780700F00F00F00F00F00F00E00801E00801C0040380040300030E0000F8000121D7D9B15>I<003E0000E1000180800303800607800C07801C070018000038000030000071F000761800780C00E80E00F00600F00600E00700E00700E00700E00E00C00E00C00E00C00E00C01C00E0180060380060300030C0000F8000111D7C9B15>I<1000003FFFC03FFFC03FFF8060010040020040040080080000080000100000200000400000C0000080000180000180000300000700000700000F00000E00000E00001E00001E00001E00003C00003C00003C0000180000121D7B9B15>I<007C000183000201800601800C00C00C00C00C00C01C01801C01801E03000F86000FCC0007F00003F80003FC000C7E00183F00300F00600700600300C00300C00300C00300C00200C006006004006018003830000FC000121D7D9B15>I<000020000000300000007000000070000000F0000000F0000001F00000037800000278000006780000047800000C780000087C0000183C0000103C0000203C0000203C0000403C0000403E0000FFFE0000801E0001001E0001001E0002001E0002000F0004000F0004000F001E001F00FF80FFF01C1D7F9C1F>65 D<0FFFFC0000F8070000F0038000F003C000F001C000F001E000F001E001E001C001E003C001E003C001E0078001E00F0001E03C0003FFF80003C01E0003C00F0003C0078003C0078003C007800780078007800780078007800780078007800F0007801E000F003C000F007800FFFFE0001B1C7E9B1D>I<0007F010001C0C300070026000C001E0038000E0070000E00E0000600E0000601C0000403C00004038000040780000007800000078000000F0000000F0000000F0000000F0000000F0000000F0000080F0000100700001007000010038000200380004001C0004000C001800060020000380C000007F00001C1E7C9C1E>I<0FFFFC0000F8078000F001C000F000E000F0007000F0007000F0007801E0003801E0003801E0003801E0003801E0003C01E0003803C0003803C0007803C0007803C0007803C0007003C000F0078000E0078000E0078001C0078003800780078007800E000F001C000F007000FFFFC0001E1C7E9B20>I<0FFFFFE000F801E000F000E000F0004000F0004000F0004000F0004001E0004001E0404001E0400001E0400001E0C00001E1C00003FF800003C1800003C0800003C0800003C0800003C080800780008007800080078001000780010007800300078006000F000E000F003E00FFFFFC001B1C7E9B1C>I<0FFFFFC000F803C000F001C000F0008000F0008000F0008000F0008001E0008001E0408001E0400001E0400001E0C00001E1C00003FF800003C1800003C0800003C0800003C0800003C080000780000007800000078000000780000007800000078000000F0000000F800000FFF800001A1C7E9B1B>I<0007F010001C0C300070026000C001E0038000E0070000E00E0000600E0000601C0000403C00004038000040780000007800000078000000F0000000F0000000F0000000F000FFF0F0000F80F0000780F0000F0070000F0070000F0038000F0038000F001C001F000C001E000600660003818200007E00001C1E7C9C21>I<0FFF9FFE00F803E000F003C000F003C000F003C000F003C000F003C001E0078001E0078001E0078001E0078001E0078001E0078003FFFF0003C00F0003C00F0003C00F0003C00F0003C00F0007801E0007801E0007801E0007801E0007801E0007801E000F003C000F803E00FFF3FFC01F1C7E9B1F>I<0FFF8000F80000F00000F00000F00000F00000F00001E00001E00001E00001E00001E00001E00003C00003C00003C00003C00003C00003C0000780000780000780000780000780000780000F00000F8000FFF800111C7F9B0F>I<01FFF0000F80000F00000F00000F00000F00000F00001E00001E00001E00001E00001E00001E00003C00003C00003C00003C00003C00003C00007800007800707800F87800F87800F0F000E0E00081C0004380003E0000141D7E9B15>I<0FFF83FE00F800F800F000E000F0008000F0010000F0020000F0040001E0080001E0100001E0400001E0800001E1C00001E3C00003C5E00003C9E00003D1F00003E0F00003C0F00003C078000780780007803C0007803C0007801E0007801E0007800F000F000F000F801F80FFF07FF01F1C7E9B20>I<0FFFC000F80000F00000F00000F00000F00000F00001E00001E00001E00001E00001E00001E00003C00003C00003C00003C00003C00003C0040780040780040780040780080780080780180F00380F00F0FFFFF0161C7E9B1A>I<0FF80007FC00F8000FC000BC000F8000BC00178000BC00178000BC00278000BC002780011E004F00011E004F00011E008F00011E008F00011E010F00010F010F00020F021E00020F021E00020F041E00020F041E000207881E000207901E000407903C000407A03C000407A03C000407C03C000403C03C000403803C000C038078001E03007C00FF8307FF80261C7E9B26>I<0FF807FE00F800F000FC006000BC004000BE0040009E0040009E0040010F0080010F008001078080010780800103C0800103C0800201E1000201E1000200F1000200F1000200F9000200790004007E0004003E0004003E0004001E0004001E0004000E000C000C001E000400FF8004001F1C7E9B1F>I<0007F00000381C0000E00E0001C0030003800380070001C00E0001C01E0001E01C0000E03C0000E0380000E0780000F0780000F0780000F0F00001E0F00001E0F00001E0F00001E0F00003C0F00003C0F00003C0700007807000070078000F0038001E003C001C001C0038000E00E0000383800000FE00001C1E7C9C20>I<0FFFFC0000F80F0000F0038000F003C000F001C000F001C000F001C001E003C001E003C001E003C001E0038001E0070001E00E0003C03C0003FFE00003C0000003C0000003C0000003C000000780000007800000078000000780000007800000078000000F0000000F800000FFF000001A1C7E9B1C>I<0FFFF80000F80E0000F0078000F003C000F001C000F001E000F001E001E003C001E003C001E0038001E0070001E00E0001E03C0003FFE00003C0700003C0380003C03C0003C01C0003C01E0007803C0007803C0007803C0007803C0007803C0007803C080F003C100F801C10FFF01C20000007C01D1D7E9B1F>82 D<003F0400C0CC0180380300380600180E0018⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -