basics: functoriality of ap
basics: paths-respects-equiv is not quite that simple.
Merge remote branch 'origin/master'