3

Questions
votes newest views recent
1
7
votes
2
answers
781
views

What is the earliest definition given by a universal mapping property?

may 5 10 at 1:22 Joel David Hamkins 74.9k●7●187●343

4
6
votes
4
answers
619
views

What is the intuitive meaning of star and box in a pure type system?

jan 29 11 at 18:55 robin-adams 156●2

1
2
votes
2
answers
461
views

Is an “infinite compositions of arrows” meaningful?

apr 29 10 at 6:08 Reid Barton 14.4k●1●28●85