Mina has the whole categorifications on A-side and B-side, whereas Cautis-Kamnitzer also had some earlier B-side construction. I need to understand the relations.