Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Seely's paper Locally cartesian closed categories and type theory (Seely 1984) contains a well-known result in categorical type… Expand
Is this relevant?
2009
2009
This paper revisits the authors' notion of a dierential category from a dierent perspective. A dierential category is an additive… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Geometric morphometrics is the statistical analysis of form based on Cartesian landmark coordinates. After separating shape from… Expand
  • table 1
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We present a novel method, which we refer as an integral histogram, to compute the histograms of all possible target regions in a… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We are reaching the end of the second generation of knowledge management, with its focus on tacit‐explicit knowledge conversion… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Abstract An algorithm for extending one-dimensional, forward-in-time, upstream-biased, flux-form transport schemes (e.g., the van… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We show how to construct a model of dependent type theory (category with attributes) from a locally cartesian closed category… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
It is well known that for much of the mathematics of topos theory, it is in fact sufficient to use a category C whose slice… Expand
Is this relevant?
Highly Cited
1983
Highly Cited
1983
The main result of this paper provides a necessary and sufficient condition that the function space [D → D] of a domain… Expand
Is this relevant?
Highly Cited
1969
Highly Cited
1969
In May 1967 I had suggested in my Chicago lectures certain applications of category theory to smooth geometry and dynamics… Expand
Is this relevant?