nLab
Guillaume Brunerie

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

category: people

Created on November 3, 2011 13:26:33 by Urs Schreiber (89.204.137.109)
Edit | Views: Print | TeX | Source | Linked from: homotopy limit, homotopy pullback, limit in a quasi-category, homotopy group, n-truncated object of an (infinity,1)-category, (infinity,1)-pullback, bracket type, Agda