Mathematics
user avatar
user avatar
user avatar
Musa Al-hassy
  • Member for 8 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
1,992
reputation
71k
reached
77
answers
10
questions
Communities
View all
Badges
View all badges
2
gold badges
10
silver badges
13
bronze badges
Top tags
View all tags
74
Score
40
Posts
46
Posts %
17
Score
7
Posts
8
Posts %
12
Score
6
Posts
7
Posts %
11
Score
5
Posts
6
Posts %
8
Score
13
Posts
15
Posts %
8
Score
5
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
10
Why is it bad to pick basis for a vector space?
Mar 18, 2016
answer
7
Relation between Cartesian closed category and Lambda Calculus
Feb 21, 2016
answer
7
Reference request: Categories enriched over $\textbf{FinLat}$
Aug 11, 2016
answer
7
Epimorphism and monomorphism explained without math?
Aug 16, 2018
answer
6
Pullback in the category of graphs
Jul 27, 2020
answer
6
What is the intuition behind pushouts and pullbacks in category theory?
Aug 4, 2020
answer
5
How to represent the floor function using mathematical notation?
May 31, 2013
answer
5
natural language proof assistant
Jun 1, 2013
answer
4
Is this an adjunction?
Aug 31, 2016
answer
3
"Good" notation for $\hom$-functors
Oct 4, 2016
Top network posts
View all network posts
12
Why Term Rewriting?
12
Dependent Types in C#: making the output type depend on the input value
9
continuations as meaningful comprehensions
8
Mimicking Haskell canonicity (one-instance only) of typeclasses in Agda
7
Is path induction constructive?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.