nLab Author — Bartosz Milewski

Overview

Bartosz Milewski has contributed to 10 nLab pages.

Most recent contributions

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

All pages contributed to