Using \mathcal for calligraphic representation of categories

hmemcpy / milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

Other

10.99k stars 592 forks source link

Using \mathcal for calligraphic representation of categories #141

Closed hmemcpy closed 6 years ago

hmemcpy commented 6 years ago

Fixes #140

On one hand, it's nice. Also consistent with other texts on category theory, which uses this font for categories. On the other hand, it's a bit weird in this context, as this book is aimed for programmers who may not be accustomed to seeing this font, and it would look out of place (I hadn't done it for everything, just "named" category terms: Hask, Set, Kan, etc.).

@BartoszMilewski, WDYT?

hmemcpy commented 6 years ago

After running an informal twitter poll, I decided against using calligraphic font. Reason mainly being: this book is intended for programmers who may not be familiar with "common" category notation, and may find this style jarring. Let me know if you feel strongly about it either way. Closing for now.