Ian Coley has contributed to 5 nLab pages.
Cartesian morphism | 18:06:49, June 24 2020 |
final (infinity,1)-functor | 00:50:56, May 30 2019 |
anafunctor | 02:36:35, March 27 2018 |
Ian Coley | 21:40:26, March 10 2018 |
Ian Coley | 00:15:57, February 01 2017 |
full sub-2-category | 00:12:52, February 01 2017 |