Summary

DescriptionCoalgebra-Counit.svg	Deutsch: Eine Koalgebra ${\displaystyle C}$ besitzt genau dann eine Koeins, wenn es einen Vektorraumhomomorphismus ${\displaystyle \epsilon _{C}}$ gibt, so dass das folgende Diagramm kommutiert.
Date	11 August 2006
Source	Own work
Author	Markus Schmaus
Permission (Reusing this file)	Public Domain

Quelltext

Siehe wikipedia:de:Benutzer:Markus Schmaus/Kommutatives Diagramm

%&latex
\documentclass[a4paper]{article}
\usepackage[dvips,matrix,arrow,ps,color,line,curve,frame]{xy}
\usepackage{diagxye}

\thispagestyle{empty}

\begin{document}
$$\bfig
\Vtrianglepair/<-`>`<-`<-`<-/<700,500>[
  k \otimes C`
  C \otimes C`
  C \otimes k`
  C
;
  \epsilon_C \otimes \mathrm{id}_C`
  \mathrm{id}_C \otimes \epsilon_C`
  \cong`
  \Delta_C`
  \cong
]
\efig$$
\end{document}

Licensing

I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.