%0 Journal Article %A Walsh, Patrick %D 2017 %I Cambridge University Press (Cup) %J Review of Symbolic Logic %N 2 %P 301-321 %T Categorical harmony and path induction %V 10