לדלג לתוכן

קובץ:MonadDistrEta.svg

תוכן הדף אינו נתמך בשפות אחרות.
מתוך ויקיפדיה, האנציקלופדיה החופשית

לקובץ המקורי(קובץ SVG, הגודל המקורי: 165 × 99 פיקסלים, גודל הקובץ: 10 ק"ב)

ויקישיתוף זהו קובץ שמקורו במיזם ויקישיתוף. תיאורו בדף תיאור הקובץ המקורי (בעברית) מוצג למטה.

תקציר

תיאור
English: Eta part of conditions for a distributive law for two monads.
\documentclass[10pt]{article}
\usepackage{tikz}
\usetikzlibrary{shapes,arrows}
\begin{document}
\pagestyle{empty}
\begin{tikzpicture} [scale=2.2]
\node (PS) at (1,1) {$\Pi\Sigma$};
\node (P)  at (0,1) {$\Pi$};
\node (S)  at (2,1) {$\Sigma$};
\node (SP) at (1,0) {$\Sigma\Pi$};

\draw[->] (S) -- node[above] {$\eta_\Pi\Sigma$} (PS);
\draw[->] (P) -- node[above] {$\Pi\eta_\Sigma$} (PS);

\draw[->] (P) -- node[left] {$\eta_\Sigma\Pi\ $} (SP);
\draw[->] (S) -- node[right] {$\ \Sigma\eta_\Pi$} (SP);

\draw[->] (PS) -- node[right] {$\lambda$} (SP);

\end{tikzpicture}
\end{document}
תאריך יצירה
מקור נוצר על־ידי מעלה היצירה
יוצר Daniel5Ko

רישיון

אני, בעל זכויות היוצרים על עבודה זו, מפרסם בזאת את העבודה תחת הרישיון הבא:
Creative Commons CC-Zero קובץ זה זמין לפי תנאי הקדשה עולמית לנחלת הכלל CC0 1.0 של Creative Commons.
האדם ששייך יצירה להיתר הזה הקדיש את היצירה לנחלת הכלל על־ידי ויתור על כל הזכויות שלו או שלה על היצירה בכל העולם לפי חוק זכויות יוצרים, לרבות כל הזכויות הקשורות או הסמוכות כקבוע בחוק. באפשרותך להעתיק, לשנות, להפיץ, או להציג את היצירה, אפילו למטרות מסחריות, וכל זה אפילו מבלי לבקש רשות.

כיתובים

נא להוסיף משפט שמסביר מה הקובץ מייצג

פריטים שמוצגים בקובץ הזה

מוצג

ערך כלשהו ללא פריט ויקינתונים

image/svg+xml

היסטוריית הקובץ

ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.

תאריך/שעהתמונה ממוזערתממדיםמשתמשהערה
נוכחית22:45, 23 בינואר 2014תמונה ממוזערת לגרסה מ־22:45, 23 בינואר 2014‪99 × 165‬ (10 ק"ב)Daniel5KoUser created page with UploadWizard

אין בוויקיפדיה דפים המשתמשים בקובץ זה.

מטא־נתונים