Skip to content

Instantly share code, notes, and snippets.

View knuton's full-sized avatar
🌱

Johannes Emerich knuton

🌱
View GitHub Profile
@knuton
knuton / awodey-errata.tex
Last active December 23, 2015 19:59
Currently unlisted errors in Awodey (2010) (as of 4/2011 version of http://www.andrew.cmu.edu/user/awodey/CT2errata2010.pdf)(as of yet unconfirmed)
% Take with a grain of salt, for I know not what I'm doing.
Chapter 2:
p. 30, L 23: "$hx, hy: 1 \to N$ of $N$" should be "$|h|x, |h|y: 1 \to |N|$ of $|N|$"
Chapter 7:
p. 156, L 27: "think of a natural transformation $\vartheta_C: FC \to GC$" should be "think of a natural transformation $\vartheta: F \to G$"
@knuton
knuton / otsbjs.md
Created May 25, 2012 16:08 — forked from janl/otsbjs.md
Open Tech School Berlin JS

In the spirit of Railsgirls Berlin, we want to start a programming education group for JavaScript. We need your help to get all the coaching done.

If you are interested in coaching JavaScript, fork this gist and add yourself or leave your contact data in a comment: