Repository navigation

Add various categories with subobject classifiers - #371

Merged

ScriptRaccoon merged 13 commits into

mainfrom

empty-or-finite-pairs-of-sets

Sep 26, 2026

Commits on Sep 24, 2026
- add the category of empty-or-finite pairs of sets
  ScriptRaccoon
  committed
  90d2f69
- add the category of directed graphs with finite components
  ScriptRaccoon
  committed
  32846f9
- add the category of sequences of sets
  ScriptRaccoon
  committed
  0be4eb3
- small correction for accessibility proofs
  ScriptRaccoon
  committed
  3eefe2c
- left adjoints preserve natural numbers objects
  ScriptRaccoon
  committed
  351992b
Commits on Sep 25, 2026
- add the category of connected sequences of sets
  ScriptRaccoon
  committed
  22ea242
- add the category of Z-sets
  ScriptRaccoon
  committed
  dd7ba54
- add the category of finite Z-sets
  ScriptRaccoon
  committed
  34c8459
- increase the number of recent structures on home page
  ScriptRaccoon
  committed
  37ffa62
- reword definitions of total and cototal categories
  ScriptRaccoon
  committed
  47b21be
- mention hypercomplete and hypercocomplete more explicitly in total and cototal proofs
  ScriptRaccoon
  committed
  6814ad7
- add the category of F(I)-sets
  ScriptRaccoon
  committed
  16aec30
Commits on Sep 26, 2026
- update dates of new categories
  ScriptRaccoon
  committed
  e0aab90