INITIALLY STRUCTURED CATEGORIES AND CARTESIAN CLOSEDNESS

被引:46
|
作者
NEL, LD [1 ]
机构
[1] CARLETON UNIV,OTTAWA,ONTARIO,CANADA
关键词
D O I
10.4153/CJM-1975-139-9
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:1361 / 1377
页数:17
相关论文
共 50 条
  • [21] Cartesian Differential Categories as Skew Enriched Categories
    Richard Garner
    Jean-Simon Pacaud Lemay
    Applied Categorical Structures, 2021, 29 : 1099 - 1150
  • [22] Cartesian effect categories are Freyd-categories
    Dumas, Jean-Guillaume
    Duval, Dominique
    Reynaud, Jean-Claude
    JOURNAL OF SYMBOLIC COMPUTATION, 2011, 46 (03) : 272 - 293
  • [23] Cartesian Integral Categories and Contextual Integral Categories
    Cockett, J. R. B.
    Lemay, J-S.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 341 : 45 - 72
  • [24] Cartesian Differential Categories as Skew Enriched Categories
    Garner, Richard
    Lemay, Jean-Simon Pacaud
    APPLIED CATEGORICAL STRUCTURES, 2021, 29 (06) : 1099 - 1150
  • [25] CARTESIAN DIFFERENTIAL STORAGE CATEGORIES
    Blute, R.
    Cockett, J. R. B.
    Seely, R. A. G.
    THEORY AND APPLICATIONS OF CATEGORIES, 2015, 30 : 620 - 686
  • [26] Cartesian closed Dialectica categories
    Biering, Bodil
    ANNALS OF PURE AND APPLIED LOGIC, 2008, 156 (2-3) : 290 - 307
  • [27] CARTESIAN CLOSED DOUBLE CATEGORIES
    Niefield, Susan
    THEORY AND APPLICATIONS OF CATEGORIES, 2024, 40
  • [28] ABSTRACT FAMILIES FOR CARTESIAN CATEGORIES
    PARE, R
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (07): : A718 - A719
  • [29] Cartesian differential categories revisited
    Cruttwell, G. S. H.
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017, 27 (01) : 70 - 91
  • [30] Cartesian closed stable categories
    Liu, N
    Li, SG
    INFORMATION SCIENCES, 2005, 171 (1-3) : 173 - 187