Quelle  LeftCoclosedMonoidalCategories.gd   Sprache: unbekannt

2320535044582D4C6963656E73652D49
64656E7469666965723A2047504C2D32
2E302D6F722D6C617465720A23204D6F
6E6F6964616C43617465676F72696573
3A204D6F6E6F6964616C20616E64206D
6F6E6F6964616C2028636F29636C6F73
65642063617465676F726965730A230A
23204465636C61726174696F6E730A23
0A0A2323232323232323232323232323
23232323232323232323232323232323
2323232323230A23230A232120404368
6170746572204D6F6E6F6964616C2043
617465676F726965730A23230A232120
4053656374696F6E204C65667420436F
636C6F736564204D6F6E6F6964616C20
43617465676F726965730A23230A2323
23232323232323232323232323232323
23232323232323232323232323232323
23230A0A4465636C617265476C6F6261
6C5661726961626C652820224C454654
5F434F434C4F5345445F4D4F4E4F4944
414C5F43415445474F524945535F4D45
54484F445F4E414D455F5245434F5244
2220293B0A0A4341505F494E5445524E
414C5F434F4E5354525543544956455F
43415445474F524945535F5245434F52
442E49734C656674436F636C6F736564
4D6F6E6F6964616C43617465676F7279
203A3D0A2020436F6E636174656E6174
696F6E280A202020202020202020204C
6973744F66446566696E696E674F7065
726174696F6E7328202249734D6F6E6F
6964616C43617465676F72792220292C
0A202020202020202020205B20224C65
6674496E7465726E616C436F486F6D4F
6E4F626A65637473222C0A2020202020
20202020202020224C656674496E7465
726E616C436F486F6D4F6E4D6F727068
69736D73222C0A202020202020202020
202020224C656674436F636C6F736564
4D6F6E6F6964616C4576616C75617469
6F6E4D6F72706869736D222C0A202020
202020202020202020224C656674436F
636C6F7365644D6F6E6F6964616C436F
6576616C756174696F6E4D6F72706869
736D220A202020202020202020202020
5D20293B0A0A23212040446573637269
7074696F6E0A23212054686520617267
756D656E7473206172652074776F206F
626A656374732024612C62242E0A2321
20546865206F75747075742069732074
686520696E7465726E616C20636F686F
6D206F626A65637420245C6D61746872
6D7B5C756E6465726C696E657B636F48
6F6D7D5F5C656C6C7D28612C6229242E
0A2321204052657475726E7320616E20
6F626A6563740A23212040417267756D
656E747320612C20620A4465636C6172
654F7065726174696F6E2820224C6566
74496E7465726E616C436F486F6D4F6E
4F626A65637473222C0A202020202020
2020202020202020202020205B204973
43617043617465676F72794F626A6563
742C20497343617043617465676F7279
4F626A656374205D20293B0A0A232120
404465736372697074696F6E0A232120
54686520617267756D656E7473206172
652074776F206D6F72706869736D7320
245C616C7068613A2061205C72696768
746172726F772061272C205C62657461
3A2062205C72696768746172726F7720
6227242E0A232120546865206F757470
75742069732074686520696E7465726E
616C20636F686F6D206D6F7270686973
6D0A232120245C6D617468726D7B5C75
6E6465726C696E657B636F486F6D7D5F
5C656C6C7D285C616C7068612C5C6265
7461293A205C6D617468726D7B5C756E
6465726C696E657B636F486F6D7D5F5C
656C6C7D28612C622729205C72696768
746172726F77205C6D617468726D7B5C
756E6465726C696E657B636F486F6D7D
5F5C656C6C7D2861272C6229242E0A23
21204052657475726E732061206D6F72
706869736D20696E20245C6D61746872
6D7B486F6D7D28205C6D617468726D7B
5C756E6465726C696E657B636F486F6D
7D5F5C656C6C7D28612C6227292C205C
6D617468726D7B5C756E6465726C696E
657B636F486F6D7D5F5C656C6C7D2861
272C62292029240A2321204041726775
6D656E747320616C7068612C20626574
610A4465636C6172654F706572617469
6F6E2820224C656674496E7465726E61
6C436F486F6D4F6E4D6F72706869736D
73222C0A202020202020202020202020
2020202020205B204973436170436174
65676F72794D6F72706869736D2C2049
7343617043617465676F72794D6F7270
6869736D205D20293B0A0A2321204044
65736372697074696F6E0A2321205468
6520617267756D656E74732061726520
616E206F626A656374202473203D205C
6D617468726D7B5C756E6465726C696E
657B636F486F6D7D5F5C656C6C7D2861
2C622729242C0A23212074776F206D6F
72706869736D7320245C616C7068613A
2061205C72696768746172726F772061
272C205C626574613A2062205C726967
68746172726F77206227242C0A232120
616E6420616E206F626A656374202472
203D205C6D617468726D7B5C756E6465
726C696E657B636F486F6D7D5F5C656C
6C7D2861272C6229242E0A2321205468
65206F75747075742069732074686520
696E7465726E616C20636F686F6D206D
6F72706869736D0A232120245C6D6174
68726D7B5C756E6465726C696E657B63
6F486F6D7D5F5C656C6C7D285C616C70
68612C5C62657461293A205C6D617468
726D7B5C756E6465726C696E657B636F
486F6D7D5F5C656C6C7D28612C622729
205C72696768746172726F77205C6D61
7468726D7B5C756E6465726C696E657B
636F486F6D7D5F5C656C6C7D2861272C
6229242E0A2321204052657475726E73
2061206D6F72706869736D20696E2024
5C6D617468726D7B486F6D7D2820732C
20722029240A23212040417267756D65
6E747320732C20616C7068612C206265
74612C20720A4465636C6172654F7065
726174696F6E2820224C656674496E74
65726E616C436F486F6D4F6E4D6F7270
6869736D7357697468476976656E4C65
6674496E7465726E616C436F486F6D73
222C0A20202020202020202020202020
20202020205B20497343617043617465
676F72794F626A6563742C2049734361
7043617465676F72794D6F7270686973
6D2C20497343617043617465676F7279
4D6F72706869736D2C20497343617043
617465676F72794F626A656374205D20
293B0A0A232120404465736372697074
696F6E0A23212054686520617267756D
656E7473206172652074776F206F626A
656374732024612C2062242E0A232120
546865206F7574707574206973207468
6520636F636C6F736564206576616C75
6174696F6E206D6F72706869736D2024
5C6D617468726D7B636F636C65767D5F
7B612C627D3A2062205C726967687461
72726F77205C6D617468726D7B5C756E
6465726C696E657B636F486F6D7D5F5C
656C6C7D28622C6129205C6F74696D65
732061242C20692E652E2C0A23212074
686520756E6974206F66207468652063
6F686F6D2074656E736F722061646A75
6E6374696F6E2E0A2321204052657475
726E732061206D6F72706869736D2069
6E20245C6D617468726D7B486F6D7D28
20622C205C6D617468726D7B5C756E64
65726C696E657B636F486F6D7D5F5C65
6C6C7D28622C6129205C6F74696D6573
20612029242E0A23212040417267756D
656E747320612C20620A4465636C6172
654F7065726174696F6E2820224C6566
74436F636C6F7365644D6F6E6F696461
6C4576616C756174696F6E4D6F727068
69736D222C0A20202020202020202020
20202020202020205B20497343617043
617465676F72794F626A6563742C2049
7343617043617465676F72794F626A65
6374205D20293B0A0A23212040446573
6372697074696F6E0A23212054686520
617267756D656E747320617265207477
6F206F626A656374732024612C622420
616E6420616E206F626A656374202472
203D205C6D617468726D7B5C756E6465
726C696E657B636F486F6D7D5F5C656C
6C7D28622C6129205C6F74696D657320
61242E0A232120546865206F75747075
742069732074686520636F636C6F7365
64206576616C756174696F6E206D6F72
706869736D20245C6D617468726D7B63
6F636C65767D5F7B612C627D3A206220
5C72696768746172726F77205C6D6174
68726D7B5C756E6465726C696E657B63
6F486F6D7D5F5C656C6C7D28622C6129
205C6F74696D65732061242C20692E65
2E2C0A23212074686520756E6974206F
662074686520636F686F6D2074656E73
6F722061646A756E6374696F6E2E0A23
21204052657475726E732061206D6F72
706869736D20696E20245C6D61746872
6D7B486F6D7D2820622C20722029242E
0A23212040417267756D656E74732061
2C20622C20720A4465636C6172654F70
65726174696F6E2820224C656674436F
636C6F7365644D6F6E6F6964616C4576
616C756174696F6E4D6F72706869736D
57697468476976656E52616E6765222C
0A202020202020202020202020202020
2020205B20497343617043617465676F
72794F626A6563742C20497343617043
617465676F72794F626A6563742C2049
7343617043617465676F72794F626A65
6374205D20293B0A0A23212040446573
6372697074696F6E0A23212054686520
617267756D656E747320617265207477
6F206F626A656374732024612C62242E
0A232120546865206F75747075742069
732074686520636F636C6F7365642063
6F6576616C756174696F6E206D6F7270
6869736D20245C6D617468726D7B636F
636C636F65767D5F7B612C627D3A205C
6D617468726D7B5C756E6465726C696E
657B636F486F6D7D5F5C656C6C7D2862
205C6F74696D657320612C206129205C
72696768746172726F772062242C2069
2E652E2C0A23212074686520636F756E
6974206F662074686520636F686F6D20
74656E736F722061646A756E6374696F
6E2E0A2321204052657475726E732061
206D6F72706869736D20696E20245C6D
617468726D7B486F6D7D28205C6D6174
68726D7B5C756E6465726C696E657B63
6F486F6D7D5F5C656C6C7D2862205C6F
74696D657320612C2061292C20622029
242E0A23212040417267756D656E7473
20612C20620A4465636C6172654F7065
726174696F6E2820224C656674436F63
6C6F7365644D6F6E6F6964616C436F65
76616C756174696F6E4D6F7270686973
6D222C0A202020202020202020202020
2020202020205B204973436170436174
65676F72794F626A6563742C20497343
617043617465676F72794F626A656374
205D20293B0A0A232120404465736372
697074696F6E0A232120546865206172
67756D656E7473206172652074776F20
6F626A656374732024612C622420616E
6420616E206F626A656374202473203D
205C6D617468726D7B5C756E6465726C
696E657B636F486F6D7D5F5C656C6C7D
2862205C6F74696D657320612C206129
242E0A232120546865206F7574707574
2069732074686520636F636C6F736564
20636F6576616C756174696F6E206D6F
72706869736D20245C6D617468726D7B
636F636C636F65767D5F7B612C627D3A
205C6D617468726D7B5C756E6465726C
696E657B636F486F6D7D5F5C656C6C7D
2862205C6F74696D657320612C206129
205C72696768746172726F772062242C
20692E652E2C0A23212074686520756E
6974206F662074686520636F686F6D20
...

maximale Dateigröße 4096 (bei fernem Rechner) erreicht und angehalten!