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

Aug
19
accepted Name of this 2-categorical structure?
Aug
19
comment Name of this 2-categorical structure?
well a functor $\rhd \colon \mathscr C (X,Y) \times \mathcal R(X) \to \mathcal R(Y)$ corresponds under the closed monoidal structure of $\mathbf{Cat}$ to functors $\mathscr C(X,Y) \to [\mathcal R(X), \mathcal R(Y)]$, and now this looks like a 2-functor
Aug
19
comment Name of this 2-categorical structure?
This is just a 2 functor $\mathcal R \colon \mathscr C \to \mathbf{Cat}$, right?
Aug
19
asked Name of this 2-categorical structure?
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