Barr

1941

• A general theory of functional calculus