Notes for AKT-091001-1/0:23:38

Prop: $\mathcal{D}^c \rightarrow \mathcal{D}^t$ under inclusion. The inclusion descends to an isomorphism from $\mathcal{A}$ to $\mathcal{A}^t$ (in particular the map is well defined under the equivalence relations modded out)