Search results

Input via markdown files?

discussion

Status: Open.

#163 In ScriptRaccoon/CatDat;

· ScriptRaccoon opened on May 6, 2026

Add property: injective cogenerator

data

Status: Open.

#162 In ScriptRaccoon/CatDat;

· ScriptRaccoon opened on May 6, 2026

Add category of compact Hausdorff spaces

data

Status: Open.

#156 In ScriptRaccoon/CatDat;

· dschepler opened on May 4, 2026

Include a test for malformed KaTeX

feature

Status: Open.

#154 In ScriptRaccoon/CatDat;

· dschepler opened on May 3, 2026

Decide if CMon and FinGrp have effective cocongruences

data

Status: Open.

#151 In ScriptRaccoon/CatDat;

· ScriptRaccoon opened on May 3, 2026

Potential XSS Attack by using @html

feature

Status: Open.

#146 In ScriptRaccoon/CatDat;

· MoinJulian opened on May 2, 2026

Fix word breaks in katex formulas

bug

Status: Open.

#135 In ScriptRaccoon/CatDat;

· ScriptRaccoon opened on Apr 25, 2026

add details for extensive proofs

data

Status: Open.

#112 In ScriptRaccoon/CatDat;

· catdat-issue-creation opened on Apr 18, 2026

Add "pretopos" and related properties

data

Status: Open.

#96 In ScriptRaccoon/CatDat;

· dschepler opened on Apr 16, 2026

Decide accessible etc. for various categories

data

Status: Open.

#91 In ScriptRaccoon/CatDat;

· ScriptRaccoon opened on Apr 15, 2026

Add more properties of functors

data

Status: Open.

#88 In ScriptRaccoon/CatDat;

· varkor opened on Apr 15, 2026

How to handle smallness?

discussion

Status: Open.

#83 In ScriptRaccoon/CatDat;

· ScriptRaccoon opened on Apr 15, 2026