All pull requests

Pull requests

• Add category of ω-sets

  data
  #373·dschepler opened Sep 15, 2026Contributor·

  ·
  43

• Add various categories with subobject classifiers

  data
  #371·ScriptRaccoon opened Sep 13, 2026Owner·

  ·

  · Add categories that witness new property combinations

• Add the effective topos

  data
  #362·dschepler opened Sep 8, 2026Contributor·

  ·
  1

  35

• Pullback-stable regular epimorphisms

  data
  #344·ScriptRaccoon opened Aug 21, 2026Owner·

  ·