INITIALLY STRUCTURED CATEGORIES AND CARTESIAN CLOSEDNESS

被引：46

|

作者：

NEL, LD ^{[1
]}

机构：

[1] CARLETON UNIV,OTTAWA,ONTARIO,CANADA

来源：

CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES | 1975年 / 27卷 / 06期

关键词：

D O I：

10.4153/CJM-1975-139-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1361 / 1377

页数：17

相关论文

共 50 条

[41] CARTESIAN CLOSED CATEGORIES OF ALGEBRAIC CPOS
JUNG, A
THEORETICAL COMPUTER SCIENCE, 1990, 70 (02) : 233 - 250
[42] Exponential Functions in Cartesian Differential Categories
Lemay, Jean-Simon Pacaud
APPLIED CATEGORICAL STRUCTURES, 2021, 29 (01) : 95 - 140
[43] Jacobians and Gradients for Cartesian Differential Categories
Lemay, Jean-Simon Pacaud
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (372): : 29 - 42
[44] COHERENCE THEOREM FOR CARTESIAN CLOSED CATEGORIES
MINC, GE
JOURNAL OF SYMBOLIC LOGIC, 1979, 44 (03) : 453 - 454
[45] Univalence in locally cartesian closed ∞-categories
Gepner, David
Kock, Joachim
FORUM MATHEMATICUM, 2017, 29 (03) : 617 - 652
[46] CARTESIAN CLOSURE - HIGHER TYPES IN CATEGORIES
POIGNE, A
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 240 : 58 - 75
[47] Homotopy cartesian squares in extriangulated categories
He, Jing
Xie, Chenbei
Zhou, Panyue
OPEN MATHEMATICS, 2023, 21 (01): : 119 - 221
[48] Cartesian closed categories of FƵ-domains
Min Liu
Bin Zhao
Acta Mathematica Sinica, English Series, 2013, 29 : 2373 - 2390
[49] Partial Horn logic and cartesian categories
Palmgren, E.
Vickers, S. J.
ANNALS OF PURE AND APPLIED LOGIC, 2007, 145 (03) : 314 - 353
[50] Cartesian-closedness and subcategories of (L, M)-fuzzy Q-convergence spaces
Bin Pang
Lin Zhang
Soft Computing, 2021, 25 : 11459 - 11469

← 1 2 3 4 5 →