Equalisers of frames in constructive set theory

DOI10.1007/978-94-007-0214-1_11zbMATH Open1256.03053OpenAlexW1573818279MaRDI QIDQ2909757FDOQ2909757

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

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

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)

Cited In (4)

• Algebraic structure of the families of compatible frames of discernment
• Title not available (Why is that?)
• Topological inductive definitions
• Constructions of equalizer and co-equalizer in co-frame category

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)