You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The Algebra module is misnamed. A purpose of the module is to make contact with conventional computer algebra (hence "algebra"), but category theory is also a branch of algebra, so the name on its own is totally ambiguous. Furthermore, the module has other purposes, such as code generation.
What this module is really about is generating concrete mathematical functions, typically real- or vector-valued, from morphism expressions or wiring diagrams. Currently the focus is on low-dimensional functions, but it could be straightforwardly expanded to include higher-dimensional ones (neural networks).
The new name should somehow reflect this.
The text was updated successfully, but these errors were encountered:
The
Algebra
module is misnamed. A purpose of the module is to make contact with conventional computer algebra (hence "algebra"), but category theory is also a branch of algebra, so the name on its own is totally ambiguous. Furthermore, the module has other purposes, such as code generation.What this module is really about is generating concrete mathematical functions, typically real- or vector-valued, from morphism expressions or wiring diagrams. Currently the focus is on low-dimensional functions, but it could be straightforwardly expanded to include higher-dimensional ones (neural networks).
The new name should somehow reflect this.
The text was updated successfully, but these errors were encountered: