That was the appendix taken from elsewhere, yes, @Frank. That's what @MikeM has been trying to find to read. I gave him the source; he never told me if he found it.
I've taught a lot of that stuff in graduate courses, @Frank, so I have made it through most of it.
@MikeMiller There's actually a "trivial" proof to get examples which work with either orientation. Which is kinda nice. "Trivial" means VERY easy given a VERY standard result, which is not necessairly very easy.
@MikeMiller I am not really arguing for sheaves in particular. I just think there are some people who are amazingly gifted within their specialization, that they rarely need to pull results out of others to get super non-trivial theorems (like say disproving a 30 year old conjecture on knot concordance for an example).
@MikeMiller I read Abouzaid's paper on surfaces for a seminar, and got a lot out of it. There's very little background assumed. The theorems are cute and well-motivated, but there aren't any REAL applications floating around (that I know of).
@MikeMiller The Abouzaid paper I mean (Fukaya Categories of Surfaces or something) is really just for Floer theory of surfaces. Maybe in the the g=1 case this could give 3-dimensional invariants (which wouldn't be interesting anyway) but for higher genus stuff I don't see how. It isn't a Heegard Floer paper really, but I felt like I had some understanding of the Aoo relations of a Fukaya category after reading it.
I think it's the same story you do for every Floer theory. There's a monopole for surfaces that has been in perpetual work for ten years and Lipschitz has a bordered Floer theory.
I think Ciprian has a cornered Floer theory but I don't know where that lives.
Nobody has done this for instantons but I don't think anyone is about to.