Issues

• Support undecidable implications

  feature
  ScriptRaccoon/CatDat#392 · Filter by author ScriptRaccoon opened on Oct 2, 2026

• Add property: has trivial split monos

  data
  ScriptRaccoon/CatDat#383 · Filter by author ScriptRaccoon opened on Sep 22, 2026

• Add property: binary CIP (and binary CSP)

  data
  ScriptRaccoon/CatDat#382 · Filter by author ScriptRaccoon opened on Sep 22, 2026

• Should we relax the definition of a subobject classifier?

  discussion
  ScriptRaccoon/CatDat#370 · Filter by author ScriptRaccoon opened on Sep 13, 2026
  6

• Dualize all properties

  data
  ScriptRaccoon/CatDat#364 · Filter by author ScriptRaccoon opened on Sep 9, 2026

• Add effective topos

  data
  ScriptRaccoon/CatDat#353 · Filter by author dschepler opened on Sep 4, 2026
  2

• Combine special objects and special morphisms with property assignments

  refactor
  ScriptRaccoon/CatDat#331 · Filter by author ScriptRaccoon opened on Aug 12, 2026

• Add JEP-colimits

  data
  ScriptRaccoon/CatDat#321 · Filter by author ScriptRaccoon opened on Aug 6, 2026

• The category of uniform spaces is (probably) coregular

  data
  ScriptRaccoon/CatDat#317 · Filter by author ScriptRaccoon opened on Aug 1, 2026

• Add some other properties related to "total" (and their duals)

  data
  ScriptRaccoon/CatDat#308 · Filter by author dschepler opened on Jul 25, 2026
  3

• On the definition of "exact filtered colimits"

  discussion
  ScriptRaccoon/CatDat#300 · Filter by author ykawase5048 opened on Jul 18, 2026
  4

• Add support for double categories

  datafeature
  ScriptRaccoon/CatDat#290 · Filter by author varkor opened on Jul 15, 2026
  5

• Add more types of morphisms

  data
  ScriptRaccoon/CatDat#267 · Filter by author ScriptRaccoon opened on Jul 5, 2026
  1

• Set-theoretic issues regarding functor categories

  discussion
  ScriptRaccoon/CatDat#247 · Filter by author catdat-issue-creation opened on Jun 18, 2026
  5

• Discussion: How should CatDat prioritize proof sources?

  discussion
  ScriptRaccoon/CatDat#219 · Filter by author ScriptRaccoon opened on May 29, 2026
  2

• Add property: injective cogenerator

  data
  ScriptRaccoon/CatDat#162 · Filter by author ScriptRaccoon opened on May 6, 2026
  2

• Fix word breaks in katex formulas

  bug
  ScriptRaccoon/CatDat#135 · Filter by author ScriptRaccoon opened on Apr 25, 2026
  8

• Decide accessible etc. for various categories

  data
  ScriptRaccoon/CatDat#91 · Filter by author ScriptRaccoon opened on Apr 15, 2026
  7

• Add more properties of functors

  data
  ScriptRaccoon/CatDat#88 · Filter by author varkor opened on Apr 15, 2026
  6

• How to handle smallness?

  discussion
  ScriptRaccoon/CatDat#83 · Filter by author ScriptRaccoon opened on Apr 15, 2026
  9

• Commutative von Neumann algebras

  data
  ScriptRaccoon/CatDat#71 · Filter by author catdat-issue-creation opened on Apr 13, 2026
  3

• Support adjoint relationships for functors

  feature
  ScriptRaccoon/CatDat#51 · Filter by author catdat-issue-creation opened on Apr 10, 2026
  1

• Deduce properties based on other categories

  feature
  ScriptRaccoon/CatDat#22 · Filter by author ScriptRaccoon opened on Mar 27, 2026
  4

• Compare with pi-Base software

  discussion
  ScriptRaccoon/CatDat#19 · Filter by author StevenClontz opened on Mar 24, 2026

• Add more common properties of categories

  data
  ScriptRaccoon/CatDat#18 · Filter by author ScriptRaccoon opened on Mar 20, 2026
  3