Academics # Learning Resources # The nLab # The living textbook on homotopy type theory # The almighty arXiv # Essays # Lockhart's Lament # Steven G. Krantz’s How to Write Your First Paper # Tools # Quiver - a commutative diagram editor # Computers #