12,089
edits
Changes
→Table 58. Cast of Characters: Expansive Subtypes of Objects and Operators
| valign="top" | ['''B'''<sup>''k''</sup> × '''D'''<sup>''k''</sup>]
| valign="top" | ['''B'''<sup>''k''</sup> × '''D'''<sup>''k''</sup>]
|-
|-
| ''J''
| ''F''
| ''J'' : ''U'' → '''B'''
| ''F'' = ‹''f'', ''g''› : ''U''<sup> •</sup> → ''X''<sup> •</sup>
| Transformation, or Mapping
| Transformation, or Mapping
| ['''B'''<sup>2</sup>] → ['''B'''<sup>1</sup>]
| ['''B'''<sup>''n''</sup>] → ['''B'''<sup>''k''</sup>]
|-
|-
| valign="top" |
| valign="top" |
<pre>
<pre>
-------------o
-------------o
| | f, g : U -> B | Proposition, | B^n -> B |
| | f, g : U -> B | Proposition, | B^n -> B |