1 #LyX 2.0.0svn created this file. For more info see http://www.lyx.org/
7 \usepackage[all, knot]{xy}
12 \use_default_options false
13 \maintain_unincluded_children false
19 \font_typewriter default
20 \font_default_family default
28 \default_output_format default
29 \bibtex_command default
30 \index_command default
31 \paperfontsize default
42 \paperorientation portrait
50 \paragraph_separation indent
51 \paragraph_indentation default
52 \quotes_language english
55 \paperpagestyle default
56 \tracking_changes false
68 \begin_layout Standard
69 The following packages are needed to be installed at your computer in order
70 to typeset the document properly and have instant preview working:
73 \begin_layout LyX-Code
74 xy.sty, qtree.sty, tipa.sty
81 \begin_layout Standard
82 Few examples of diagrams were taken from Aaron Landa's archive of xy-pic
87 \begin_layout Plain Layout
89 http://www.math.columbia.edu/~lauda/xy/
97 \begin_layout Description
101 \begin_layout Standard
104 \begin_layout Standard
108 \begin_layout Plain Layout
115 \begin_layout Plain Layout
117 (5,10)*{}; (-10,-10)*{} **
122 \begin_layout Plain Layout
139 \begin_layout Plain Layout
141 "y"+(0,-1); (2,-10)*{} **
150 \begin_layout Plain Layout
157 \begin_layout Plain Layout
164 \begin_layout Plain Layout
171 \begin_layout Plain Layout
178 \begin_layout Plain Layout
195 \begin_layout Description
199 \begin_layout Standard
202 \begin_layout Standard
206 \begin_layout Plain Layout
213 \begin_layout Plain Layout
218 \begin_layout Plain Layout
223 \begin_layout Plain Layout
227 crv{~*=<.5pt>{.} (0,30)}?(.75)*
232 \begin_layout Plain Layout
237 \begin_layout Plain Layout
242 \begin_layout Plain Layout
246 crv{~*=<.5pt>{.} (-28.5,9.3)}?(.7)*
251 \begin_layout Plain Layout
256 \begin_layout Plain Layout
261 \begin_layout Plain Layout
265 crv{~*=<.5pt>{.} (-17.67,-24.19)}?(.7)*
270 \begin_layout Plain Layout
275 \begin_layout Plain Layout
280 \begin_layout Plain Layout
284 crv{~*=<.5pt>{.} (17.67,-24.19)}?(.7)*
289 \begin_layout Plain Layout
294 \begin_layout Plain Layout
299 \begin_layout Plain Layout
303 crv{~*=<.5pt>{.} (28.5,9.3)}?(.93)*
308 \begin_layout Plain Layout
325 \begin_layout Description
329 \begin_layout Standard
332 \begin_layout Standard
336 \begin_layout Plain Layout
343 \begin_layout Plain Layout
352 \begin_layout Plain Layout
359 \begin_layout Plain Layout
366 \begin_layout Plain Layout
373 \begin_layout Plain Layout
390 \begin_layout Description
394 \begin_layout Standard
397 \begin_layout Standard
401 \begin_layout Plain Layout
408 \begin_layout Plain Layout
415 \begin_layout Plain Layout
419 ellipse(3,1)__,=:a(-180){-};
422 \begin_layout Plain Layout
429 \begin_layout Plain Layout
436 \begin_layout Plain Layout
443 \begin_layout Plain Layout
447 ellipse(3,1)__,=:a(-180){-};
450 \begin_layout Plain Layout
454 ellipse(3,1)__,=:a(-180){-};
457 \begin_layout Plain Layout
461 ellipse(3,1)__,=:a(180){-};
464 \begin_layout Plain Layout
471 \begin_layout Plain Layout
478 \begin_layout Plain Layout
483 \begin_layout Plain Layout
488 \begin_layout Plain Layout
493 \begin_layout Plain Layout
498 \begin_layout Plain Layout
505 \begin_layout Plain Layout
510 \begin_layout Plain Layout
515 \begin_layout Plain Layout
520 \begin_layout Plain Layout
525 \begin_layout Plain Layout
532 \begin_layout Plain Layout
539 \begin_layout Plain Layout
546 \begin_layout Plain Layout
550 crv{(-8,7) & (-3,5)};
553 \begin_layout Plain Layout
558 \begin_layout Plain Layout
563 \begin_layout Plain Layout
568 \begin_layout Plain Layout
572 crv{(3,-10) & (9,-10)};
575 \begin_layout Plain Layout
580 \begin_layout Plain Layout
585 \begin_layout Plain Layout
589 crv{(-3,-10) & (-9,-10)};
592 \begin_layout Plain Layout
597 \begin_layout Plain Layout
602 \begin_layout Plain Layout
607 \begin_layout Plain Layout
612 \begin_layout Plain Layout
617 \begin_layout Plain Layout
622 \begin_layout Plain Layout
629 \begin_layout Plain Layout
636 \begin_layout Plain Layout
640 crv{(13,-6) & (2,-8)};
643 \begin_layout Plain Layout
647 crv{(-13,-6) & (-2,-8)};
650 \begin_layout Plain Layout
667 \begin_layout Standard
671 \begin_layout Plain Layout
678 \begin_layout Plain Layout
682 bullet}="RU"+(1,3)*{x^{
687 \begin_layout Plain Layout
691 bullet}="RD"+(2.5,2)*{x^{
696 \begin_layout Plain Layout
700 bullet}="LU"+(-1,2)*{x};
703 \begin_layout Plain Layout
707 bullet}="LD"+(-1,2)*{x};
710 \begin_layout Plain Layout
714 crv{(4,2) & (4,-1)}; ?(.1)*
721 \begin_layout Plain Layout
725 crv{(-4,-2) & (-4,1)};
728 \begin_layout Plain Layout
737 \begin_layout Plain Layout
739 (7.5,0)*{}="x1"; (-7.5,0)*{}="x2";
742 \begin_layout Plain Layout
746 crv{(7,-10) & (-7,-10)};
749 \begin_layout Plain Layout
753 bullet}="RDD"+(2.5,-1)*{x^{
758 \begin_layout Plain Layout
762 bullet}="LDD"+(-1,-3)*{x};
765 \begin_layout Plain Layout
769 bullet}="RUD"+(3.5,1)*{x^{
774 \begin_layout Plain Layout
781 \begin_layout Plain Layout
783 (-16,-2.5)*{}="A"; (16.1,-14.9)*{}="B";
786 \begin_layout Plain Layout
793 \begin_layout Plain Layout
800 \begin_layout Plain Layout
807 \begin_layout Plain Layout
811 crv{(0,-17)}; ?(.57)*
816 \begin_layout Plain Layout
823 \begin_layout Plain Layout
830 \begin_layout Plain Layout
837 \begin_layout Plain Layout
841 crv{~*=<4pt>{.}(0,-18)}; ?(.4)*
846 \begin_layout Plain Layout
863 \begin_layout Description
867 \begin_layout Standard
870 \begin_layout Standard
874 \begin_layout Plain Layout
878 xy (-15,0)*{};(15,0)*{};
881 \begin_layout Plain Layout
888 \begin_layout Plain Layout
899 \begin_layout Plain Layout
901 (-10,12)*{}; (-10,-12)*{}; **
905 dir{<}+(-4,0)*{F(x)};
908 \begin_layout Plain Layout
913 \begin_layout Plain Layout
918 \begin_layout Plain Layout
923 \begin_layout Plain Layout
928 \begin_layout Plain Layout
933 \begin_layout Plain Layout
937 crv{(-4,-21)&(5,-15)};
940 \begin_layout Plain Layout
949 \begin_layout Plain Layout
956 \begin_layout Plain Layout
965 \begin_layout Plain Layout
974 \begin_layout Plain Layout
981 \begin_layout Plain Layout
986 \begin_layout Plain Layout
991 \begin_layout Plain Layout
995 crv{~*=<2pt>{.}(-2,-1)&(-10,-1)};
998 \begin_layout Plain Layout
1003 \begin_layout Plain Layout
1008 \begin_layout Plain Layout
1012 crv{~*=<2pt>{.}(-2,1)&(-10,1)};
1015 \begin_layout Plain Layout
1032 \begin_layout Description
1036 \begin_layout Standard
1037 \begin_inset Preview
1039 \begin_layout Standard
1043 \begin_layout Plain Layout
1050 \begin_layout Plain Layout
1059 \begin_layout Plain Layout
1066 \begin_layout Plain Layout
1075 \begin_layout Plain Layout
1084 \begin_layout Plain Layout
1099 \begin_layout Plain Layout
1114 \begin_inset Preview
1116 \begin_layout Standard
1120 \begin_layout Plain Layout
1127 \begin_layout Plain Layout
1134 \begin_layout Plain Layout
1141 \begin_layout Plain Layout
1145 ar@/^.9pc/ "1";"2"};
1148 \begin_layout Plain Layout
1152 ar@/_.9pc/ "1";"2"};
1155 \begin_layout Plain Layout
1162 \begin_layout Plain Layout
1169 \begin_layout Plain Layout
1173 ar@{=>} (-4.5,1.5)*{};(-4.5,-1.5)*{}} ;
1176 \begin_layout Plain Layout
1180 ar@{=>} (-4.5,7.25)*{};(-4.5,4.75)*{}} ;
1183 \begin_layout Plain Layout
1187 ar@{=>} (-4.5,-4.75)*{};(-4.5,-7.25)*{}} ;
1190 \begin_layout Plain Layout
1197 \begin_layout Plain Layout
1204 \begin_layout Plain Layout
1211 \begin_layout Plain Layout
1218 \begin_layout Plain Layout
1225 \begin_layout Plain Layout
1232 \begin_layout Plain Layout
1239 \begin_layout Plain Layout
1243 ar@{=>} (4.5,3)*{};(4.5,.75)*{}} ;
1246 \begin_layout Plain Layout
1250 ar@{=>} (4.5,-.75)*{};(4.5,-3)*{}} ;
1253 \begin_layout Plain Layout
1270 \begin_layout Description
1274 \begin_layout Standard
1275 \begin_inset Preview
1277 \begin_layout Standard
1281 \begin_layout Plain Layout
1286 Natural transformation between functors.
1289 \begin_layout Plain Layout
1296 \begin_layout Plain Layout
1303 \begin_layout Plain Layout
1310 \begin_layout Plain Layout
1314 ar@/^.25pc/ "a";"b"};
1317 \begin_layout Plain Layout
1321 ar@/_.25pc/"a";"c"};
1324 \begin_layout Plain Layout
1328 ar@/_.15pc/ "b";"c"};
1331 \begin_layout Plain Layout
1336 \begin_layout Plain Layout
1343 \begin_layout Plain Layout
1350 \begin_layout Plain Layout
1357 \begin_layout Plain Layout
1361 ar@/^.25pc/ "ta";"tb"};
1364 \begin_layout Plain Layout
1368 ar@/_.25pc/ "ta";"tc"};
1371 \begin_layout Plain Layout
1375 ar@/_.15pc/ "tb";"tc"};
1378 \begin_layout Plain Layout
1383 \begin_layout Plain Layout
1390 \begin_layout Plain Layout
1397 \begin_layout Plain Layout
1404 \begin_layout Plain Layout
1408 ar@/^.25pc/@{.>} "ba";"bb"};
1411 \begin_layout Plain Layout
1415 ar@/_.25pc/ "ba";"bc"};
1418 \begin_layout Plain Layout
1422 ar@/_.15pc/ "bb";"bc"};
1425 \begin_layout Plain Layout
1430 \begin_layout Plain Layout
1434 ar@/_.15pc/ "ta";"ba"};
1437 \begin_layout Plain Layout
1441 ar@/_.15pc/ "tb";"bb"};
1444 \begin_layout Plain Layout
1448 ar@/_.15pc/ "tc";"bc"};
1451 \begin_layout Plain Layout
1453 %START ARROWS AND LABELS
1456 \begin_layout Plain Layout
1461 \begin_layout Plain Layout
1466 \begin_layout Plain Layout
1470 ar@/^.35pc/^F "DF";"CF"};
1473 \begin_layout Plain Layout
1478 \begin_layout Plain Layout
1483 \begin_layout Plain Layout
1487 ar@/_.35pc/_G "DF";"CF"};
1490 \begin_layout Plain Layout
1495 \begin_layout Plain Layout
1500 \begin_layout Plain Layout
1509 \begin_layout Plain Layout
1514 \begin_layout Plain Layout
1519 \begin_layout Plain Layout
1536 \begin_layout Section
1540 \begin_layout Standard
1541 \begin_inset Preview
1543 \begin_layout Standard
1547 \begin_layout Plain Layout
1551 textipa{Ekspl@"neIS@n}
1564 \begin_layout Section
1568 \begin_layout Standard
1569 \begin_inset Preview
1571 \begin_layout Standard
1575 \begin_layout Plain Layout
1579 Tree[.S [.N This ] [.V is ] [.NP [.Det a ] [.N test ] ] ]
1590 \begin_inset Preview
1592 \begin_layout Standard
1596 \begin_layout Plain Layout