821:"}},"text\/plain":{"en":{"":"inception"}}},"{\"value\":{\"time\":\"+2014-11-22T00:00:00Z\",\"timezone\":0,\"before\":0,\"after\":0,\"precision\":11,\"calendarmodel\":\"http:\\\/\\\/www.wikidata.org\\\/entity\\\/Q1985727\"},\"type\":\"time\"}":{"text\/html":{"en":{"P571":"22 November 2014"}},"text\/plain":{"en":{"P571":"22 November 2014"}}}}": -->
38:
578:
457:
462:
90:
598:"}},"text\/plain":{"en":{"P2699":"https:\/\/commons.wikimedia.org\/wiki\/user:IkamusumeFan"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":4174,\"id\":\"P4174\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"":"
590:"}},"text\/plain":{"en":{"P2093":"IkamusumeFan","P4174":"IkamusumeFan"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":2699,\"id\":\"P2699\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"":"
733:"}},"text\/plain":{"en":{"":"copyright license"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":18199165,\"id\":\"Q18199165\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"P275":"
689:"}},"text\/plain":{"en":{"":"copyright status"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":50423863,\"id\":\"Q50423863\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"P6216":"
777:"}},"text\/plain":{"en":{"":"source of file"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":66458942,\"id\":\"Q66458942\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"P7482":"
582:"}},"text\/plain":{"en":{"":"creator"}}},"{\"value\":{\"entity-type\":\"property\",\"numeric-id\":2093,\"id\":\"P2093\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"en":{"":"
773:
586:"}},"text\/plain":{"en":{"":"author name string"}}},"{\"value\":\"IkamusumeFan\",\"type\":\"string\"}":{"text\/html":{"en":{"P2093":"IkamusumeFan","P4174":"
594:"}},"text\/plain":{"en":{"":"URL"}}},"{\"value\":\"https:\\\/\\\/commons.wikimedia.org\\\/wiki\\\/user:IkamusumeFan\",\"type\":\"string\"}":{"text\/html":{"en":{"P2699":"
503:– You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
587:
185:
595:
778:
734:
690:
774:
686:
599:
591:
583:
818:
730:
579:
64:
60:
56:
52:
48:
42:
101:
737:"}},"text\/plain":{"en":{"P275":"Creative Commons Attribution-ShareAlike 4.0 International"}}}}": -->
73:
804:
760:
716:
939:
This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.
510:
788:
700:
664:
649:
636:
781:"}},"text\/plain":{"en":{"P7482":"original creation by uploader"}}}}": -->
828:
744:
609:
568:
671:
472:
942:
If the file has been modified from its original state, some details may not fully reflect the modified file.
509:– If you remix, transform, or build upon the material, you must distribute your contributions under the
602:"}},"text\/plain":{"en":{"":"Wikimedia username"}}}}": -->
896:
891:
693:"}},"text\/plain":{"en":{"P6216":"copyrighted"}}}}": -->
37:
656:
109:
469:
8:
173:
907:
96:
558:
444:
I, the copyright holder of this work, hereby publish it under the following license:
928:
184:
838:
798:
754:
710:
619:
864:
Click on a date/time to view the file as it appeared at that time.
761:
Creative
Commons Attribution-ShareAlike 4.0 International
735:
Creative
Commons Attribution-ShareAlike 4.0 International
153:
84:
596:
https:\/\/commons.wikimedia.org\/wiki\/user:IkamusumeFan
78:(SVG file, nominally 275 × 138 pixels, file size: 27 KB)
552:
Add a one-line explanation of what this file represents
922:
862:
108:
Commons is a freely licensed media file repository.
144:svg version of Lax_monoidal_funct_right_unit.png
657:https://commons.wikimedia.org/user:IkamusumeFan
520:https://creativecommons.org/licenses/by-sa/4.0
201:% One needs PDF2SVG to generate the SVG graph.
89:
526:Creative Commons Attribution-Share Alike 4.0
450:
149:
131:
179:
169:
159:
14:
486:– to copy, distribute and transmit the work
41:Size of this PNG preview of this SVG file:
473:Attribution-Share Alike 4.0 International
120:
194:
924:The following page uses this file:
914:User created page with UploadWizard
855:
461:
456:
134:Lax monoidal functor right unit.svg
13:
937:
557:
551:
447:
443:
138:
121:
71:
971:
944:
556:
542:
497:Under the following conditions:
468:This file is licensed under the
460:
455:
449:
183:
88:
21:
539:
204:% Author: Smimram, Danneks, Ika
139:
859:
538:
26:
1:
805:original creation by uploader
779:original creation by uploader
31:
919:
564:Items portrayed in this file
437:
7:
934:
10:
976:
511:same or compatible license
128:
123:
856:
207:% Update Date: 11/22/2014
163:
16:
541:
477:
235:amsmath,amssymb,nopageno
198:
95:This is a file from the
36:
913:
892:08:11, 22 November 2014
152:
99:. Information from its
102:description page there
65:2,560 × 1,285 pixels
492:– to adapt the work
47:Other resolutions:
665:Wikimedia username
637:author name string
600:Wikimedia username
584:author name string
61:1,280 × 642 pixels
57:1,024 × 514 pixels
963:
962:
917:
745:copyright license
731:copyright license
550:
195:LaTeX Source Code
191:
190:
117:
116:
97:Wikimedia Commons
967:
945:
929:Monoidal functor
904:
866:
844:22 November 2014
701:copyright status
687:copyright status
674:
669:
659:
654:
644:
641:
548:
533:
530:
527:
524:
521:
513:as the original.
470:Creative Commons
464:
463:
459:
458:
453:
452:
433:
429:
426:
423:
420:
417:
414:
411:
408:
405:
402:
399:
396:
393:
390:
387:
384:
381:
378:
375:
372:
369:
366:
363:
360:
357:
354:
351:
348:
345:
342:
339:
336:
333:
330:
327:
324:
321:
318:
315:
312:
309:
306:
303:
300:
297:
294:
291:
288:
285:
282:
279:
276:
273:
270:
267:
264:
261:
258:
254:
251:
248:
244:
241:
238:
234:
231:
228:
224:
221:
218:
214:
211:
208:
205:
202:
187:
165:
155:
154:22 November 2014
143:
135:
129:
113:
92:
91:
85:
79:
68:
53:640 × 321 pixels
49:320 × 161 pixels
43:275 × 138 pixels
975:
974:
970:
969:
968:
966:
965:
964:
933:
918:
910:
902:
858:
857:
854:
853:
852:
851:
850:
849:
848:
847:
845:
835:
834:
833:
831:
816:
815:
814:
813:
812:
811:
810:
809:
807:
795:
794:
793:
791:
772:
771:
770:
769:
768:
767:
766:
765:
763:
751:
750:
749:
747:
728:
727:
726:
725:
724:
723:
722:
721:
719:
707:
706:
705:
703:
684:
683:
682:
681:
680:
679:
678:
677:
676:
675:
670:
667:
661:
660:
655:
652:
646:
645:
642:
639:
630:
629:
628:
626:
616:
615:
614:
612:
577:
576:
575:
574:
573:
571:
555:
554:
553:
536:
535:
534:
531:
528:
525:
522:
519:
518:
476:
465:
446:
445:
440:
435:
434:
431:
427:
424:
421:
418:
415:
412:
409:
406:
403:
400:
397:
394:
391:
388:
385:
382:
379:
376:
373:
370:
367:
364:
361:
358:
355:
352:
349:
346:
343:
340:
337:
334:
331:
328:
325:
322:
319:
316:
313:
310:
307:
304:
301:
298:
295:
292:
289:
286:
283:
280:
277:
274:
271:
268:
265:
262:
259:
256:
252:
249:
246:
242:
239:
236:
232:
229:
226:
222:
219:
216:
212:
209:
206:
203:
200:
197:
192:
145:
133:
126:
119:
118:
107:
106:
105:is shown below.
81:
77:
70:
69:
46:
12:
11:
5:
973:
961:
960:
957:
953:
952:
949:
936:
932:
931:
921:
916:
915:
912:
908:
905:
899:
894:
889:
885:
884:
881:
878:
875:
872:
869:
861:
846:
843:
841:
840:
839:
837:
836:
832:
827:
825:
824:
823:
822:
820:
808:
803:
801:
800:
799:
797:
796:
792:
789:source of file
787:
785:
784:
783:
782:
780:
776:
775:source of file
764:
759:
757:
756:
755:
753:
752:
748:
743:
741:
740:
739:
738:
736:
732:
720:
715:
713:
712:
711:
709:
708:
704:
699:
697:
696:
695:
694:
692:
688:
663:
662:
648:
647:
635:
634:
633:
632:
631:
627:
624:
622:
621:
620:
618:
617:
613:
608:
606:
605:
604:
603:
601:
597:
593:
589:
585:
581:
572:
567:
565:
562:
561:
560:
559:
547:
546:
543:
540:
517:
516:
515:
514:
504:
495:
494:
493:
487:
480:You are free:
467:
466:
448:
442:
441:
439:
436:
210:\documentclass
199:
196:
193:
189:
188:
181:
180:Other versions
177:
176:
171:
167:
166:
161:
157:
156:
151:
147:
146:
136:
127:
125:
122:
115:
114:
93:
83:
82:
40:
35:
34:
29:
24:
19:
9:
6:
4:
3:
2:
972:
958:
955:
954:
950:
947:
946:
943:
940:
930:
927:
926:
925:
911:
906:
900:
898:
895:
893:
890:
887:
886:
882:
879:
876:
873:
870:
868:
867:
865:
842:
830:
826:
806:
802:
790:
786:
762:
758:
746:
742:
718:
714:
702:
698:
673:
666:
658:
651:
638:
623:
611:
607:
570:
566:
563:
544:
537:
523:CC BY-SA 4.0
512:
508:
505:
502:
499:
498:
496:
491:
488:
485:
482:
481:
479:
478:
474:
471:
454:
186:
182:
178:
175:
172:
168:
162:
158:
148:
142:
137:
130:
111:
104:
103:
98:
94:
87:
86:
80:
75:
74:Original file
66:
62:
58:
54:
50:
44:
39:
33:
30:
28:
25:
23:
20:
18:
15:
941:
938:
923:
909:IkamusumeFan
863:
860:File history
672:IkamusumeFan
643:IkamusumeFan
588:IkamusumeFan
506:
500:
489:
483:
174:IkamusumeFan
140:
110:You can help
100:
72:
22:File history
717:copyrighted
691:copyrighted
507:share alike
501:attribution
240:\usepackage
230:\usepackage
220:\usepackage
132:Description
920:File usage
901:275 × 138
877:Dimensions
625:some value
377:FA & F
27:File usage
874:Thumbnail
871:Date/Time
829:inception
819:inception
438:Licensing
341:& FA
266:\xymatrix
141:English:
935:Metadata
545:Captions
490:to remix
484:to share
475:license.
430:document
413:\mathcal
392:\mathcal
368:\mathcal
365:_{A, I_{
350:\mathcal
335:\mathcal
299:\mathcal
255:document
225:geometry
164:Own work
32:Metadata
903:(27 KB)
888:current
883:Comment
610:creator
580:creator
569:depicts
549:English
386:\otimes
344:\bullet
314:\bullet
293:\bullet
124:Summary
76:
956:Height
371:{C}}}}
250:\begin
215:amsart
170:Author
160:Source
959:110pt
951:220pt
948:Width
416:{C}}}
353:{C}}
338:{D}}}
302:{D}}
260:\Huge
880:User
532:true
529:true
425:\end
407:\rho
404:^{F
395:{C}}
362:\phi
347:FI_{
329:\rho
317:\phi
287:em{
278:em@R
150:Date
17:File
650:URL
592:URL
401:\ar
389:I_{
356:\ar
323:\ar
305:\ar
296:I_{
290:FA
668::
653::
640::
422:\]
410:_{
383:A
374:\\
359:^{
332:_{
326:_{
308:^{
269:@C
263:\[
245:xy
63:|
59:|
55:|
51:|
45:.
432:}
428:{
419:}
398:)
380:(
320:}
311:1
284:1
281:+
275:1
272:+
257:}
253:{
247:}
243:{
237:}
233:{
227:}
223:{
217:}
213:{
112:.
67:.