Skip to search formSkip to main contentSkip to account menu
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.
Highly Cited
2006
Highly Cited
2006
This paper describes two digital implementations of a new mathematical transform, namely, the second generation curvelet… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2002
Highly Cited
2002
  • C. Peskin
  • Acta Numerica
  • 2002
  • Corpus ID: 53517954
This paper is concerned with the mathematical structure of the immersed boundary (IB) method, which is intended for the computer… Expand
Highly Cited
2001
Highly Cited
2001
Medium basis sets based upon contractions of Gaussian primitives are developed for the third‐row elements Ga through Kr. The… Expand
Highly Cited
1998
Highly Cited
1998
In this paper, we bring techniques from operations research to bear on the problem of choosing optimal actions in partially… Expand
  • figure 15
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
Highly Cited
1988
Highly Cited
1988
1. Measures of Possibility and Fuzzy Sets.- 1.1. Imprecision and Uncertainty.- 1.2. Traditional Models of Imprecision and… Expand
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
Highly Cited
1984
Highly Cited
1984
Abstract Results of an extensive comparison of numerical methods for simulating hydrodynamics are presented and discussed. This… Expand
  • figure 1
  • figure 2
  • figure 2
  • figure 2
  • figure 4
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
Review
1968
Review
1968
  • D. Shepard
  • ACM National Conference
  • 1968
  • Corpus ID: 42723195
In many fields using empirical areal data there arises a need for interpolating from irregularly-spaced data to produce a… Expand