All pull requests

Pull requests

• Categories of graphs

  data
  #387·ScriptRaccoon opened Sep 28, 2026Owner·

  ·

  · Add categories that witness new property combinations

• Add category of ω-sets

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

  ·
  49

• Add the effective topos

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

  ·
  1

  35

• Pullback-stable regular epimorphisms

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

  ·