{
  "aliases": null,
  "backlinks": [
    {
      "field": "specializes",
      "target": "G9ZNDNT3YY"
    },
    {
      "field": "defines",
      "target": "WMNEQ6A8FB"
    },
    {
      "field": "uses",
      "target": "Z45TBD32BR"
    }
  ],
  "body": "\n## Summary\n\nA regular category is a finitely complete category in which every morphism has a well-behaved image.\nPrecisely, coequalizers of kernel pairs exist and regular epimorphisms are stable under pullback.\nIn a regular category every morphism factors as a regular epimorphism followed by a monomorphism, and relations can be composed.\nSets, groups, modules, every abelian category and every topos are regular, and regular categories are the semantics of regular logic.\n\n## Explanations\n\n### L1 human\n\nIn sets, every function factors through its image: first onto the image, then into the target.\nA regular category is one where this factorization exists for all morphisms and behaves well when one restricts to a part of the target.\nThis is what is needed to talk about images, to compose relations, and to interpret statements built from \"and\", \"true\" and \"there exists\".\nThe category of groups is regular, while the category of topological spaces is not.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18E08"
    ],
    "name": "Regular category",
    "same_as": {
      "wikidata": "Q2844249",
      "wikipedia": "Regular category"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Regular_category"
      }
    ],
    "tag": "2SM3JRJXA4"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/2SM3JRJXA4/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/2SM3JRJXA4.md",
  "msc": [
    "18E08"
  ],
  "name": "Regular category",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/2SM/2SM3JRJXA4.md",
  "status": null,
  "tag": "2SM3JRJXA4",
  "uri": "m2://2SM3JRJXA4",
  "url": "https://tamnd.github.io/math2/wiki/regular-category/",
  "writing": {
    "tag": "2SM3JRJXA4",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}