Bartosz Milewski has contributed to 10 nLab pages.
mate | 10:16:52, May 21 2023 |
lens (in computer science) | 17:08:00, September 05 2021 |
indexed category | 21:37:01, July 24 2020 |
adjoint functor theorem | 01:15:19, June 26 2020 |
adjoint functor theorem | 00:40:19, June 26 2020 |
adjoint functor theorem | 20:15:44, June 25 2020 |
Bartosz Milewski | 03:05:07, June 18 2020 |
adjoint functor theorem | 02:26:32, June 18 2020 |
tensor product of functors | 21:27:45, October 07 2019 |
polynomial functor | 02:26:00, May 26 2019 |
inductive type | 19:56:01, April 15 2019 |
Day convolution | 11:53:45, September 19 2018 |
Bartosz Milewski | 14:01:33, March 10 2015 |
Cartesian morphism | 13:55:44, March 10 2015 |