193 reputation
9
bio website
location
age
visits member for 2 years, 1 month
seen 9 hours ago

Apr
13
comment How to prove and interpret $\operatorname{rank}(AB) \leq \operatorname{min}(\operatorname{rank}(A), \operatorname{rank}(B))$?
I am not familiar with the 'categorification'. How can one go from this to the rank inequality ? What functor is to be applied ?
Apr
11
comment function application order
i think you are right about the conclusion. it is the convention of most textbook, so i better suck it up. i notice that lawvere uses the natural order though !(tac.mta.ca/tac/reprints/articles/16/tr16.pdf)
Mar
21
comment If $g \circ f$ is monic, then $f$ is monic
Amazing answer.....
Mar
20
accepted function application order
Mar
19
asked function application order
Mar
19
comment How to prove hom functor preserves pullbacks
@user43687 yes this is more powerful, although I quite like to have the direct proof as well.
Mar
19
comment Pullbacks of monic morphisms.
of course, by the universal mapping property on the pullback : that there is a unique $h$ making the diagram commute aka realizing $ g m'\circ h = m f\circ h$
Mar
18
comment Pullbacks of monic morphisms.
going to $f \circ h = f \circ k$ is easy, but I must be missing something as I dont see how that entails $h = k$. could you argue why ?
Mar
15
revised The distance between an element and a subset of a metric space.
edited body
Mar
15
answered The distance between an element and a subset of a metric space.
Mar
1
comment Show that the direct sum of a kernel of a projection and its image create the originating vector space.
sorry I know it is off-topic, but am i the only person for which mathjax does not render latex on stackexchange ?
Feb
10
revised Questions about Bayesian inference
deleted 5 characters in body
Feb
10
awarded  Teacher
Feb
10
answered Questions about Bayesian inference
Jan
21
comment why do we use 'non-increasing' instead of decreasing?
I think this is as good for math as the imperial system is for physics : absolutely nonsensical
Dec
28
awarded  Popular Question
Dec
15
comment A number x is 0.0012674271229404309252217997465146…
open a book for 10 years old and look at the definition of rational number. if you dont have such a book, buy one
Dec
15
comment A number x is 0.0012674271229404309252217997465146…
so what........
Oct
26
comment Asymptotics of binomial coefficients and the entropy function
It is not by chance that taking the sum of independant bernoulli, we converge to the exponentiated entropy of such bernoulli.....
Oct
9
revised why do we use 'non-increasing' instead of decreasing?
added 21 characters in body