Search results
Results from the WOW.Com Content Network
A concrete category is a pair (C,U) such that . C is a category, and; U : C → Set (the category of sets and functions) is a faithful functor.; The functor U is to be thought of as a forgetful functor, which assigns to every object of C its "underlying set", and to every morphism in C its "underlying function".
This category has the following 15 subcategories, out of 15 total. A. Concrete admixtures (18 P) Artworks in concrete (1 C) B. ... Pages in category "Concrete"
These categories of materials and products are used by architects and construction project managers to specify the materials and methods used for building projects. Some building materials like cold rolled steel framing are considered modern methods of construction , [ by whom? ] [ clarification needed ] over the traditionally slower methods ...
As an algebraic theory, one of the advantages of category theory is to enable one to prove many general results with a minimum of assumptions. Many common notions from mathematics (e.g. surjective, injective, free object, basis, finite representation, isomorphism) are definable purely in category theoretic terms (cf. monomorphism, epimorphism).
Set is the prototype of a concrete category; other categories are concrete if they are "built on" Set in some well-defined way. Every two-element set serves as a subobject classifier in Set. The power object of a set A is given by its power set, and the exponential object of the sets A and B is given by the set of all functions from A to B.
Pages in category "Cement" The following 110 pages are in this category, out of 110 total. ... Concrete degradation; Controlled low strength material; D ...
You can find instant answers on our AOL Mail help page. Should you need additional assistance we have experts available around the clock at 800-730-2563.
The following definition translates this to any category. A concrete category is a category that is equipped with a faithful functor to Set, the category of sets. Let C be a concrete category with a faithful functor U : C → Set. Let X be a set (that is, an object in Set), which will be the basis of the free object to be defined.