为了研究L集合的性质,建立L集合的数学框架,在L集合范畴Set(L)中,研究了集合范畴Set(L)中的等值子和余等值子,以及等值子和余等值子的无点式与有点式刻画,为进一步研究集合范畴Set(L)的topos性质打下了基础.
After the category of E-sets are introduced for more properties of L-sets and mathematical frame of E-sets, we discussed equalizer and coequalizer of the category of L-sets and their pointwise characterization and no pointwise characterization, which can help ones further study topos properties of the category of L-sets.