CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
1
\begin{sequent}
2
\begin{align*}
3
A:\Obj ~|~ \IsTerminal( A ) \vdash \IsZero( A )
4
\end{align*}
5
\end{sequent}
6
7
\begin{sequent}
8
\begin{align*}
9
A:\Obj ~|~ \IsInitial( A ) \vdash \IsZero( A )
10
\end{align*}
11
\end{sequent}
12
13