Maxwell's demon
Maxwell's demon is a thought experiment invented by James Maxwell, which can be found in his book[1]. In PKC, Maxwell's demon is abbreviated as MxD.
MxD as a Universal Construct
The simple thought experiment by James Maxwell very much resembles the characteristics of a quantum bit, or qubit. It consists of a device that has two possible states that cannot be immediately determined until some measurements is conducted. The ability to conduct this measurement without distorting the actual state of the system has been extensively discussed and studied, and resulted in major advances in quantum physics, and related to ideas such as information erasure. It was until the late 80s in the twentieth century, that Bennett and others cracked the puzzle for MxD, that it costs energy to extract information.
Proposition: Use Kan Extension to model MxD
Knowing that Kan Extension/Lift pair is the most universal of all universal constructs[2]. This assertion prompts us to map the concept of MxD to Kan Extension. While we are talking about universal constructs, it is necessary to mention that the concept covers not only classical logic, but also reversible logics[3].
References
- ↑ Maxwell, James (1871). Theory of Heat (PDF). local page: Longmans, Gree and Co.
- ↑ Lehner, Marina (2014). "All Concepts are Kan Extensions":Kan Extensions as the Most Universal of the Universal Constructions (PDF) (Bachelor). local page: Harvard College. Retrieved June 28, 2021.
- ↑ References to Reversal Logics