A der turns de into ffee.
->이건 모르겟음.
A co-mathematician is a device for turning co-theorems into ffee.
-> 에르되시 팔이 한 말인 "수학자는 커피를 이론으로 바꾸는 기계이다" (A mathematician is a machine for turning coffee into theorems)를 비튼 유머임. 범주론에서 앞에 co- 가 붙은 것은 쌍대(dual)을 뜻하는데, 이 쌍대라는 것의 가장 큰 특징이 모든 사상(morphism)의 방향을 반대로 바꾼다는 것임. 원문은 mathematician이 coffee를 theorems로 바꾼다고 했으니까 여기에 쌍대를 취한 co-mathematician은 co-therom을 co-coffee로 바꾸게되는데, 여기서 알아둬야 할 게 쌍대를 두번 취하는 연산은 원래와 똑같아져서 소거가 가능함. 그래서 co-coffee는 그냥 ffee가 되버림.
A coconut is just a nut.
->위에서 말했듯이 쌍대를 두번 취하는 것은 소거가 가능함. 그래서 coconut는 그냥 nut이 되는거고.
Q: What do you call someone reading a journal article on category theory?
A: A coauthor.
-> co-가 쌍대를 뜻한다는것과 coauthor가 공동저자라는 의미를 가진다는걸 이용한 언어유희임.
