Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Subobject classifier (view)

searching for Subobject 16 found (62 total)

alternate case: subobject

Paramorphism (305 words) [view diff] exact match in snippet view article find links to article

the result value recursively computed from each recursive subobject, but the original subobject itself as well. Example Haskell implementation, for lists:

Short five lemma (254 words) [view diff] exact match in snippet view article find links to article

object B′, and this homomorphism induces an isomorphism from a subobject A of B to a subobject A′ of B′ and also an isomorphism from the factor object B/A

Essential monomorphism (103 words) [view diff] no match in snippet view article find links to article

In mathematics, specifically category theory, an essential monomorphism is a monomorphism i in an abelian category C such that for a morphism f in C, the

Hereditary property (1,698 words) [view diff] exact match in snippet view article find links to article

property of an object that is inherited by all of its subobjects, where the meaning of subobject depends on the context. These properties are particularly

Dominance (C++) (708 words) [view diff] exact match in snippet view article

Child : public Mother, Father { // Mother::Grandparent is not the same subobject as Father::Grandparent void g() { f(2.14, 3.17); } // ambiguous between

Offsetof (929 words) [view diff] exact match in snippet view article find links to article

first being a structure or union name, and the second being the name of a subobject of the structure/union that is not a bit field. It cannot be described

Stable vector bundle (1,891 words) [view diff] exact match in snippet view article find links to article

all proper nonzero subobjects of E. Note that Cohd is a Serre subcategory for any d, so the quotient category exists. A subobject in the quotient category

Space (mathematics) (9,328 words) [view diff] exact match in snippet view article

called a subobject classifier. This subobject classifier functions like the set of all possible truth values. In the topos of sets, the subobject classifier

Injective cogenerator (513 words) [view diff] exact match in snippet view article find links to article

generator. Finding a cogenerator allows one to express every object as a subobject of a direct product of copies of the cogenerator. One is often interested

Five lemma (867 words) [view diff] exact match in snippet view article find links to article

homology or cohomology of a given object, one typically employs a simpler subobject whose homology/cohomology is known, and arrives at a long exact sequence

Assignment operator (C++) (659 words) [view diff] exact match in snippet view article

if a no-fail (no-throw) swap function is available for all the member subobjects and the class provides a copy constructor and destructor (which it should

Cartesian closed category (2,611 words) [view diff] exact match in snippet view article find links to article

→ Y, suppose the following pullback square exists, which defines the subobject of XY corresponding to maps whose composite with p is the identity: Γ

Method cascading (944 words) [view diff] case mismatch in snippet view article find links to article

ExpressionThatReturnsAnObject .SomeFunction(42) .Property = value With .SubObject .SubProperty = otherValue .AnotherMethod(42) End With End With Among newer

Spectral sequence (10,712 words) [view diff] exact match in snippet view article find links to article

d {\displaystyle d} defined on C p + q {\displaystyle C^{p+q}} to the subobject Z r p , q {\displaystyle Z_{r}^{p,q}} . It is straightforward to check

Differential graded algebra (3,162 words) [view diff] exact match in snippet view article find links to article

→ A i ) {\displaystyle \operatorname {im} (d:A_{i+1}\to A_{i})} is a subobject of ker ⁡ ( d : A i → A i − 1 ) {\displaystyle \operatorname {ker} (d:A_{i}\to

Groupoid (6,232 words) [view diff] exact match in snippet view article find links to article

models are a cartesian closed category with natural numbers object and subobject classifier, giving rise to the effective topos introduced by Martin Hyland