updated ImageOfPullback.ipynb

Author: mohamed-barakat

ImageOfPullback.ipynb

@@ -1,5 +1,12 @@
 {
  "cells": [
+  {
+   "cell_type": "markdown",
+   "metadata": {},
+   "source": [
+    "[![Binder](https://mybinder.org/badge_logo.svg)](https://gesis.mybinder.org/v2/gh/homalg-project/CapAndHomalgNotebooks/master?urlpath=git-pull%3Frepo%3Dhttps%253A%252F%252Fgithub.com%252Fhomalg-project%252FCapAndHomalgNotebooks%26urlpath%3Dtree%252FImageOfPullback.ipynb%26branch%3Dmaster)"
+   ]
+  },
   {
    "cell_type": "markdown",
    "metadata": {
@@ -46,7 +53,7 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "CapAndHomalg v\u001b[32m1.4.0\u001b[39m\n",
+      "CapAndHomalg v\u001b[32m1.4.1\u001b[39m\n",
       "Imported OSCAR's components GAP and Singular_jll\n",
       "Type: ?CapAndHomalg for more information\n"
      ]
@@ -114,7 +121,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: Category freely generated by the right quiver q(S,D,T)[j:S->D,omega:T->D]"
+       "GAP: FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) )"
       ]
      },
      "execution_count": 4,
@@ -161,7 +168,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: Algebroid over Z freely generated by the right quiver q(S,D,T)[j:S->D,omega:T->D]"
+       "GAP: Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) )"
       ]
      },
      "execution_count": 6,
@@ -204,7 +211,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: Additive closure( Algebroid over Z freely generated by the right quiver q(S,D,T)[j:S->D,omega:T->D] )"
+       "GAP: Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) )"
       ]
      },
      "execution_count": 8,
@@ -231,7 +238,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: Adelman category( Additive closure( Algebroid over Z freely generated by the right quiver q(S,D,T)[j:S->D,omega:T->D] ) )"
+       "GAP: Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )"
       ]
      },
      "execution_count": 9,
@@ -258,7 +265,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A morphism in Adelman category( Additive closure( Algebroid over Z freely generated by the right quiver q(S,D,T)[j:S->D,omega:T->D] ) )>"
+       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 10,
@@ -278,7 +285,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A morphism in Adelman category( Additive closure( Algebroid over Z freely generated by the right quiver q(S,D,T)[j:S->D,omega:T->D] ) )>"
+       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 11,
@@ -305,7 +312,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A morphism in Adelman category( Additive closure( Algebroid over Z freely generated by the right quiver q(S,D,T)[j:S->D,omega:T->D] ) )>"
+       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 12,
@@ -352,7 +359,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid over Z freely generated by the right quiver q(S,D,T)[j:S->D,omega:T->D] ) )>"
+       "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 14,
@@ -399,7 +406,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A morphism in Adelman category( Additive closure( Algebroid over Z freely generated by the right quiver q(S,D,T)[j:S->D,omega:T->D] ) )>"
+       "GAP: <A morphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 16,
@@ -419,7 +426,7 @@
     {
      "data": {
       "text/plain": [
-       "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid over Z freely generated by the right quiver q(S,D,T)[j:S->D,omega:T->D] ) )>"
+       "GAP: <A monomorphism in Adelman category( Additive closure( Algebroid( Z, FreeCategory( RightQuiver( \"q(S,D,T)[j:S->D,omega:T->D]\" ) ) ) ) )>"
       ]
      },
      "execution_count": 17,
@@ -486,15 +493,15 @@
   },
   "celltoolbar": "Slideshow",
   "kernelspec": {
-   "display_name": "Julia 1.7.2",
+   "display_name": "Julia 1.7.3",
    "language": "julia",
    "name": "julia-1.7"
   },
   "language_info": {
    "file_extension": ".jl",
    "mimetype": "application/julia",
    "name": "julia",
-   "version": "1.7.2"
+   "version": "1.7.3"
   }
  },
  "nbformat": 4,