Yuta

Member for 4 years, 3 months
Last seen more than 2 years ago

Summary

Reputation

101

101

Mar
Jun
Sep
Dec

Top tag

at.algebraic-topology

Next privilege

125 Rep.

Vote down

Badges

0

0

0

Next badge

0/1

Supporter

Impact

~62

people reached

0

posts edited

0

helpful flags

0

votes cast

Questions

0

Nontrivial interpretation of dependent type theory in the category of chain complexes

Aug 26, 2020

Answers

This user has not answered any questions

Tags

at.algebraic-topology

0

Score

1

post

Reputation

This user has no recent positive reputation changes.

Badges

This user has not earned any badges

Accounts

View all 12 accounts

411
2
8

306
2
7

English Language & Usage

121
1

Meta Stack Exchange

101

101

Active bounties (0)

This user has no active bounties

Votes cast

This user has not cast any votes