Changes

Line 813: Line 813:  
<ol style="list-style-type:lower-latin">
 
<ol style="list-style-type:lower-latin">
   −
<li>In absolute terms, by specifying the domain of objects that fall under its purview.  For the present, I assume that each OM inherits the same object domain ''X'' from its governing OG.</li>
+
<li>In absolute terms, by specifying the domain of objects that fall under its purview.  For the present, I assume that each OM inherits the same object domain <math>X\!</math> from its governing OG.</li>
    
<li>In relative terms, by specifying a converse pair of dyadic relations that (redundantly) determine two sets of facts:</li>
 
<li>In relative terms, by specifying a converse pair of dyadic relations that (redundantly) determine two sets of facts:</li>
Line 840: Line 840:  
| <math>G = \{ (j, x, y) \} \subseteq J \times X \times X .</math>
 
| <math>G = \{ (j, x, y) \} \subseteq J \times X \times X .</math>
 
|}
 
|}
  −
For some reason the ultimately obvious method seldom presents itself exactly in this wise without diligent work on the part of the inquirer, or one who would arrogate the roles of both its former and its follower.  Perhaps this has to do with the problematic role of ''synthetic a priori'' truths in constructive mathematics.  Perhaps the mystery lies encrypted, no doubt buried in some obscure dead letter office, due to the obliterate indicia on the letters "P", "Q", and "X" inscribed above.  No matter &mdash; at the moment there are far more pressing rounds to make.
      
Given an objective genre <math>G\!</math> whose motives are indexed by a set <math>J\!</math> and whose objects form a set <math>X\!</math>, there is a triadic relation among a motive and a pair of objects that exists when the first object belongs to the second object according to that motive.  This is called the ''standing relation'' of the genre, and it can be taken as one way of defining and establishing the genre.  In the way that triadic relations usually give rise to dyadic operations, the associated ''standing operation'' of the genre can be thought of as a brand of assignment operation that makes one object belong to another in a certain sense, namely, in the sense indicated by the designated motive.
 
Given an objective genre <math>G\!</math> whose motives are indexed by a set <math>J\!</math> and whose objects form a set <math>X\!</math>, there is a triadic relation among a motive and a pair of objects that exists when the first object belongs to the second object according to that motive.  This is called the ''standing relation'' of the genre, and it can be taken as one way of defining and establishing the genre.  In the way that triadic relations usually give rise to dyadic operations, the associated ''standing operation'' of the genre can be thought of as a brand of assignment operation that makes one object belong to another in a certain sense, namely, in the sense indicated by the designated motive.
12,080

edits