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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1969-2017
010203019692017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
We show that a version of Martin-Löf type theory with extensional identity, a unit type N1,Σ,Π, and a base type is a free… (More)
Is this relevant?
2006
2006
In May 1967 I had suggested in my Chicago lectures certain applications of category theory to smooth geometry and dynamics… (More)
Is this relevant?
2006
2006
  • Samy Abbes
  • Discrete Mathematics & Theoretical Computer…
  • 2006
We introduce a new class of morphisms for event structures. The category obtained is cartesian closed, and a natural notion of… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
A conjecture of Smyth is discussed which says that if D and [D → D] are effectively algebraic directed-complete partial orders… (More)
Is this relevant?
2004
2004
Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections… (More)
Is this relevant?
2003
2003
First, we briefly recall the main definitions of the theory of Information Bases and Translations. These mathematical structures… (More)
Is this relevant?
1996
1996
Berry's category of dI-domains with stable functions is a relatively intricate , yet elegant framework for semantics of… (More)
Is this relevant?
1986
1986
The inspiration for this paper is a result proved by Michael Smyth which states that Gordon Plotkin's category SFP is the largest… (More)
  • figure 1
  • figure 2
Is this relevant?
1985
1985
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… (More)
Is this relevant?
Highly Cited
1983
Highly Cited
1983
0. Introduction. I t is well known that for much of the mathematics of topos theory, it is in fact sufficient to use a category C… (More)
Is this relevant?