2,538 reputation
11241
bio website axiomsofchoice.org
location
age
visits member for 2 years, 10 months
seen yesterday

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


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?
Sep
11
comment Adjoint functors for the power set monad
So $F$ maps $\{a,b,c\}$ to $\langle\mathcal{P}(\{a,b,c\}),>\rangle$, where e.g. $\{a,c\}>\{c\}$, and then $G$ on that tuple projects out the first tuple?
Sep
11
comment Adjoint functors for the power set monad
edit: For the list monad, it probably should be $X^0\cup X\cup(X\times\dots$.
Sep
11
asked Adjoint functors for the power set monad
Aug
25
comment Mathematical literature to lose yourself in
@Lucian: I never dreamt i'd get to the level that i'm at, this is whack ... What about math, how come I wasn't ever good at that?
Aug
23
comment What is the $\tau$ symbol in the Bourbaki text?
Found it here.
Aug
23
comment The category of theorems and proofs
Why would Turing completeness suffer from taking aways "undefined"? I thought it's just convenient in case of non-termination or so. And how did you manage to write my user name with c?
Aug
22
comment The category of theorems and proofs
Incidentally, in your answer, you turned to topics very related to a question I just asked.
Aug
22
revised Mathematics - The big picture
added 138 characters in body
Aug
22
answered Mathematics - The big picture
Aug
22
revised What is the desirable function identification when setting up arrows in the category of types?
deleted 169 characters in body
Aug
22
revised What is the desirable function identification when setting up arrows in the category of types?
added 26 characters in body
Aug
22
revised What is the desirable function identification when setting up arrows in the category of types?
added 213 characters in body
Aug
22
asked What is the desirable function identification when setting up arrows in the category of types?
Aug
19
comment What makes induction a valid proof technique?
Just want to point out that OP uses P(0) as starting point, not P(1). Doesn't matter, of course.