home » context search » cpos

Search within these results

adjoint
adjointness
applications
apply
ask
associativity
backus
barendregt
bijection
calculus
caml
cartesian
category
closed
compactly
consciously
continous
continuous
cpo
cpos
curried
currying
defined
empty
equational
exponential
finite
frölicher
function
functor
hom
iff
lambda
maps
modelled
monoidal
morphism
natural
naturally
notation
noticing
object
product
programming
realization
regrettable
retrospect
scott
sets
smooth
spaces
terminal
theory
topoi
topological
topology
transformations
typed
vector

Matching Pages (1 found; page 1 of 1)

Cartesian closed category - Wikipedia

G -sets are nothing but functors from this category to Set The category of all directed graphs is cartesian closed; this is a functor category as e...