2,575 reputation
11243
bio website axiomsofchoice.org
location
age
visits member for 2 years, 11 months
seen 18 mins ago

A duck walks into a bar. Animal control is promptly called and the duck is released into a near by park.


2d
accepted How to generate a good guess from other guesses, if the average has already been taken?
Sep
26
comment Concepts in mathematics which are referred to as 'generalizations'
@MJD: The thread you linked to doesn't contain a question, and the first sentence of your post, as stated, still contains untrue information. But the situation is clear for both of us, so not really worth babbling about.
Sep
26
comment Concepts in mathematics which are referred to as 'generalizations'
@MJD: Which question?
Sep
26
comment Concepts in mathematics which are referred to as 'generalizations'
$n+m=m+n$ generalizes $1+2=2+1$ as well as $7+2=2+7$ and even $3+5=5+3$. This question is pretty open ended. I also know a lot of important results which are special cases of $\exists x.P(x)$ for a concrete $P$.
Sep
26
comment Concepts in mathematics which are referred to as 'generalizations'
I guess that's a bit vague, right. In particular, in the arcile on concrete categories you find a category example (hTop) which can't be understood as a category whose objects are sets and whose morphisms are functions.
Sep
25
answered If statements in equations?
Sep
25
awarded  Excavator
Sep
25
revised Given a die, what is the probability that the second roll of a die will be less than the first roll?
added 14 characters in body
Sep
24
awarded  Autobiographer
Sep
22
comment Natural numbers object via initial morphism
@ThomasAndrews: Well, yeah I'm asking for the functor. I expected it because there is a formulation in terms of initial object and when they can be defined in terms of a universal property, then NNO could too.
Sep
22
answered Why is $\frac 25$ the real part of $\frac{1}{2+i}$?
Sep
22
comment Natural numbers object via initial morphism
@MartinBrandenburg: Write, I wrote object, but I ment morphism. How can the NNO definition be stated in terms of initial morphisms.
Sep
22
revised Natural numbers object via initial morphism
added 68 characters in body
Sep
22
asked Natural numbers object via initial morphism
Sep
18
comment What is the desirable function identification when setting up arrows in the category of types?
@tci: Thanks, this looks like it.
Sep
12
comment What is an easy to read book on category theory including the introduction of some killer apps for the theory?
killer apps for the theory?
Sep
11
accepted Adjoint functors for the power set monad
Sep
11
comment Adjoint functors for the power set monad
@user21929: k. Why write $\bigcup$, i.e. use a meet to set up the semi-latice, instead of a predicate like $\ge$, giving some ordering?
Sep
11
comment Adjoint functors for the power set monad
@MaliceVidrine: I'm confused: If both $F$ and $G$ have the power set operation as object map, isn't then $T$ the twice applied power set operation?
Sep
11
comment Adjoint functors for the power set monad
@user21929: I'm not sure what you're implying. Are you saying I should write $\ge$, rather than $>$? And btw. I just realized the relation is just $s\ge t:=t\subseteq s$, right?