Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 26 additions & 0 deletions content/contribute.md
Original file line number Diff line number Diff line change
@@ -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).
16 changes: 16 additions & 0 deletions content/resources.md
Original file line number Diff line number Diff line change
@@ -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)
4 changes: 2 additions & 2 deletions src/components/Footer.svelte
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
<ul>
<li>
<Fa icon={faPenToSquare} scale={0.875} />
<a href="/contribute">Contribute</a>
<a href="/content/contribute">Contribute</a>
</li>
<li>
<Fa icon={faCog} scale={0.875} />
Expand All @@ -27,7 +27,7 @@
</li>
<li>
<Fa icon={faBook} scale={0.875} />
<a href="/resources">Resources</a>
<a href="/content/resources">Resources</a>
</li>
<li>
<Fa icon={faCubes} scale={0.875} />
Expand Down
4 changes: 2 additions & 2 deletions src/components/NavMobile.svelte
Original file line number Diff line number Diff line change
Expand Up @@ -103,7 +103,7 @@

<ul class="secondary-list">
<li>
<a href="/contribute">Contribute</a>
<a href="/content/contribute">Contribute</a>
<Fa icon={faPenToSquare} scale={0.875} />
</li>
<li>
Expand All @@ -115,7 +115,7 @@
<Fa icon={faPuzzlePiece} scale={0.875} />
</li>
<li>
<a href="/resources">Resources</a>
<a href="/content/resources">Resources</a>
<Fa icon={faBook} scale={0.875} />
</li>
<li>
Expand Down
2 changes: 1 addition & 1 deletion src/routes/+page.svelte
Original file line number Diff line number Diff line change
Expand Up @@ -104,7 +104,7 @@
>
open-source
</a>
and welcomes <a class="accent" href="/contribute">contributions</a>
and welcomes <a class="accent" href="/content/contribute">contributions</a>
to fill in <a class="accent" href="/missing">missing data</a>
or observe new combinations of properties.
</p>
Expand Down
2 changes: 1 addition & 1 deletion src/routes/category-property/[id]/+page.svelte
Original file line number Diff line number Diff line change
Expand Up @@ -101,7 +101,7 @@
})}
{#if data.unknown_categories.length > 0}
Please help us fill in the gaps by
<a href="/contribute">contributing</a> to this project.
<a href="/content/contribute">contributing</a> to this project.
{/if}
</p>

Expand Down
2 changes: 1 addition & 1 deletion src/routes/category/[id]/+page.svelte
Original file line number Diff line number Diff line change
Expand Up @@ -153,7 +153,7 @@
})}

Please help to
<a href="/contribute">contribute</a> the data!
<a href="/content/contribute">contribute</a> the data!
</p>
{/if}

Expand Down
3 changes: 3 additions & 0 deletions src/routes/contribute/+page.server.ts
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
import { redirect } from '@sveltejs/kit'

export const load = () => redirect(301, '/content/contribute')
80 changes: 0 additions & 80 deletions src/routes/contribute/+page.svelte

This file was deleted.

2 changes: 1 addition & 1 deletion src/routes/functor-property/[id]/+page.svelte
Original file line number Diff line number Diff line change
Expand Up @@ -83,7 +83,7 @@
})}
{#if data.unknown_functors.length > 0}
Please help us fill in the gaps by
<a href="/contribute">contributing</a> to this project.
<a href="/content/contribute">contributing</a> to this project.
{/if}
</p>

Expand Down
5 changes: 3 additions & 2 deletions src/routes/functor/[id]/+page.svelte
Original file line number Diff line number Diff line change
Expand Up @@ -100,8 +100,9 @@
{#if data.unknown_properties.length}
<p class="hint">
For these properties the database currently doesn't have an answer if they
are satisfied or not. Please help to <a href="/contribute">contribute</a> the
data!
are satisfied or not. Please help to <a href="/content/contribute">
contribute
</a> the data!
</p>
{/if}

Expand Down
2 changes: 1 addition & 1 deletion src/routes/missing/+page.svelte
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@

<p>
This page lists some missing data in the database. Please help us fill in the gaps by
<a href="/contribute">contributing</a> to this project.
<a href="/content/contribute">contributing</a> to this project.
</p>

<section>
Expand Down
61 changes: 0 additions & 61 deletions src/routes/resources/+page.svelte

This file was deleted.