INJECTIVITY IN THE TOPOS OF COMPLETE HEYTING ALGEBRA VALUED SETS

被引：21

作者：

HIGGS, D ^{[1
]}

机构：

[1] UNIV WATERLOO,WATERLOO N2L 3G1,ONTARIO,CANADA

来源：

CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES | 1984年 / 36卷 / 03期

关键词：

D O I：

10.4153/CJM-1984-034-4

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：550 / 568

页数：19

共 14 条

EBRAHIMI, MM .

[2]

FOURMAN M, 1979, LECT NOTES MATH, V753, P302, DOI [10.1007/BFb0061824, DOI 10.1007/BFB0061824]

[3]

Freyd P., 1972, B AUST MATH SOC, V7, P1, DOI [10.1017/S0004972700044828, DOI 10.1017/S0004972700044828]

[4]

Higgs D., 1970, B AUST MATH SOC, V3, P65

[5]

HIGGS D, 1973, CATEGORY APPROACH BO

[6]

JOHNSTONE P, 1979, LECT NOTES MATH, V719, P207

[7]

Johnstone P.T., 1977, TOPOS THEORY

[8]

KOCK A, 1971, AARHUS U PREPRINT SE, V25

[9]

LINTON FEJ, 1979, LECTURE NOTES MATH, V719, P196

[10]

LINTON FEJ, 1981, B ACAD POLON SCI SER, V29, P341