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… 
Highly Cited
2009
Highly Cited
2009
Uniform Ferrite-Loaded Open Waveguide Structure With CRLH Response and Its Application to a Novel Backfire-to-Endfire Leaky-Wave Antenna
A uniform ferrite-loaded open waveguide structure with composite right/left-handed (CRLH) response and its application to a novel… 
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
1994
Highly Cited
1994
Fuzzy relational algebra for possibility-distribution-fuzzy-relational model of fuzzy data
In the real world, there exist a lot of fuzzy data which cannot or need not be precisely defined. We distinguish two types of… 
Highly Cited
1994
Highly Cited
1994
Parallel Variable Distribution
An approach is presented here for solving optimization problems in which the variables are distributed among p processors. Each… 
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… 
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)