Commit 72bcdea9 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

getting rid of \nappa and \minset

parent 2213bfa9
......@@ -22,9 +22,9 @@
There are two natural operations on $\tannakianSymbols{M}$:
\begin{itemize}
\item \definame{Tannakian-addition}: $\fundefeq{f,g,a}{\nappa{\plusTS{f,g}}a}{\intplus{f(a),g(a)}}$
\item \definame{Tannakian-addition}: $\fundefeq{f,g,a}{\apply{\plusTS{f,g}}a}{\intplus{f(a),g(a)}}$
\item \definame{Tannakian-multiplication}:
$\displaystyle\fundefeq{f,g,a}{\nappa{\timesTS{f,g}}a}{\SumProp{x,y}{\magmaop{x}y=a}{\inttimes[cdot]{\nappa{f}x,\nappa{g}y}}}$
$\displaystyle\fundefeq{f,g,a}{\apply{\timesTS{f,g}}a}{\SumProp{x,y}{\magmaop{x}y=a}{\inttimes[cdot]{\apply{f}x,\apply{g}y}}}$
\end{itemize}
\end{definition}
\end{module}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment