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

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

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

I. Heim and A. Kratzer (1998). Semantics in Generative Grammar . Blackwell. [ edit ] External links Look up currying in Wiktionary , the free dicti...

Final topology - Wikipedia, the free encyclopedia Final topology From Wikipedia, the free encyclopedia Jump to: navigation , search In general topo...

T 0 spaces is T 0 Every product of T 1 spaces is T 1 Every product of Hausdorff spaces is Hausdorff [1] Every product of regular spaces is regular ...

Complete algebraic variety - Wikipedia, the free encyclopedia Complete algebraic variety From Wikipedia, the free encyclopedia   (Redirected from C...

P. Freyd [1] ) if it contains all the objects of C . A lluf subcategory is typically not full: the only full lluf subcategory of a category is that...

See finite morphism . The morphism f is locally of finite type if Y may be covered by affine open sets Spec B such that each inverse image f ? 1 (S...

For non first-countable spaces, sequential continuity might be strictly weaker than continuity. (The spaces for which the two properties are equiva...

While all these conditions are equivalent for metric spaces , in general we have the following implications: Compact spaces are countably compact. ...

Alexandrov spaces can be viewed as a generalization of finite topological spaces . Contents 1 Characterizations of Alexandrov topologies 2 Duality ...