path composition figure

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Creative Commons Attribution Share Alike 4.0 International

378 stars 22 forks source link

path composition figure #134

Open DanGrayson opened 2 years ago

DanGrayson commented 2 years ago

In this figure, it will seem odd to the student that the composed path doesn't lie on its two components.