instantiation Examples
EN
[-eɪʃən] - Examples of instantiation
- This is an example of newless instantiation.
- Examples of instantiations
- Considering the set of 15 axioms given in the "Predicate Calculus" article of the Encyclopedia of Mathematics, axioms 12 and 14 may be construed as stating that is the categorical product of all of the instantiations of φ. Likewise, dually, axioms 13 and 15 may be construed as stating that is the categorical coproduct of all of the instantiations of φ. (Axiom 12 would give the projection morphisms, Axiom 13 the inclusion morphisms, and Axioms 14 and 15 the universal properties.)
Examples of instantiation in a Sentence
Source: Wiktionary