Matthew Willis

165

Reputation

92 views

Registered User

Name	Matthew Willis
Member for	3 years
Seen	Mar 9 2011 at 4:40
Website
Location
Age	29

stats recent reputation favorites

3

Questions

votes newest views recent

1

7

votes

2

answers

781

views

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

ho.history-overview reference-request ct.category-theory

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

4

6

votes

4

answers

619

views

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

lo.logic type-theory lambda-calculus ct.category-theory intuition

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

1

2

votes

2

answers

461

views

Is an “infinite compositions of arrows” meaningful?

ct.category-theory

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

0

Answers

17

Votes

17

7

Tags

ct.category-theory× 3
type-theory
reference-request
lo.logic
lambda-calculus
intuition
ho.history-overview

3

Badges