█████████████ ███████ (██████ das ██████████)

Na ██████████, mais ████████████ ██████ das ██████████, uma █████████████ ███████ entre █████████ █████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é uma ███████ de █████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ████████████ ██████ █████████. O ████████ pode ser █████ para ███ um ███████████ ████████ a ██████████ como "███████" e "████████".

Se ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ███ █████████ entre ██████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ e ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, uma █████████████ ███████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\dot{\to }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ é uma ███████ de █████████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ para ████ ██████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ de ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, ████████ ███████████, ████████████, para ████ ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ em ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ a ████████ de ████████████:

$${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\circ \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\circ {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}.}$$

Pode-se █████████ essa █████████ como o ████████ ██████████:

Quando isso ████, ███-se que ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ é ███████ em ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$; essa █████████ █████ █████████ a ████ dos █████████ nos █████████ da █████████ █. As ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\Rightarrow \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ e ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}:\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}⇝\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ██████ ███ ██████.

Um ███████████ ███████ é uma █████████████ ███████ █████ ███████████ ███ ████████████.

█████ ██████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>},\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, █████ a █████████ dos █████████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$, █████ ███████ ███ os █████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$, e █████ █████████ ███ as ██████████████ ████████ entre esses █████████.

• ██ ████████ ███████ de ████ ██████ ████████ (sobre um █████ ████████) ao ██████ ████ de seu ████. Mais ████████████, os ███████████ ██_█ : █ → █^∗∗, para ████ ██████ ████████ █, █████████ por ██_█(█) = (█ ∈ █^∗) ↦ █(█), ██████ uma █████████████ ███████ █ ⇒ (█)^∗∗; a ████████ de ████████████ ██████-se à █████████$${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\ast \ast }\circ {\mathrm{a}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}={\mathrm{a}\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\circ \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$$para ████ ██████████ ██████ █ : █ → █, onde █^∗∗(█ ∈ █^∗∗) = (█ ∈ █^∗) ↦ █(█ ∘ █).
• A █████ █████████████ ███████ █ ⇒ █, em que █ é o ███████ na █████████ dos ███████ █████████ ████████ por$${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\stackrel{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}{\to }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\otimes \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\stackrel{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\otimes {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\prime }\mapsto \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\otimes \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}({\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}^{\prime })}{\to }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\otimes \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$$em que ${\displaystyle \otimes }$ ██████ o ███████ █████████, é aquela █████ ███████████ ███ os ███████████ █████. ██████████████, ████████ █████████ de ██████████ ██████ ███ ████ █ → █ ⊗ █ "███████" de um ████ para █, ████ ███ pode ser █████ ████████████ para █████ os ███████ █████████.
• █████████ de ███████ em █████████ de um ████████ ████ █ é uma █████████████ ███████. Mais ████████████, █████████-se por █^█ o ████████ de ███████ █ → █, as ██████████ e_█ : █^█ × █ → █, para ████ █ ████████, █████████ por e_█(█, █) = █(█), ██████ uma █████████████ ███████ (█)^█ × █ ⇒ █.
• O ███████ da █████████████ de █████–██████–████████ pode ser ██████████ como um ███████████ ███████ entre █████████ ███████ ███████ █████████ de █████████ a ███████ de ██████.

███████████