link to notebooks in packages

Author: mohamed-barakat

CategoryOfRepresentations.ipynb

@@ -20,7 +20,7 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "CapAndHomalg v\u001b[32m1.2.0\u001b[39m\n",
+      "CapAndHomalg v\u001b[32m1.4.15\u001b[39m\n",
       "Imported OSCAR's components GAP and Singular_jll\n",
       "Type: ?CapAndHomalg for more information\n"
      ]
@@ -130,10 +130,11 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "40 primitive operations were used to derive 185 operations for this category which\n",
-      "* IsAbCategory\n",
+      "40 primitive operations were used to derive 327 operations for this category which algorithmically\n",
       "* IsMonoidalCategory\n",
-      "* IsAbelianCategoryWithEnoughProjectives\n"
+      "* IsAbelianCategoryWithEnoughProjectives\n",
+      "and furthermore mathematically\n",
+      "* IsSymmetricClosedMonoidalCategory (but not yet algorithmically)\n"
      ]
     }
    ],
@@ -559,8 +560,7 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "21 primitive operations were used to derive 144 operations for this category which\n",
-      "* IsAbCategory\n",
+      "21 primitive operations were used to derive 280 operations for this category which algorithmically\n",
       "* IsAbelianCategory\n"
      ]
     }
@@ -763,13 +763,6 @@
    "source": [
     "IsIsomorphism( ϵ )"
    ]
-  },
-  {
-   "cell_type": "code",
-   "execution_count": null,
-   "metadata": {},
-   "outputs": [],
-   "source": []
   }
  ],
  "metadata": {
@@ -779,15 +772,15 @@
   },
   "celltoolbar": "Slideshow",
   "kernelspec": {
-   "display_name": "Julia 1.6.3",
+   "display_name": "Julia 1.8.5",
    "language": "julia",
-   "name": "julia-1.6"
+   "name": "julia-1.8"
   },
   "language_info": {
    "file_extension": ".jl",
    "mimetype": "application/julia",
    "name": "julia",
-   "version": "1.6.3"
+   "version": "1.8.5"
   }
  },
  "nbformat": 4,