Skip to main content
Area 51
Almeo Maus's user avatar
Almeo Maus's user avatar
Almeo Maus's user avatar
Almeo Maus
  • Member for 5 years, 4 months
  • Last seen more than 3 years ago
  • Tokyo
Profile Activity
Stats
217
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
20
Why pullback only defined up-to-isomorphism but nevertheless presented as functor?
8
No arrows in pullbacks notation
5
How does the Yoneda lemma imply that $\mathrm{Hom}(yC,P)$ is a set?
5
Unicity of Yoneda isomorphism