Zhen Lin has contributed to 47 nLab pages.
| category of fractions | 09:21:51, June 23 2016 |
| field extension | 20:50:33, March 04 2015 |
| effective epimorphism in an (infinity,1)-category | 08:46:09, February 25 2015 |
| Beck module | 22:31:15, February 10 2015 |
| tangent category | 22:22:13, February 10 2015 |
| cosimplicial object | 11:49:05, February 10 2015 |
| tangent category | 12:25:33, February 04 2015 |
| sharp map | 11:12:22, October 28 2014 |
| category of fibrant objects | 10:14:03, October 28 2014 |
| Vopěnka's principle | 21:51:46, October 21 2014 |
| canonical model structure on Cat | 10:33:06, August 31 2014 |
| cellular model category | 10:33:06, August 31 2014 |
| proper morphism | 10:33:06, August 31 2014 |
| geometric theory | 10:33:06, August 31 2014 |
| coherent object | 10:32:59, August 31 2014 |
| Ho(Cat) | 10:32:57, August 31 2014 |
| Čech model structure on simplicial sheaves | 10:32:57, August 31 2014 |
| relation between type theory and category theory | 10:32:55, August 31 2014 |
| hidden smoothness principle | 10:32:47, August 31 2014 |
| pure subobject | 10:32:47, August 31 2014 |
| geometric type theory | 10:32:43, August 31 2014 |
| (infinity,1)-categorical hom-space | 10:32:43, August 31 2014 |
| reflective subcategory | 10:32:43, August 31 2014 |
| Zhen Lin > history | 10:32:43, August 31 2014 |
| (infinity,1)-categorical hom-space | 10:32:42, August 31 2014 |
| cartesian model category | 10:32:41, August 31 2014 |
| Sketches of an Elephant | 10:32:41, August 31 2014 |
| scheme | 10:32:40, August 31 2014 |
| modelizer | 10:32:40, August 31 2014 |
| model structure on simplicial sets | 10:32:40, August 31 2014 |