Equalisers of Frames in Constructive Set Theory (Q2909757)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Equalisers of Frames in Constructive Set Theory |
scientific article |
Statements
Equalisers of Frames in Constructive Set Theory (English)
0 references
6 September 2012
0 references
constructive set theory
0 references
category of set-presented class frames
0 references
equalizers
0 references