in this article, we have shown, for the add-point monad t, thepartial morphism category set*is isomorphic to the kleisli category sett. alsowe have proved that the category, sett, of t-algebras is isomorphic to thecategory set of pointed sets. finally we have established commutative squaresinvolving these categories.

Frölicher and Nijenhuis recognized well in the middle of the previous century that the Lie bracket and its Jacobi identity could and should exist beyond Lie algebras. Nevertheless, the conceptual status of their discovery has been obscured by the genuinely algebraic techniques they exploited. The principal objective in this paper is to show that the double dualization functor in a Cartesian clo...

Concepts from category theory are used to guide the design process of numerical software. The main ideas of the proposed design techniques are presented and evaluated using the parallel algebraic multigrid algorithm as a test case.