• DocumentCode
    3036809
  • Title

    Elementary axioms for categories of classes

  • Author

    Simpson, Alex K.

  • Author_Institution
    Lab. for Found. of Comput. Sci., Edinburgh Univ., UK
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    77
  • Lastpage
    85
  • Abstract
    We axiomatize a notion of “classic structure” on a regular category, isolating the essential properties of the category of classes together with its full subcategory of sets. Like the axioms for a topos, our axiomatization is very simple, but has powerful consequences. In particular, we show that our axiomatized categories provide a sound and complete class of models for intuitionistic Zermelo-Fraenkel set theory
  • Keywords
    category theory; formal languages; set theory; axiomatization; axioms; categories of classes; classic structure; elementary axioms; intuitionistic Zermelo-Fraenkel set theory; regular category; topos; Buildings; Computer science; Electrical capacitance tomography; Equations; Geometry; Informatics; Logic; Mathematics; Pulleys; Set theory;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science, 1999. Proceedings. 14th Symposium on
  • Conference_Location
    Trento
  • ISSN
    1043-6871
  • Print_ISBN
    0-7695-0158-3
  • Type

    conf

  • DOI
    10.1109/LICS.1999.782592
  • Filename
    782592
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3036809