nLab
Author — Bartosz Milewski

Overview

Bartosz Milewski has contributed to 9 nLab pages.

Most recent contributions

lens (in computer science) 13:08:00, September 05 2021
indexed category 17:37:01, July 24 2020
adjoint functor theorem 21:15:19, June 25 2020
adjoint functor theorem 20:40:19, June 25 2020
adjoint functor theorem 16:15:44, June 25 2020
Bartosz Milewski 23:05:07, June 17 2020
adjoint functor theorem 22:26:32, June 17 2020
tensor product of functors 17:27:45, October 07 2019
polynomial functor 22:26:00, May 25 2019
inductive type 15:56:01, April 15 2019
Day convolution 07: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