Bartosz Milewski has contributed to 14 nLab pages.
Banach-Tarski paradox | 13:39:38, March 12 2024 |
Eilenberg-Moore category | 15:20:26, January 23 2024 |
Kleisli object | 15:17:42, January 23 2024 |
Eilenberg-Moore category | 10:48:45, January 07 2024 |
Kleisli object | 10:22:49, January 07 2024 |
Kleisli object | 13:55:03, January 06 2024 |
Kleisli object | 12:45:05, January 06 2024 |
Kleisli object | 16:19:58, January 03 2024 |
category of elements | 14:57:37, September 08 2023 |
category of elements | 14:26:05, September 08 2023 |
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 |