Editing Function (mathematics) (section)

=== Specialized notations ===
There are other, specialized notations for functions in sub-disciplines of mathematics.  For example, in [[linear algebra]] and [[functional analysis]], [[linear form]]s and the [[Vector (mathematics and physics)|vectors]] they act upon are denoted using a [[dual pair]] to show the underlying [[Duality (mathematics)|duality]].  This is similar to the use of [[bra–ket notation]] in quantum mechanics.  In [[Mathematical logic|logic]] and the [[theory of computation]], the function notation of [[lambda calculus]] is used to explicitly express the basic notions of function [[Abstraction (computer science)|abstraction]] and [[Function application|application]].  In [[category theory]] and [[homological algebra]], networks of functions are described in terms of how they and their compositions [[Commutative property|commute]] with each other using [[commutative diagram]]s that extend and generalize the arrow notation for functions described above.