start writing about asymmetric delta lenses
write about converting categories to modules
streamline the writing a bit
start writing about the asymmetric delta lens paper
consistent symmetric/asymmetric delta lens arrows
more writing about asymmetric delta lenses