Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

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

563554 views
Tweet
Share
Share
1
\begin{sequent}

2
\begin{align*}

3
  A:\Obj ~|~ \IsZero( A ) \vdash \IsTerminal( A )

4
\end{align*}

5
\end{sequent}

6


7
\begin{sequent}

8
\begin{align*}

9
  A:\Obj ~|~ \IsZero( A ) \vdash \IsInitial( A )

10
\end{align*}

11
\end{sequent}

12


13
\begin{sequent}

14
\begin{align*}

15
  A:\Obj ~|~ \IsZero( A ) \vdash \IsInjective( A )

16
\end{align*}

17
\end{sequent}

18


19
\begin{sequent}

20
\begin{align*}

21
  A:\Obj ~|~ \IsZero( A ) \vdash \IsProjective( A )

22
\end{align*}

23
\end{sequent}

24


25
\begin{sequent}

26
\begin{align*}

27
  \alpha:\Mor ~|~ \IsIsomorphism( \alpha ) \vdash \IsSplitMonomorphism( \alpha )

28
\end{align*}

29
\end{sequent}

30


31
\begin{sequent}

32
\begin{align*}

33
  \alpha:\Mor ~|~ \IsIsomorphism( \alpha ) \vdash \IsSplitEpimorphism( \alpha )

34
\end{align*}

35
\end{sequent}

36


37
\begin{sequent}

38
\begin{align*}

39
  \alpha:\Mor ~|~ \IsOne( \alpha ) \vdash \IsAutomorphism( \alpha )

40
\end{align*}

41
\end{sequent}

42


43
\begin{sequent}

44
\begin{align*}

45
  \alpha:\Mor ~|~ \IsAutomorphism( \alpha ) \vdash \IsIsomorphism( \alpha )

46
\end{align*}

47
\end{sequent}

48


49
\begin{sequent}

50
\begin{align*}

51
  \alpha:\Mor ~|~ \IsAutomorphism( \alpha ) \vdash \IsEndomorphism( \alpha )

52
\end{align*}

53
\end{sequent}

54


55
\begin{sequent}

56
\begin{align*}

57
  \alpha:\Mor ~&|~  \IsEndomorphism( \alpha ), \IsIsomorphism( \alpha ) \\ 

58
  &\vdash \IsAutomorphism( \alpha )

59
\end{align*}

60
\end{sequent}

61


62
\begin{sequent}

63
\begin{align*}

64
  \alpha:\Mor ~|~ \IsSplitMonomorphism( \alpha ) \vdash \IsMonomorphism( \alpha )

65
\end{align*}

66
\end{sequent}

67


68
\begin{sequent}

69
\begin{align*}

70
  \alpha:\Mor ~|~ \IsSplitEpimorphism( \beta ) \vdash \IsEpimorphism( \beta )

71
\end{align*}

72
\end{sequent}

73