Implicit Structure of Concrete Categories
Given a concrete category (C,U) and a cardinal number N, let UN be the functor C → Set determined by UN(c) = (U(c))N. Then a subfunctor of UN is called an N-ary predicate and a natural transformation UN → U an N-ary operation.
The class of all N-ary predicates and N-ary operations of a concrete category (C,U), with N ranging over the class of all cardinal numbers, forms a large signature. The category of models for this signature then contains a full subcategory which is equivalent to C.
Read more about this topic: Concrete Category
Famous quotes containing the words implicit, structure, concrete and/or categories:
“A piece of advice always contains an implicit threat, just as a threat always contains an implicit piece of advice.”
—José Bergamín (1895–1983)
“It is difficult even to choose the adjective
For this blank cold, this sadness without cause.
The great structure has become a minor house.
No turban walks across the lessened floors.
The greenhouse never so badly needed paint.”
—Wallace Stevens (1879–1955)
“The clock of communism has stopped striking. But its concrete building has not yet come crashing down. For that reason, instead of freeing ourselves, we must try to save ourselves from being crushed by its rubble.”
—Alexander Solzhenitsyn (b. 1918)
“Kitsch ... is one of the major categories of the modern object. Knick-knacks, rustic odds-and-ends, souvenirs, lampshades, and African masks: the kitsch-object is collectively this whole plethora of “trashy,” sham or faked objects, this whole museum of junk which proliferates everywhere.... Kitsch is the equivalent to the “cliché” in discourse.”
—Jean Baudrillard (b. 1929)