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)