Home | About | Tools
home » context search » cartesian

Search within these results

abelian
additive
adjoint
assigns
associativity
auto
biproduct
braided
cartesian
categorical
category
closed
cocomplete
cogenerator
cokernel
colimit
comma
commutative
commute
composition
concrete
contravariant
coproduct
covariant
currying
defined
definition
diagram
empty
enriched
equivalently
exact
exponential
faithful
finite
forgetful
function
functor
gives
grp
hom
homomorphisms
identity
injective
internal
left
lemma
limit
locally
mag
magma
maps
medial
mod
monad
monoid
monoidal
monomorphisms
monotonic
morphism
natural
naturally
notations
notion
object
operation
ord
pair
pointed
preadditive
preordered
product
projective
representable
selecting
sets
slice
spaces
symmetric
tensor
terminal
theoretic
theory
topoi
topology
topos
transformation
underlying
usual
vector
yoneda

Matching Pages (12 found; page 1 of 1)

Enriched category - Wikipedia

If there is a monoidal functor from a monoidal category M to a monoidal category N , then any category enriched over M can be reinterpreted as a ca...

Closed monoidal category - Wikipedia

Namely, we can demand the existence of a tensor product that is left adjoint to the internal Hom functor . In this approach, closed monoidal catego...

Hom functor - Wikipedia

Yoneda's lemma asserts that every natural transformation between Hom functors is of this form. In other words, the Hom functors give rise to a full...

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...

List of category theory topics - Wikipedia

Subcategory Faithful functor Full functor Forgetful functor Yoneda lemma Representable functor Functor category Adjoint functors Galois connection ...

Monoid (category theory) - Wikipedia

Set (with the monoidal structure induced by the cartesian product) is a monoid in the usual sense. A monoid object in Top (with the monoidal struct...

Comma category - Wikipedia

Limits and universal morphisms Colimits in comma categories may be "inherited". If and are cocomplete, is a cocontinuous functor, and another funct...

Category of preordered sets - Wikipedia

Category of preordered sets - Wikipedia, the free encyclopedia Category of preordered sets From Wikipedia, the free encyclopedia Jump to: navigatio...

Auto magma object - Wikipedia

Auto magma object - Wikipedia, the free encyclopedia Auto magma object From Wikipedia, the free encyclopedia   (Redirected from Magma object ) Jump...

Category of abelian groups - Wikipedia

Ab is injective if and only if it is divisible ; it is projective if and only if it is a free abelian group. The category has a projective generato...

Cartesian Self - Wikipedia, the free encyclopedia

Cartesian Self - Wikipedia, the free encyclopedia Cartesian Self From Wikipedia, the free encyclopedia Jump to: navigation , search The Cartesian S...

List of operators - Wikipedia

Intrinsic y = r ( s ) s = t Parametric Cartesian x = x ( t ) y = y ( t ) Involute Parametric Cartesian x = x ( t ) y = y ( t ) Pedal curve with ped...

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