search

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.88k stars 578 forks source link

Redraw commutative diagrams with Tikz #219

Open platipo opened 4 years ago

platipo commented 4 years ago

Fix #214

platipo commented 4 years ago

@BartoszMilewski can you do a little review and give you an opinion?

BartoszMilewski commented 4 years ago

I don't have a good way of viewing these changes

platipo commented 4 years ago

Maybe the book is more useful

category-theory-for-programmers.pdf

BartoszMilewski commented 4 years ago

I had a look at some of the proposed changes and overall I prefer the originals. Sorry!

platipo commented 4 years ago

For simplicity I've added all figures in overleaf and modified them locally.

@BartoszMilewski do you prefer all originals or just some of them?

BartoszMilewski commented 4 years ago

I can see overleaf, but it would be easier if I could see them side-by-side. Could you embed originals? Also, could you split the file--the recompilation tends to time out on large files.

platipo commented 4 years ago

Unfortunately compiling side-by-side would require a gigantic amount of work: uploading the images, creating a side-by-side macro and getting it to work, split various file in various parts...

I'm aware of the slowness caused by compilation and in the future I'm planning to split the thing in various files. For the moment I'm sticking with it because this is the fastest method.

platipo commented 4 years ago

I had a look at some of the proposed changes and overall I prefer the originals. Sorry!

Which are the ones you don't like?

platipo commented 4 years ago

In naturality: Functor F acting on object or morphisms should not use the subscript. It's F a, not F_a, and so on.

So I was writing all formulas wrong, is it $Fa$ in LaTeX?

BartoszMilewski commented 4 years ago

Unfortunately compiling side-by-side would require a gigantic amount of work: uploading the images, creating a side-by-side macro and getting it to work, split various file in various parts... I meant in Overleaf. It's easy to upload and embed pictures. The hard part is finding them, and that's what I'm struggling with.

BartoszMilewski commented 4 years ago

In naturality: Functor F acting on object or morphisms should not use the subscript. It's F a, not F_a, and so on.

So I was writing all formulas wrong, is it $Fa$ in LaTeX?

I write it as $F a$ (with a space)

platipo commented 4 years ago

Unfortunately compiling side-by-side would require a gigantic amount of work: uploading the images, creating a side-by-side macro and getting it to work, split various file in various parts...

I meant in Overleaf. It's easy to upload and embed pictures. The hard part is finding them, and that's what I'm struggling with.

For the moment I added a comment with the image name and I've crated a local index to browse them using symbolic links.

platipo commented 4 years ago

category-theory-for-programmers-g497eda4.pdf

Page modified are:

drupol commented 4 years ago

If you rebase your branch and thanks to #251, you will have the PDFs automatically generated, maybe it would be nice to do it so we can see the result directly in the PDFs ?