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

Aug
12
comment Localisation of a binary product of categories
Ahh. I should have said that at the time I couldn't get the nLab page to load so I missed the discussion there
Aug
12
comment Localisation of a binary product of categories
I mean the standard way to construct the localisation, which might end up in you leaving the universe/not getting a locally small category. I got an answer at MO but no proofs, the linked answer to my question said this easy fact should follow from the UP, but I couldn't work it out
Aug
11
asked Localisation of a binary product of categories
Jun
5
accepted Are bimodules over a commutative ring always modules?
May
14
awarded  Caucus
Apr
11
comment Symplectic Forms
Sorry I'm a bit confused. We have that $\omega \wedge \ldots \wedge \omega$ at $x$ is an alternating multilinear map $T_x M \times \ldots T_x M \longrightarrow \mathbb R$. In what sense is this map just $\operatorname{det}\omega_x$ and how do I see it?
Apr
11
accepted Symplectic Forms
Apr
11
asked Symplectic Forms
Feb
25
comment Long Exact Sequence on Homology in an Abelian Category
@Martin - why would that show it?
Feb
24
comment Long Exact Sequence on Homology in an Abelian Category
OK ill check out CWM. From what I understand the embedding theorem holds for small abelian categories - does it hold in general?
Feb
23
asked Long Exact Sequence on Homology in an Abelian Category
Feb
19
comment Why do we accept Kuratowski's definition of ordered pairs?
it's just probably the nicest way to encode that required property that you wrote
Feb
1
awarded  Yearling
Jan
14
comment If an abelian category has a generator then it is well-powered
Middle of this page: books.google.co.uk/…
Jan
14
accepted If an abelian category has a generator then it is well-powered
Jan
14
comment If an abelian category has a generator then it is well-powered
Is it true that a Grothendieck category always has a strong generator? I'm just asking because I am sure I read somewhere that a Grothendieck category is always well-powered
Jan
14
asked If an abelian category has a generator then it is well-powered
Jan
14
accepted Exactness of Colimits
Jan
4
accepted Is $(gf)(X) = g ( f(X))$ in a category?
Dec
24
comment Exactness of Colimits
unless $\bigoplus $ is sometimes used as a symbol for colimit?