Home | About | Tools
home » context search » equational

Search within these results

adjoint
adjointness
algebra
algebraic
ask
associativity
axioms
backus
barendregt
birkhoff
burris
calculus
caml
cartesian
category
characterizing
class
closed
closure
collection
commutative
compactly
continous
continuous
cpo
curried
currying
defined
direct
eilenberg
empty
equational
equationally
equations
exponential
finitary
finite
forgetful
frölicher
function
functor
groups
hom
homomorphic
hsp
identities
identity
inversion
jipsen
lambda
lattices
maps
monadic
monoidal
morphism
multiplication
natural
noticing
object
operations
product
programming
pseudovarieties
pseudovariety
regrettable
retrospect
sankappanavar
satisfies
satisfying
scott
semigroup
sets
signature
smooth
spaces
springer
subalgebra
subvariety
terminal
theorem
theory
topoi
topological
topology
transformations
typed
universal
varieties
variety
vector
verlag

Matching Pages (2 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...

Variety (universal algebra) - Wikipedia

In the context of category theory , a variety of algebras is usually called a finitary algebraic category . A variety of algebras should not be con...

About Us | Feedback | Contact Us | ©2007 Trailfire Inc. All rights reserved.