Mercurial > hg > Papers > 2015 > atton-thesis
view fig/morphism_composition_law.graffle @ 42:4cc65012412f
Add proofs of functor-laws on delta
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 13 Feb 2015 17:13:23 +0900 |
parents | 9fed7b342d56 |
children |
line wrap: on
line source
<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> <plist version="1.0"> <dict> <key>ActiveLayerIndex</key> <integer>0</integer> <key>ApplicationVersion</key> <array> <string>com.omnigroup.OmniGraffle</string> <string>139.18.0.187838</string> </array> <key>AutoAdjust</key> <true/> <key>BackgroundGraphic</key> <dict> <key>Bounds</key> <string>{{0, 0}, {558.99997329711914, 783}}</string> <key>Class</key> <string>SolidGraphic</string> <key>ID</key> <integer>2</integer> <key>Style</key> <dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> </dict> <key>BaseZoom</key> <integer>0</integer> <key>CanvasOrigin</key> <string>{0, 0}</string> <key>ColumnAlign</key> <integer>1</integer> <key>ColumnSpacing</key> <real>36</real> <key>CreationDate</key> <string>2015-02-08 03:05:58 +0000</string> <key>Creator</key> <string>atton</string> <key>DisplayScale</key> <string>1 0/72 in = 1 0/72 in</string> <key>GraphDocumentVersion</key> <integer>8</integer> <key>GraphicsList</key> <array> <dict> <key>Bounds</key> <string>{{196.00000762939453, 272}, {78.999984741210938, 20}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>Vertical</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>47</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Align</key> <integer>0</integer> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\froman\fcharset0 Times-Roman;\f1\fnil\fcharset0 LucidaGrande;} {\colortbl;\red255\green255\blue255;} \deftab720 \pard\pardeftab720\sa240 \f0\fs32 \cf0 f \f1 \uc0\u9702 ( \f0 g \f1 \uc0\u9702 \f0 h)}</string> <key>VerticalPad</key> <integer>0</integer> </dict> </dict> <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> <dict> <key>ID</key> <integer>34</integer> </dict> <key>ID</key> <integer>46</integer> <key>Points</key> <array> <string>{54.046666666666667, 179}</string> <string>{100, 240}</string> <string>{228.5, 253}</string> <string>{341, 246}</string> <string>{395.17901234567898, 179}</string> </array> <key>Style</key> <dict> <key>stroke</key> <dict> <key>HeadArrow</key> <string>0</string> <key>Legacy</key> <true/> <key>LineType</key> <integer>1</integer> <key>TailArrow</key> <string>0</string> </dict> </dict> <key>Tail</key> <dict> <key>ID</key> <integer>9</integer> </dict> </dict> <dict> <key>Bounds</key> <string>{{192, 38}, {78.999984741210938, 20}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>Vertical</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>44</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Align</key> <integer>0</integer> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\froman\fcharset0 Times-Roman;\f1\fnil\fcharset0 LucidaGrande;} {\colortbl;\red255\green255\blue255;} \deftab720 \pard\pardeftab720\sa240 \f0\fs32 \cf0 (f \f1 \uc0\u9702 \f0 g) \f1 \uc0\u9702 \f0 h}</string> <key>VerticalPad</key> <integer>0</integer> </dict> </dict> <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> <dict> <key>ID</key> <integer>34</integer> </dict> <key>ID</key> <integer>43</integer> <key>Points</key> <array> <string>{53.641025641025642, 151}</string> <string>{100, 87}</string> <string>{221.5, 61}</string> <string>{348, 90}</string> <string>{395.57999999999998, 151}</string> </array> <key>Style</key> <dict> <key>stroke</key> <dict> <key>HeadArrow</key> <string>0</string> <key>Legacy</key> <true/> <key>LineType</key> <integer>1</integer> <key>TailArrow</key> <string>0</string> </dict> </dict> <key>Tail</key> <dict> <key>ID</key> <integer>9</integer> </dict> </dict> <dict> <key>Bounds</key> <string>{{270, 221}, {44, 20}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>Vertical</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>42</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Align</key> <integer>0</integer> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\froman\fcharset0 Times-Roman;\f1\fnil\fcharset0 LucidaGrande;} {\colortbl;\red255\green255\blue255;} \deftab720 \pard\pardeftab720\sa240 \f0\fs32 \cf0 g \f1 \uc0\u9702 \f0 h}</string> <key>VerticalPad</key> <integer>0</integer> </dict> </dict> <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> <dict> <key>ID</key> <integer>34</integer> </dict> <key>ID</key> <integer>41</integer> <key>Points</key> <array> <string>{180, 174.6875}</string> <string>{228.5, 205}</string> <string>{341, 205}</string> <string>{391, 174.46564885496184}</string> </array> <key>Style</key> <dict> <key>stroke</key> <dict> <key>HeadArrow</key> <string>FilledArrow</string> <key>Legacy</key> <true/> <key>LineType</key> <integer>1</integer> <key>TailArrow</key> <string>0</string> </dict> </dict> <key>Tail</key> <dict> <key>ID</key> <integer>11</integer> </dict> </dict> <dict> <key>Bounds</key> <string>{{149, 80}, {35, 20}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>Vertical</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>40</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Align</key> <integer>0</integer> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\froman\fcharset0 Times-Roman;\f1\fnil\fcharset0 LucidaGrande;} {\colortbl;\red255\green255\blue255;} \deftab720 \pard\pardeftab720\sa240 \f0\fs32 \cf0 f \f1 \uc0\u9702 \f0 g}</string> <key>VerticalPad</key> <integer>0</integer> </dict> </dict> <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> <dict> <key>ID</key> <integer>33</integer> </dict> <key>ID</key> <integer>39</integer> <key>Points</key> <array> <string>{58.5, 151}</string> <string>{96, 116}</string> <string>{221.5, 116}</string> <string>{270, 153.1328125}</string> </array> <key>Style</key> <dict> <key>stroke</key> <dict> <key>HeadArrow</key> <string>FilledArrow</string> <key>Legacy</key> <true/> <key>LineType</key> <integer>1</integer> <key>TailArrow</key> <string>0</string> </dict> </dict> <key>Tail</key> <dict> <key>ID</key> <integer>9</integer> </dict> </dict> <dict> <key>Bounds</key> <string>{{341, 142}, {7, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>38</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 h}</string> <key>VerticalPad</key> <integer>0</integer> </dict> <key>Wrap</key> <string>NO</string> </dict> <dict> <key>Bounds</key> <string>{{221.5, 142}, {7, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>37</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 g}</string> <key>VerticalPad</key> <integer>0</integer> </dict> <key>Wrap</key> <string>NO</string> </dict> <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> <dict> <key>ID</key> <integer>34</integer> </dict> <key>ID</key> <integer>36</integer> <key>Points</key> <array> <string>{301, 165.00001005716166}</string> <string>{391, 165.00001005716166}</string> </array> <key>Style</key> <dict> <key>stroke</key> <dict> <key>HeadArrow</key> <string>FilledArrow</string> <key>Legacy</key> <true/> <key>LineType</key> <integer>1</integer> <key>TailArrow</key> <string>0</string> </dict> </dict> <key>Tail</key> <dict> <key>ID</key> <integer>33</integer> </dict> </dict> <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> <dict> <key>ID</key> <integer>33</integer> </dict> <key>ID</key> <integer>35</integer> <key>Points</key> <array> <string>{180, 165.00000443277742}</string> <string>{270, 165.00000443277742}</string> </array> <key>Style</key> <dict> <key>stroke</key> <dict> <key>HeadArrow</key> <string>FilledArrow</string> <key>Legacy</key> <true/> <key>LineType</key> <integer>1</integer> <key>TailArrow</key> <string>0</string> </dict> </dict> <key>Tail</key> <dict> <key>ID</key> <integer>11</integer> </dict> </dict> <dict> <key>Bounds</key> <string>{{391, 151}, {31, 28}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> <integer>34</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 D}</string> </dict> </dict> <dict> <key>Bounds</key> <string>{{270, 151}, {31, 28}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> <integer>33</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 C}</string> </dict> </dict> <dict> <key>Bounds</key> <string>{{96, 142}, {4, 14}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>FitText</key> <string>YES</string> <key>Flow</key> <string>Resize</string> <key>ID</key> <integer>15</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>fill</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Pad</key> <integer>0</integer> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 f}</string> <key>VerticalPad</key> <integer>0</integer> </dict> <key>Wrap</key> <string>NO</string> </dict> <dict> <key>Class</key> <string>LineGraphic</string> <key>Head</key> <dict> <key>ID</key> <integer>11</integer> </dict> <key>ID</key> <integer>12</integer> <key>Points</key> <array> <string>{59, 165.00001207382061}</string> <string>{149, 165.00001207382061}</string> </array> <key>Style</key> <dict> <key>stroke</key> <dict> <key>HeadArrow</key> <string>FilledArrow</string> <key>Legacy</key> <true/> <key>LineType</key> <integer>1</integer> <key>TailArrow</key> <string>0</string> </dict> </dict> <key>Tail</key> <dict> <key>ID</key> <integer>9</integer> </dict> </dict> <dict> <key>Bounds</key> <string>{{149, 151}, {31, 28}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> <integer>11</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 B}</string> </dict> </dict> <dict> <key>Bounds</key> <string>{{28, 151}, {31, 28}}</string> <key>Class</key> <string>ShapedGraphic</string> <key>ID</key> <integer>9</integer> <key>Shape</key> <string>Rectangle</string> <key>Style</key> <dict> <key>shadow</key> <dict> <key>Draws</key> <string>NO</string> </dict> <key>stroke</key> <dict> <key>Draws</key> <string>NO</string> </dict> </dict> <key>Text</key> <dict> <key>Text</key> <string>{\rtf1\ansi\ansicpg1252\cocoartf1265\cocoasubrtf210 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 A}</string> </dict> </dict> </array> <key>GridInfo</key> <dict/> <key>GuidesLocked</key> <string>NO</string> <key>GuidesVisible</key> <string>YES</string> <key>HPages</key> <integer>1</integer> <key>ImageCounter</key> <integer>1</integer> <key>KeepToScale</key> <false/> <key>Layers</key> <array> <dict> <key>Lock</key> <string>NO</string> <key>Name</key> <string>Layer 1</string> <key>Print</key> <string>YES</string> <key>View</key> <string>YES</string> </dict> </array> <key>LayoutInfo</key> <dict> <key>Animate</key> <string>NO</string> <key>circoMinDist</key> <real>18</real> <key>circoSeparation</key> <real>0.0</real> <key>layoutEngine</key> <string>dot</string> <key>neatoSeparation</key> <real>0.0</real> <key>twopiSeparation</key> <real>0.0</real> </dict> <key>LinksVisible</key> <string>NO</string> <key>MagnetsVisible</key> <string>NO</string> <key>MasterSheets</key> <array/> <key>ModificationDate</key> <string>2015-02-08 03:12:20 +0000</string> <key>Modifier</key> <string>atton</string> <key>NotesVisible</key> <string>NO</string> <key>Orientation</key> <integer>2</integer> <key>OriginVisible</key> <string>NO</string> <key>PageBreaks</key> <string>YES</string> <key>PrintInfo</key> <dict> <key>NSBottomMargin</key> <array> <string>float</string> <string>41</string> </array> <key>NSHorizonalPagination</key> <array> <string>coded</string> <string>BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG</string> </array> <key>NSLeftMargin</key> <array> <string>float</string> <string>18</string> </array> <key>NSPaperSize</key> <array> <string>size</string> <string>{594.99997329711914, 842}</string> </array> <key>NSPrintReverseOrientation</key> <array> <string>int</string> <string>0</string> </array> <key>NSRightMargin</key> <array> <string>float</string> <string>18</string> </array> <key>NSTopMargin</key> <array> <string>float</string> <string>18</string> </array> </dict> <key>PrintOnePage</key> <false/> <key>ReadOnly</key> <string>NO</string> <key>RowAlign</key> <integer>1</integer> <key>RowSpacing</key> <real>36</real> <key>SheetTitle</key> <string>Canvas 1</string> <key>SmartAlignmentGuidesActive</key> <string>YES</string> <key>SmartDistanceGuidesActive</key> <string>YES</string> <key>UniqueID</key> <integer>1</integer> <key>UseEntirePage</key> <false/> <key>VPages</key> <integer>1</integer> <key>WindowInfo</key> <dict> <key>CurrentSheet</key> <integer>0</integer> <key>ExpandedCanvases</key> <array> <dict> <key>name</key> <string>Canvas 1</string> </dict> </array> <key>Frame</key> <string>{{393, 0}, {693, 878}}</string> <key>ListView</key> <true/> <key>OutlineWidth</key> <integer>142</integer> <key>RightSidebar</key> <false/> <key>ShowRuler</key> <true/> <key>Sidebar</key> <true/> <key>SidebarWidth</key> <integer>120</integer> <key>VisibleRegion</key> <string>{{0, 0}, {558, 739}}</string> <key>Zoom</key> <real>1</real> <key>ZoomValues</key> <array> <array> <string>Canvas 1</string> <real>1</real> <real>1</real> </array> </array> </dict> </dict> </plist>