search

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
371 stars 22 forks source link

diagrams #155

Closed DanGrayson closed 1 year ago

DanGrayson commented 1 year ago

We should explain what diagrams are, and also get rid of (X->Y->Z) as notation for the composite function.

DanGrayson commented 1 year ago

done in commit 78095b9c6bd92317016448ee74054822a6c9cd4f