https://pages.uoregon.edu/lipshitz/bfh/mathematics/index.html The mathematics underlying bfh_python This is a brief introduction to bordered Floer homology and Zhan’s extension of it, to help with using the bfh_python package. For more details, see the references below. The basics bfh_python computes HF-hat by a divide and conquer algorithm. Roughly, to a closed surface F it associates a differential algebra A(F). To a 3-manifold Y with boundary F, it associates a right A(F)-module CFA(Y) and a left A(-F)-module CFD(Y). More generally, to a 3-dimensional cobordism Y from F1 to F2 it associates a bimodule CFDA(Y). Hugo en-us lipshitz@uoregon.edu (Robert Lipshitz) lipshitz@uoregon.edu (Robert Lipshitz)