Quick
index
main
eev
eepitch
maths
angg
blogme
dednat6
littlelangs
PURO
(C2,C3,C4,
 λ,ES,
 GA,MD,
 Caepro,
 textos,
 Chapa 1)

emacs
lua
(la)tex
maxima
 qdraw
git
lean4
agda
forth
squeak
icon
tcl
tikz
fvwm
debian
irc
contact

New version (23/maio/2022)

1. Gianluca
2. Eduardo
3. Gianluca
4. Eduardo
5. Gianluca
6. Gianluca
7. Eduardo
8. Gianluca

O e-mail original está aqui: PDF.


1. Gianluca

Subj: New version
From: Gianluca Caterina
Date: 23 May 2022 at 17:25
To: Rocco Gangle, Eduardo Ochs

Sorry, there were a few “we” left, now the version on Overleaf should be fine.


2. Eduardo

From: Eduardo Ochs
Date: 23 May 2022 at 17:50
To: Gianluca Caterina
Cc: Rocco Gangle

Thanks!

I just finished writing a script that compares two versions downloadeded from Overleaf, and that uses tools that I am familiar with - sorry for not having learned Overleaf yet =/ - and as soon as a meeting ends here I will check everything. I believe that everything is ok, but I want to be sure that the "first-person version" is in the bibliography and that a few places mention that it contains examples of how to extend the diagrammatic language, and applications...

More news in a few hours!
Cheers, E. ...

[Quoted text hidden]


3. Gianluca

From: Gianluca Caterina
Date: 23 May 2022 at 17:50
To: Eduardo Ochs
Cc: Rocco Gangle

Excelent!!

Cheers,
G

[Quoted text hidden]


4. Eduardo

From: Eduardo Ochs
Date: 24 May 2022 at 00:24
To: Gianluca Caterina
Cc: Rocco Gangle

Hi Gianluca and Rocco,

the changes are FANTASTIC - and I realized that I don't have much practice with the passive voice in English, so if I had to make the changes myself it would have taken me much longer, and the result wouldn't be 1/10 as good... many, many, many thanks! And the changes in the sections that needed major rewrites are great too!!! =)

I made some minor changes to the version on Overleaf. The list below includes both the changes that I made and the changes that I am not sure how to write.

1) I added an entry "OchsMis1" to the .bib files - it points to the paper "On the the missing diagrams in Category Theory (first-person version)", that is on Arxiv.

2) The entry "Freyd76" in the .bib files had this line,

note = {\url{http://angg.twu.net/Freyd76.html}},

with a pointer to scan of that paper. I deleted it - and in section 4 I replaced "See the scan in..." by "See the paper...".

3) I commented out the mentions to Kan extensions and geometric morphisms in the abstract - Kan extensions and GMs were explained in the deleted sections.

4) On page 3, what do you thing of ending the section 1 with something like this? "For reasons of space we had to omit several examples of how to extend this diagrammatic language by adding new conventions to it. These examples can be found at \cite[Section 8]{OchsMis1}."

5) On page 4, what do you think of rewriting the beginning of the convention (CYo) like this idea, but written in a better way (i.e., please help!!!)?

"In some constructions related to the Yoneda Lemma the part of the construction that looks like a part of an adjunction is drawn as that part of an adjunction [would be drawn]. For example, ``The functor $U:\Ring→\Set$ is representable'' (see \cite[Section 8]{OchsMis1}) is drawn as:

(diagram)

Its upper part looks like a part of an adjunction, but the rest does not."

6) On page 19, section 6, I rewrote the first sentence to get rid of the pointers to deleted sections. The old version is still in the .tex, but commented out.

7) On page 23, section 6.6, I commented out the pointer to the deleted section "\cite{ness}".

That's it for the moment...
Cheers, E.

[Quoted text hidden]


5. Gianluca

From: Gianluca Caterina
Date: 24 May 2022 at 12:43
To: Eduardo Ochs
Cc: Rocco Gangle

Hi Eduardo,

Thank you! I am glad that you are O.K. with the new version. Would you mind upload the version you just revised on Meteor so we can go ahead with the process?

Thanks again.

Gianluca and Rocky

[Quoted text hidden]


6. Gianluca

From: Gianluca Caterina
Date: 24 May 2022 at 15:54
To: Eduardo Ochs
Cc: Rocco Gangle

Hi Eduardo,

I am sorry I overlooked some of your points. I think that your proposed changes 4) and 5) are both good, and I have included in the text. I changed a bit 4), and I see that 5) may be a bit hard to follow for the reader, but to me it makes sense and can’t think of a better way to put it.

At this point I think the paper is good to go. During the last stage, you’ll get the proofs and will still able to fix a few typos, if there are any.

Thank you!

Best,
Gianluca

[Quoted text hidden]


7. Eduardo

From: Eduardo Ochs
Date: 25 May 2022 at 02:41
To: Gianluca Caterina
Cc: Rocco Gangle

Hi!
I checked everything and uploaded the paper to Meteor!
Please tell me if there are any problems...
Cheers, thanks, etc =),
Eduardo

[Quoted text hidden]


8. Gianluca

From: Gianluca Caterina
Date: 29 May 2022 at 12:55
To: Eduardo Ochs
Cc: Rocco Gangle

Hi Eduardo,

I hope all is well. This is just to confirm that the chapter has been sent into the “production” stage by the editors.

Thank you for your patience and all the good work.

Cheers,
Gianluca

[Quoted text hidden]