From 71e1d06fe670c81ee273ff5946c4855c18f8adc5 Mon Sep 17 00:00:00 2001 From: Script Raccoon Date: Mon, 18 May 2026 23:34:12 +0200 Subject: [PATCH 1/2] turn resources page into a content page --- content/resources.md | 16 ++++++++ src/components/Footer.svelte | 2 +- src/components/NavMobile.svelte | 2 +- src/routes/resources/+page.svelte | 61 ------------------------------- 4 files changed, 18 insertions(+), 63 deletions(-) create mode 100644 content/resources.md delete mode 100644 src/routes/resources/+page.svelte diff --git a/content/resources.md b/content/resources.md new file mode 100644 index 000000000..6e7d60e94 --- /dev/null +++ b/content/resources.md @@ -0,0 +1,16 @@ +--- +title: Resources on Category Theory +description: This is an (incomplete) list of resources on category theory. +--- + +## Resources on Category Theory + +This is an (incomplete) list of resources on category theory. + +- [nLab](https://ncatlab.org/) +- [Wikipedia](https://en.wikipedia.org/wiki/Category_theory) +- [List of textbooks on category theory](https://ncatlab.org/nlab/show/list+of+textbooks+on+category+theory) +- [Category theory Zulip server](https://categorytheory.zulipchat.com) +- [n-Café](https://golem.ph.utexas.edu/category/) +- [Mathematics › category theory](https://math.stackexchange.com/questions/tagged/category-theory) +- [Mathoverflow › category theory](https://mathoverflow.net/questions/tagged/ct.category-theory) diff --git a/src/components/Footer.svelte b/src/components/Footer.svelte index c92d869d0..58cdfcfb3 100644 --- a/src/components/Footer.svelte +++ b/src/components/Footer.svelte @@ -27,7 +27,7 @@
  • - Resources + Resources
  • diff --git a/src/components/NavMobile.svelte b/src/components/NavMobile.svelte index 70a6368a7..6edf4f6e7 100644 --- a/src/components/NavMobile.svelte +++ b/src/components/NavMobile.svelte @@ -115,7 +115,7 @@
  • - Resources + Resources
  • diff --git a/src/routes/resources/+page.svelte b/src/routes/resources/+page.svelte deleted file mode 100644 index 6a176dda1..000000000 --- a/src/routes/resources/+page.svelte +++ /dev/null @@ -1,61 +0,0 @@ - - - - -

    Resources on Category Theory

    - -

    This is an (incomplete) list of resources on category theory.

    - - From b06327ab67245e9093eacd37fbb32aef376b6b16 Mon Sep 17 00:00:00 2001 From: Script Raccoon Date: Mon, 18 May 2026 23:53:11 +0200 Subject: [PATCH 2/2] turn contribution page into content page --- content/contribute.md | 26 ++++++ src/components/Footer.svelte | 2 +- src/components/NavMobile.svelte | 2 +- src/routes/+page.svelte | 2 +- .../category-property/[id]/+page.svelte | 2 +- src/routes/category/[id]/+page.svelte | 2 +- src/routes/contribute/+page.server.ts | 3 + src/routes/contribute/+page.svelte | 80 ------------------- src/routes/functor-property/[id]/+page.svelte | 2 +- src/routes/functor/[id]/+page.svelte | 5 +- src/routes/missing/+page.svelte | 2 +- 11 files changed, 39 insertions(+), 89 deletions(-) create mode 100644 content/contribute.md create mode 100644 src/routes/contribute/+page.server.ts delete mode 100644 src/routes/contribute/+page.svelte diff --git a/content/contribute.md b/content/contribute.md new file mode 100644 index 000000000..2f9b9cb13 --- /dev/null +++ b/content/contribute.md @@ -0,0 +1,26 @@ +--- +title: How to contribute to CatDat +description: CatDat welcomes contributions from the community, including filling in missing information or discovering new combinations of properties +--- + +## How to contribute + +_CatDat_ is developed in an open-source [GitHub repository](https://github.com/ScriptRaccoon/catdat) owned by [Martin Brandenburg](https://ncatlab.org/nlab/show/Martin+Brandenburg). It welcomes contributions from the community, including filling in missing information or discovering new combinations of properties. + +[**Video tutorial**](https://www.youtube.com/watch?v=NoZWdMFfQfg) + +There are three ways to contribute: + +### Option 1: Use the Suggestion Form + +On most pages of CatDat, you will find a suggestion form at the bottom. Use it to contribute new data, report an issue, or make a suggestion. After submission, the form automatically creates a GitHub issue, which we then review and try to resolve and implement. + +This option does not require any knowledge of GitHub or coding, making it accessible to everyone. It also does not require following any guidelines for adding new data. + +### Option 2: Create an Issue + +Create an [issue](https://github.com/ScriptRaccoon/CatDat/issues/new) on GitHub. You will need a GitHub account. + +### Option 3: Create a Pull Request + +Create a [pull request](https://github.com/ScriptRaccoon/CatDat/pulls) on GitHub. You will need a GitHub account and some coding knowledge. Make sure to follow the [contribution guidelines](https://github.com/ScriptRaccoon/CatDat/blob/main/CONTRIBUTING.md). diff --git a/src/components/Footer.svelte b/src/components/Footer.svelte index 58cdfcfb3..036352424 100644 --- a/src/components/Footer.svelte +++ b/src/components/Footer.svelte @@ -15,7 +15,7 @@
    • - Contribute + Contribute
    • diff --git a/src/components/NavMobile.svelte b/src/components/NavMobile.svelte index 6edf4f6e7..110a92f9f 100644 --- a/src/components/NavMobile.svelte +++ b/src/components/NavMobile.svelte @@ -103,7 +103,7 @@
      • - Contribute + Contribute
      • diff --git a/src/routes/+page.svelte b/src/routes/+page.svelte index 993e88d51..bb2cc9ddf 100644 --- a/src/routes/+page.svelte +++ b/src/routes/+page.svelte @@ -104,7 +104,7 @@ > open-source - and welcomes contributions + and welcomes contributions to fill in missing data or observe new combinations of properties.

        diff --git a/src/routes/category-property/[id]/+page.svelte b/src/routes/category-property/[id]/+page.svelte index 5df8f85b4..1362b55c6 100644 --- a/src/routes/category-property/[id]/+page.svelte +++ b/src/routes/category-property/[id]/+page.svelte @@ -101,7 +101,7 @@ })} {#if data.unknown_categories.length > 0} Please help us fill in the gaps by - contributing to this project. + contributing to this project. {/if}

        diff --git a/src/routes/category/[id]/+page.svelte b/src/routes/category/[id]/+page.svelte index 95f3ae474..84f6e4298 100644 --- a/src/routes/category/[id]/+page.svelte +++ b/src/routes/category/[id]/+page.svelte @@ -153,7 +153,7 @@ })} Please help to - contribute the data! + contribute the data!

        {/if} diff --git a/src/routes/contribute/+page.server.ts b/src/routes/contribute/+page.server.ts new file mode 100644 index 000000000..a5f850e9d --- /dev/null +++ b/src/routes/contribute/+page.server.ts @@ -0,0 +1,3 @@ +import { redirect } from '@sveltejs/kit' + +export const load = () => redirect(301, '/content/contribute') diff --git a/src/routes/contribute/+page.svelte b/src/routes/contribute/+page.svelte deleted file mode 100644 index ee9fa78e4..000000000 --- a/src/routes/contribute/+page.svelte +++ /dev/null @@ -1,80 +0,0 @@ - - - - -

        How to contribute

        - -

        - CatDat is developed in an open-source - - GitHub repository - - owned by - - Martin Brandenburg - . It welcomes contributions from the community, including filling in missing - information or discovering new combinations of properties. -

        - -{#if !dev} -
        - -
        -{/if} - -

        There are three ways to contribute:

        - -

        Option 1: Use the Suggestion Form

        - -

        - On most pages of CatDat, you will find a suggestion form at the bottom. Use it to - contribute new data, report an issue, or make a suggestion. After submission, the form - automatically creates a GitHub issue, which we then review and try to resolve and - implement. -

        - -

        - This option does not require any knowledge of GitHub or coding, making it accessible - to everyone. It also does not require following any guidelines for adding new data. -

        - -

        Option 2: Create an Issue

        - -

        - Create an - issue - on GitHub. You will need a GitHub account. -

        - -

        Option 3: Create a Pull Request

        - -

        - Create a - pull request - on GitHub. You will need a GitHub account and some coding knowledge. Make sure to follow - the - contribution guidelines. -

        - - diff --git a/src/routes/functor-property/[id]/+page.svelte b/src/routes/functor-property/[id]/+page.svelte index a231e4711..cde71a4d1 100644 --- a/src/routes/functor-property/[id]/+page.svelte +++ b/src/routes/functor-property/[id]/+page.svelte @@ -83,7 +83,7 @@ })} {#if data.unknown_functors.length > 0} Please help us fill in the gaps by - contributing to this project. + contributing to this project. {/if}

        diff --git a/src/routes/functor/[id]/+page.svelte b/src/routes/functor/[id]/+page.svelte index 4af0ad098..1d7c5fdd4 100644 --- a/src/routes/functor/[id]/+page.svelte +++ b/src/routes/functor/[id]/+page.svelte @@ -100,8 +100,9 @@ {#if data.unknown_properties.length}

        For these properties the database currently doesn't have an answer if they - are satisfied or not. Please help to contribute the - data! + are satisfied or not. Please help to + contribute + the data!

        {/if} diff --git a/src/routes/missing/+page.svelte b/src/routes/missing/+page.svelte index 1b86227ba..faa36e588 100644 --- a/src/routes/missing/+page.svelte +++ b/src/routes/missing/+page.svelte @@ -17,7 +17,7 @@

        This page lists some missing data in the database. Please help us fill in the gaps by - contributing to this project. + contributing to this project.