Skip to search formSkip to main contentSkip to account menu

Cartesian closed category

Known as: CCC, Cartesian closed, Cartesian 
In category theory, a category is considered Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally… 
Wikipedia (opens in a new tab)

Related topics

Related topics

23 relations
ApplyAutomata theoryCategorical abstract machineCategorical logic

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
Let A and B be unital, generating linear subspaces of C*algebras & and ®, respectively. If either & or $ is a GCR algebra, then… 
Highly Cited
2011
Highly Cited
2011
Numerical investigation of laminar and turbulent mixed convection in a shallow water-filled enclosure by various turbulence methods
In this study, we first modeled laminar mixed convection inside rectangular enclosure with moving wall and ‘aspect ratio’ = 10… 
2009
2009
Cartesian Closed Categories of R-Posets
A real-image variable magnification finder includes an objective optical system of positive power, a condenser lens located at an… 
2007
2007
About quotient and division of crisp and fuzzy relations
The role and properties of the division are very well known in the context of queries addressed to regular relational databases… 
Highly Cited
2005
Highly Cited
2005
Coordinate-independent Angle-gathers For Wave Equation Migration
We formulate angle decomposition, during and after wavefield extrapolation, independent of the choice of coordinate systems. The… 
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
An analytical model for the electric characteristics of ultrathin double-gate and surrounding-gate MOSFETs in strong inversion… 
Highly Cited
1995
Highly Cited
1995
Sensitivity of qP-wave traveltimes and polarization vectors to heterogeneity, anisotropy and interfaces
Summary Using ray perturbation theory, a linear relationship is derived that describes the first-order perturbation in… 
Highly Cited
1983
Highly Cited
1983
Joint trajectories of mechanical manipulators for Cartesian path approximation
Methods of joint trajectory generation for mechanical manipulators using X-spline and quartic spline functions are presented. A… 
1981
1981
Accurate Hartree-Fock vibrational branching ratios in 3σg photoionisation of N2
The authors report vibrational branching ratios for resonant photoionisation of N2 leading to the X2 Sigma g+ state of N2+. Their… 
1979
1979
Common Properties of Some Multiattribute File Systems
This paper results from an attempt to unify several different file system design theories. We define a term "partial match… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)