Post #2982619

@matt@istheguy.com @coolsquid@438punk.house there's a couple technical errors around my implication morphism's relationship with linear logic in this piece, that i've cleaned up in subsequent drafts, but I have a deeper treatment of these concepts available for anyone curious (and bored) https://emsenn.net/library/domains/science/domains/information/texts/the-adjoint-structure-of-predication-on-bilattice-valued-fibers/