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
2014
Highly Cited
2014
Consensus in multi-expert decision making problems using penalty functions defined over a Cartesian product of lattices
Highly Cited
2013
Highly Cited
2013
Sensorless Control of Synchronous Machines Based on Direct Speed and Position Estimation in Polar Stator-Current Coordinates
This paper proposes a sensorless control scheme for a surface-mounted permanent-magnet synchronous machine (PMSM) based on the… 
2009
2009
Generalized Continuous Posets and a New Cartesian Closed Category
With every subset selection $\mathcal {Z}$ for posets, there is associated a certain ideal completion $\mathcal {Z}^\triangle… 
Highly Cited
2008
Highly Cited
2008
A Fuzzy Qualitative Framework for Connecting Robot Qualitative and Quantitative Representations
This paper proposes a novel framework for describing articulated robot kinematics motion with the goal of providing a unified… 
Highly Cited
2005
Highly Cited
2005
Shadow flow: a recursive method to learn moving cast shadows
We present a novel algorithm to detect and remove cast shadows in a video sequence by taking advantage of the statistical… 
Highly Cited
1997
Highly Cited
1997
Solar Interface Dynamos. I. Linear, Kinematic Models in Cartesian Geometry
We describe a simple, kinematic model for a dynamo operating in the vicinity of the interface between the convective and… 
1992
1992
Failure of Cartesian closedness in NF
On any reasonable definition of functions, neither the category of sets nor the category of small categories is cartesian closed… 
1985
1985
Cartesian closed Categories and Lambda- calculus
  • G. Huet
  • Combinators and Functional Programming Languages
  • 1985
  • Corpus ID: 206613577
Thus a term may be a natura l number, or may be of the form [ A ] M with A an object and M a term, or may be of the form ( M N… 
1985
1985
Cartesian Closed Categories, Quasitopoi and Topological Universes
For a concrete, topological category K over a suitable base category, the interrelationship of the concepts in the title is… 
Review
1983
Review
1983
Our discrete-Kirchhoff and isoparametric shell elements for nonlinear analysis—An assessment
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)