1: \begin{definition}[Bicategory of modules over coisotropic algebras]

2:     \label{definition:BicategoryModulesCoisotropicAlgebras}

3:     The bicategory with co\-iso\-tropic triples of algebras as

4:     0-morphisms, bimodules over coisotropic triples of algebras as

5:     1-morphisms and morphisms between such bimodules as 2-morphisms

6:     from Theorem~\ref{theorem:BicategoryModulesCoisotropicAlgebras} is

7:     called the bicategory of coisotropic triples and will be denoted

8:     by $\CoisoBimodTriple$.  Similarly, the bicategory of coisotropic

9:     pairs of algebras, bimodules over coisotropic pairs, and bimodule

10:     morphisms is called the bicategory of coisotropic pairs and will

11:     be denoted by $\CoisoBimodPair$.

12: \end{definition}

13: