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/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..036352424 100644 --- a/src/components/Footer.svelte +++ b/src/components/Footer.svelte @@ -15,7 +15,7 @@