Search results

Add more properties of categories

feature

Status: Open.

#18 In ScriptRaccoon/CatDat;

· ScriptRaccoon opened on Mar 20, 2026

Add other types of special morphisms

feature

Status: Open.

#17 In ScriptRaccoon/CatDat;

· ScriptRaccoon opened on Mar 20, 2026

Check for redundant properties and implications

feature

Status: Open.

#16 In ScriptRaccoon/CatDat;

· ScriptRaccoon opened on Mar 20, 2026

Fill in missing reasons

feature

high prio

Status: Open.

#15 In ScriptRaccoon/CatDat;

· ScriptRaccoon opened on Mar 20, 2026

Add more well-known categories

feature

Status: Open.

#14 In ScriptRaccoon/CatDat;

· ScriptRaccoon opened on Mar 20, 2026

Comma-separated lists should be permitted in "Property combo search"

feature

Status: Open.

#10 In ScriptRaccoon/CatDat;

· varkor opened on Mar 18, 2026

Clicking on a search result in "Property combo search" should add it

feature

high prio

Status: Open.

#8 In ScriptRaccoon/CatDat;

· varkor opened on Mar 18, 2026

Parameterised categories

feature

Status: Open.

#7 In ScriptRaccoon/CatDat;

· varkor opened on Mar 18, 2026

Add a tab for tags

feature

Status: Open.

#5 In ScriptRaccoon/CatDat;

· varkor opened on Mar 18, 2026

Add support for other categorical structures

feature

Status: Open.

#4 In ScriptRaccoon/CatDat;

· varkor opened on Mar 18, 2026