Issues

• Proof review: categories (batch 6)

  data
  ScriptRaccoon/CatDat#423 · Filter by author ScriptRaccoon opened on Oct 11, 2026

• Proof review: categories (batch 5)

  data
  ScriptRaccoon/CatDat#422 · Filter by author ScriptRaccoon opened on Oct 11, 2026

• Proof review: categories (batch 4)

  data
  ScriptRaccoon/CatDat#421 · Filter by author ScriptRaccoon opened on Oct 11, 2026

• Proof review: categories (batch 3)

  data
  ScriptRaccoon/CatDat#417 · Filter by author ScriptRaccoon opened on Oct 9, 2026

• Proof review: categories (batch 2)

  data
  ScriptRaccoon/CatDat#416 · Filter by author ScriptRaccoon opened on Oct 9, 2026

• Proof review: categories (batch 1)

  data
  ScriptRaccoon/CatDat#415 · Filter by author ScriptRaccoon opened on Oct 9, 2026

• Proof review: morphism implications

  data
  ScriptRaccoon/CatDat#414 · Filter by author ScriptRaccoon opened on Oct 9, 2026

• Proof review: functor implications

  data
  ScriptRaccoon/CatDat#413 · Filter by author ScriptRaccoon opened on Oct 9, 2026

• Proof review: category implications

  data
  ScriptRaccoon/CatDat#411 · Filter by author ScriptRaccoon opened on Oct 9, 2026
  1

• Proof review: content pages

  data
  ScriptRaccoon/CatDat#410 · Filter by author ScriptRaccoon opened on Oct 9, 2026
  3

• Incorporate AI review of missing properties

  data
  ScriptRaccoon/CatDat#403 · Filter by author cmcq opened on Oct 7, 2026
  3

• 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