Teoria algemetrica de categorias Graceli.

Categoria de primeiro grau para n-binários sem expoente de função.

Rn,   [lGv] p/pP. ⇔ [[+, -, /, *, e, P,] {[p/pP, f[sf] p[ts]/p[ts]P [n]}

Rn,  [lGv] p/pP. ≁ [[+, -, /, *, e, P,] {[p/pP, f[sf] p[ts]/p[ts]P [n]}

Rn,   [lGv] p/pP. ⇔[+,/,*] ≁ [[+, -, /, *, e, P,] {[p/pP, f[sf] p[ts]/p[ts]P [n]}

Rn, μ Δ  [lGv] p/pP. ⇔ [[+, -, /, *, e, P,] {[p/pP, f[sf] p[ts]/p[ts]P [n]}

Rn, μ Δ  [lGv] p/pP. ≁ [[+, -, /, *, e, P,] {[p/pP, f[sf] p[ts]/p[ts]P [n]}

Rn, μ Δ  [lGv] p/pP. ⇔[+,/,*] ≁ [[+, -, /, *, e, P,] {[p/pP, f[sf] p[ts]/p[ts]P [n]}

Categoria secundária. [com expoente de função].

                             Logw/w [n]                           logk/k [n]

Rn, μ Δ  [lGv] p/pP. ⇔ [[+, -, /, *, e, P,] {[p/pP, f[sf] p[ts]/p[ts]P [n]}

 

                         Logw/w [n]                           logk/k [n]

Rn, μ Δ  [lGv] p/pP. ≁ [[+, -, /, *, e, P,] {[p/pP, f[sf] p[ts]/p[ts]P [n]}

                         Logw/w [n]                                     logk/k [n]

Rn, μ Δ  [lGv] p/pP. ⇔[+,/,*] ≁ [[+, -, /, *, e, P,] {[p/pP, f[sf] p[ts]/p[ts]P [n]}

Categoria terciária. Com expoentes com média de sequência de termos + [somado com outras funções]

[a]    Rn, μ Δ  Logw/w [n] [+,*,/] [p/pP,][n]       

[b]      Rn, μ Δ  logk/k [n] [+,*,/] [p/pP,][n]

                                [a]                                    [b]

Rn, μ Δ  [lGv] p/pP. ≁ [[+, -, /, *, e, P,] {[p/pP, f[sf] p[ts]/p[ts]P [n]}

                         Logw/w [n]  [a]                                   logk/k [n][b]

Rn, μ Δ  [lGv] p/pP. ⇔[+,/,*] ≁ [[+, -, /, *, e, P,] {[p/pP, f[sf] p[ts]/p[ts]P [n]}

Números reais, média graceli variável até limite x, ou limite x + [mais] continuação com função

Função geral para teoria dos subanéis de Graceli.

μ Δ  f[sf] [n] Rn, [+, -, /, *, e, P, ≁, ⇔, n] μ Δ  f[sf] [n] p/pP [+, -, /, *, e, P, ≁, ⇔ n.]  p/pP.

e = expoente. P = progressão.

Rn = conjuntos dos reais num processo ínfimo.

Função geral para teoria dos subanéis de Graceli.

μ Δ  f[sf] [n] Rn, [+, -, /, *, e, P,  [n-dimf[sf] [n] p/pP [+, -, /, *, e, P, ≁, ⇔ n.]  p/pP, f[sf] p[ts]/p[ts]P [n] [n]

e = expoente. P = progressão.

Progressão para termos de sequências.

Rn = conjuntos dos reais num processo ínfimo.

μ Δ  f[sf] [n] Rn, [+, -, /, *, e, P, ≁, ⇔, n] μ Δ  f[sf] [n] p/pP [+, -, /, *, e, P, ≁, ⇔ n.]  p/pP, f[sf] p[ts]/p[ts]P [n] [n], [m, t, o][n].    adim [+, -, /, *, e, P, ≁, ⇔ n.]  bdim  [+, -, /, *, e, P, ≁, ⇔ n.]  cdim [n].

≁, ⇔ = estes dois símbolos devem ser usados conforme o Graceli os utiliza, e não de outros usos pela álgebra.