Holomorphy over Finite-dimensional Commutative Associative C-algebras: Local Theory

To a morphism A B of finite-dimensional commutative associative unital Banach C-algebras one can associate a sheaf O_ on the underlying topological space |A| of A consisting of B-valued differentiable functions f with A-linear differential Df. It turns out that this class of functions exhibits a theory very similar to the classical complex analysis of one variable. In this article we give only an overview of some new results concerning the fundamentals of the corresponding local theory while at the same time also strengthen various already existing results scattered throughout the literature.