Transpile FpCategories v2025.09-03

Current Version to v0.0.1

Author: kamalsaleh

FpCategories/.github/workflows/TagBot.yml

@@ -0,0 +1,15 @@
+name: TagBot
+on:
+  issue_comment:
+    types:
+      - created
+  workflow_dispatch:
+jobs:
+  TagBot:
+    if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
+    runs-on: ubuntu-latest
+    steps:
+      - uses: JuliaRegistries/TagBot@v1
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+          ssh: ${{ secrets.DOCUMENTER_KEY }}

FpCategories/.gitignore

@@ -0,0 +1 @@
+.generate.sh

FpCategories/LICENSE

@@ -0,0 +1,35 @@
+name = "FpCategories"
+uuid = "b9f20f1b-1226-4811-b6a0-b2e47a225553"
+authors = [
+	"Mohamed Barakat <mohamed.barakat@uni-siegen.de>",
+	"Kamal Saleh <kamal.saleh@uni-siegen.de>"
+]
+
+# Transpiled from GAP's FpCategories v2025.09-03
+version = "0.0.1"
+
+[deps]
+CAP = "d64df2ee-d2bb-46f4-8cbc-f03bb858f8cb"
+CartesianCategories = "c5961c08-7b59-43f4-a15e-02b3e7c87ab8"
+ToolsForCategoricalTowers = "e2cf920d-0824-4cbb-97bb-0be40824f89f"
+QuotientCategories = "c103c924-3523-4680-a691-c88f3312ec70"
+FinSetsForCAP = "0a079e9b-4bc2-44fe-a89b-7607e4464786"
+
+[weakdeps]
+
+[extensions]
+
+[compat]
+julia = "1.11"
+CAP = "0.6"
+CartesianCategories = "~0.3.12"
+ToolsForCategoricalTowers = "~0.0.1"
+QuotientCategories = "~0.0.2"
+FinSetsForCAP = "~0.1.15"
+
+[extras]
+Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
+Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
+
+[targets]
+test = ["Test", "Documenter"]

FpCategories/Project.toml

@@ -0,0 +1,23 @@
+<!-- BEGIN HEADER -->
+# FpCategories
+
+### Finitely presented categories by generating quivers and relations
+
+| Documentation |
+| ------------- |
+| [![HTML stable documentation][html-img]][html-url] [![PDF stable documentation][pdf-img]][pdf-url] |
+
+<!-- END HEADER -->
+
+This is the Julia version of the [CAP-based][CAP_based] package [FpCategories][FpCategories].
+
+[CAP_based]: https://homalg-project.github.io/docs/CAP_project-based/
+[FpCategories]: https://homalg-project.github.io/pkg/FpCategories
+
+<!-- BEGIN FOOTER -->
+[html-img]: https://img.shields.io/badge/🔗%20HTML-stable-blue.svg
+[html-url]: https://homalg-project.github.io/CategoricalTowers/FpCategories/doc/chap0_mj.html
+
+[pdf-img]: https://img.shields.io/badge/🔗%20PDF-stable-blue.svg
+[pdf-url]: https://homalg-project.github.io/CategoricalTowers/FpCategories/download_pdf.html
+<!-- END FOOTER -->