I took it out cause it seemed egregious, but since you're somewhat familiar with the topic, here's a little more to build on: Imagine yourself as a bounded pos

I took it out cause it seemed egregious, but since you're somewhat familiar with the topic, here's a little more to build on: Imagine yourself as a bounded poset if you don't make much money or a bounded proset if you do. By definition, you have both initial and terminal objects, called "bottom" & "top," respectively. For many, this concept may be tricky, as people's heads and asses are often indistinguishable. They're zero objects, so let's not worry about them. Also, don't confuse prosets with brosets (bounded prosets where all tops are fully faithful phalluses, ie. dickheads), as brosets do not preserve meaningful structure. Brosets use the "No homo" identity functor to demonstrate this property ("homo" being the notation for "homomorphism"). But I digress... Identify a path from your bottom to your top. Apply the pullback of energy from the environment to yourself through your bottom and then use the pushout to the next object in the path. Make sure each object is an Abelian category or this won't work, BTW. It helps to sync the movement of your hips with your breathing, also. Same goes for hand gestures. When the energy reaches your top, tighten all of your muscles and hold your breath for the final pushout. I find it helpful to visualize/fantasize a well-defined coeffects system for Idris. (If your comment was serious, Google "energy orgasms" for way more than I can ever explain...I haven't really dug into it yet)