Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,842,715 papers from all fields of science
Search
Sign In
Create Free Account
Cartesian closed category
Known as:
CCC
, Cartesian closed
, Cartesian
Expand
In category theory, a category is considered Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
23 relations
Apply
Automata theory
Categorical abstract machine
Categorical logic
Expand
Broader (1)
Lambda calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Tensor Products Of C*-algebras
M. A. Brodie
2015
Corpus ID: 115149502
Let A and B be unital, generating linear subspaces of C*algebras & and ®, respectively. If either & or $ is a GCR algebra, then…
Expand
2014
2014
Cartesian closed categories are distributive
M. Benini
2014
Corpus ID: 119338199
A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive…
Expand
Highly Cited
2011
Highly Cited
2011
Numerical investigation of laminar and turbulent mixed convection in a shallow water-filled enclosure by various turbulence methods
M. Safaei
,
H. Goshayeshi
,
B. Razavi
,
M. Goodarzi
2011
Corpus ID: 130384001
In this study, we first modeled laminar mixed convection inside rectangular enclosure with moving wall and ‘aspect ratio’ = 10…
Expand
2009
2009
Cartesian Closed Categories of R-Posets
Li-Gang Wu
,
Lei Fan
International Conference on Foundations of…
2009
Corpus ID: 41845429
A real-image variable magnification finder includes an objective optical system of positive power, a condenser lens located at an…
Expand
2007
2007
About quotient and division of crisp and fuzzy relations
P. Bosc
,
O. Pivert
,
D. Rocacher
Journal of Intelligence and Information Systems
2007
Corpus ID: 23693723
The role and properties of the division are very well known in the context of queries addressed to regular relational databases…
Expand
Highly Cited
2005
Highly Cited
2005
Coordinate-independent Angle-gathers For Wave Equation Migration
P. Sava
,
Sergey Fomel
2005
Corpus ID: 28668191
We formulate angle decomposition, during and after wavefield extrapolation, independent of the choice of coordinate systems. The…
Expand
Highly Cited
2001
Highly Cited
2001
A Comparative Study of Double-Gate and Surrounding-Gate MOSFETs in Strong Inversion and Accumulation Using an Analytical Model
Y. Chen
,
J. Luo
2001
Corpus ID: 8843012
An analytical model for the electric characteristics of ultrathin double-gate and surrounding-gate MOSFETs in strong inversion…
Expand
Highly Cited
1983
Highly Cited
1983
Joint trajectories of mechanical manipulators for Cartesian path approximation
Chun-Shin Lin
,
P. Chang
IEEE Transactions on Systems, Man and Cybernetics
1983
Corpus ID: 23243050
Methods of joint trajectory generation for mechanical manipulators using X-spline and quartic spline functions are presented. A…
Expand
1981
1981
Accurate Hartree-Fock vibrational branching ratios in 3σg photoionisation of N2
R. Lucchese
,
V. McKoy
1981
Corpus ID: 46300292
The authors report vibrational branching ratios for resonant photoionisation of N2 leading to the X2 Sigma g+ state of N2+. Their…
Expand
1981
1981
Construction of Cartesian closed topological hulls
J. Adámek
,
G. Strecker
1981
Corpus ID: 59326608
H. Herrlich and L.D. Nel proved that any category which has a cartesian closed topological extension, preserving finite products…
Expand