Equalisers of frames in constructive set theory

DOI10.1007/978-94-007-0214-1_11MaRDI QIDQ2909757zbMATHOpenAlexFDO

Authors Peter Aczel

Publication date 6 September 2012

Published in The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-0214-1_11

zbMATH Keywords

constructive set theoryequalizerscategory of set-presented class frames

Mathematics Subject Classification ID

Frames, locales (06D22) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Recommendations

• Constructions of equalizer and co-equalizer in co-frame category
• Constructing categories and setoids of setoids in type theory
• Category theoretic structure of setoids
• Exact completion and constructive theories of sets
• scientific article; zbMATH DE number 1420793

Cited in

(4)

• Constructions of equalizer and co-equalizer in co-frame category
• scientific article; zbMATH DE number 4021204 (Why is no real title available?)
• Algebraic structure of the families of compatible frames of discernment
• Topological inductive definitions

This page was built for publication: Equalisers of frames in constructive set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909757)