Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,164,650 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
2009
2009
Hyperbolic RDM for Nonlinear Valumetric Distortions
P. Guccione
,
M. Scagliola
IEEE Transactions on Information Forensics and…
2009
Corpus ID: 16786392
Quantization-based watermarking techniques are sensitive to valumetric scaling, a wide class of distortions applied to images and…
Expand
2003
2003
Constructing Anisotropic Geometric Metrics using Octrees and Skeletons
K. Tchon
,
Mohammed Khachan
,
F. Guibault
,
R. Camarero
International Meshing Roundtable Conference
2003
Corpus ID: 2586167
A three-dimensional anisotropic metric for geometry-based mesh adaptation is constructed from a triangulated domain definition…
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
Yi-Jiang Chen
,
Jian-Feng Luo
2001
Corpus ID: 8843012
An analytical model for the electric characteristics of ultrathin double-gate and surrounding-gate MOSFETs in strong inversion…
Expand
Review
1992
Review
1992
A new navigation concept for mobile vehicles
R. Gutsche
,
F. Wahl
Proceedings IEEE International Conference on…
1992
Corpus ID: 37116066
A hierarchical navigation system which delivers paths with continuous curvature for rectangularly-modeled vehicles is proposed…
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
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