Bram Geron has contributed to 14 nLab pages.
Freyd category | 13:52:42, June 01 2017 |
residual | 13:26:59, February 15 2017 |
residual | 13:17:03, February 14 2017 |
exponential object | 13:12:29, February 14 2017 |
closed monoidal category | 13:09:48, February 14 2017 |
bicartesian category | 14:11:05, February 06 2017 |
indexed category | 13:50:42, September 23 2016 |
dinatural transformation | 14:48:07, September 19 2016 |
locally cartesian closed category | 21:21:34, October 12 2015 |
strong monad | 15:42:44, October 12 2015 |
monoidal functor | 15:30:22, July 29 2015 |
Bram Geron | 20:27:56, July 28 2015 |
strong monad | 20:25:52, July 28 2015 |
closed category | 19:31:01, July 28 2015 |
strong monad | 18:23:10, July 28 2015 |
join | 16:47:26, July 23 2015 |
algebra | 12:45:51, April 09 2015 |