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

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

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

Universal cones Limits and colimits are defined as universal cones . That is, cones through which all other cones factor. A cone ? from L to F is a...

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

Some authors call these spaces quasicompact and reserve compact for Hausdorff spaces where every open cover has finite subcover. Compact spaces are...

Equivalently, it is a relatively open subset of its closure. Locally compact A space is locally compact if every point has a local base consisting ...