In category theory, a Kleisli category is a category naturally associated to any monad T. It is equivalent to the category of free T-algebras. The Kleisli category is one of two extremal solutions to the question Does every monad arise from an adjunction? The other extremal solution is the Eilenberg–Moore category. Kleisli categories are named for the mathematician Heinrich Kleisli. (Wikipedia). This is an example of classical definitions for category theory. But it’s not so scary.

Clojure is a modern, dynamic, and functional dialect of the Lisp programming language on the Java platform. Like other Lisp dialects, Clojure treats code as data and has a Lisp macro system. The current development process is community-driven, overseen by Rich Hickey as its benevolent dictator for life (BDFL).

Category theory is a high level language or abstraction (the highest at this moment), that describes relationships between different objects, but does not pay attention to their structure.