Matthew

Member for 14 years, 7 months
Last seen more than a month ago

linkedin.com/in/mtsyh

Summary

Reputation

303

303
294
285

2020
2021
2022
2023

Top tag

ct.category-theory

Next privilege

500 Rep.

Access review queues

Badges

1

7

Newest

Popular Question

Next badge

0/1

Critic

Impact

~4k

people reached

0

posts edited

0

helpful flags

17

votes cast

Questions

7

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

Apr 29, 2010

7

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

May 2, 2010

4

Is an "infinite compositions of arrows" meaningful?

Apr 29, 2010

Answers

This user has not answered any questions

Tags

View all 7 tags

ct.category-theory

0

Score

3

posts

ho.history-overview

0

Score

1

post

intuition

0

Score

1

post

lambda-calculus

0

Score

1

post

lo.logic

0

Score

1

post

Reputation

+86

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

+70

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

+40

Is an "infinite compositions of arrows" meaningful?

Badges

View all badges

This user doesn’t have any gold badges yet.

1

silver badge

Yearling

Nov 13, 2019

7

bronze badges

Scholar

Apr 30, 2010
Popular Question

× 3

Jul 18, 2022
Supporter

Apr 29, 2010

Accounts

303
1
7

Active bounties (0)

This user has no active bounties

Votes cast

17

upvotes

5

question votes

12

answer votes