Reputation
2,214
Next privilege 2,500 Rep.
Create tag synonyms
Badges
6 22
Newest
 Yearling
Impact
~23k people reached

Apr
10
asked Stabilisers of group action open imply the action is continuous
Apr
9
accepted Does the bicategory of bimodules really have left Kan extensions?
Apr
7
asked Does the bicategory of bimodules really have left Kan extensions?
Apr
5
comment $\mathbb Z$ is not a dense generator in $\mathsf{Ab}$
Let $G$ be an object of a category $\mathcal C$ and let $\mathcal G$ denote the full subcategory of $\mathcal C$ with one object $G$. If the colimit of the forgetful functor $\Gamma^C \colon \mathcal G/C \longrightarrow \mathcal C$ is just given by $C$ (and structure morphisms just given by the relevant morphisms in $\mathcal G/C$ ) for every object $C$ of $\mathcal C$, then $G$ is a dense generator
Apr
5
revised $\mathbb Z$ is not a dense generator in $\mathsf{Ab}$
edited body
Apr
4
asked $\mathbb Z$ is not a dense generator in $\mathsf{Ab}$
Apr
4
asked A monomorphism in the category of compact Hausdorff spaces is regular
Feb
9
accepted CoKleisli category of the induced comonad of a monad
Feb
8
asked CoKleisli category of the induced comonad of a monad
Feb
1
awarded  Yearling
Nov
12
comment Morphisms and Flatness
If $R$ is a von Neumann regular ring we get the same thing too.
Nov
11
comment Morphisms and Flatness
It looks like if we assume that if $S$ is flat as an $R$-module, then every flat $S$-module is flat as an $R$-module
Nov
11
asked Morphisms and Flatness
Oct
28
reviewed Approve Finding vertical asymptote
Jul
31
awarded  Custodian
Jul
31
reviewed Edit Deriving $A \rightarrow ( B \rightarrow C ) \rightarrow ( ( A \rightarrow B ) \rightarrow ( A \rightarrow C ) )$ in the sequent calculus
Jul
31
revised Deriving $A \rightarrow ( B \rightarrow C ) \rightarrow ( ( A \rightarrow B ) \rightarrow ( A \rightarrow C ) )$ in the sequent calculus
added some info improved lay out (all just because it was on hold)
Jul
28
asked Presentation of an object in an Eilenberg Moore category by generators and relations
Jul
24
accepted Bijection between $\mathbb N^+ \times \mathbb R^+$ and $\mathbb R^+$
Jul
24
asked Bijection between $\mathbb N^+ \times \mathbb R^+$ and $\mathbb R^+$