2,085 reputation
522
bio website N/A
location Glasgow, Scotland
age 25
visits member for 2 years, 8 months
seen Oct 16 at 12:24

I am just a student trying my best to cram maths into my head.


Jul
31
awarded  Custodian
Jul
31
reviewed Edit suggested edit on 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^+$
Jul
2
awarded  Curious
Jul
2
awarded  Inquisitive
Feb
11
comment Flabby sheaf comonad
I should have done that topos theory course! That's something to think about. I've also realised that the functor $C$ defined above is isomorphic to the one Weibl defines in 8.6.15 of 'An Introduction to Homological Algebra', that is the functor $$T(\mathscr{F}) = \prod_{x \in X} x_*(\mathscr{F}_x) $$ which I knew was a monad. I should have realised there was nothing new going on with $C$.
Feb
11
revised Flabby sheaf comonad
deleted 1 characters in body
Feb
11
comment Flabby sheaf comonad
Zhen Lin, thanks for confirming my suspicions. Do you know of any comonads in $ \mathsf {Sh} (X) $?
Feb
11
comment Flabby sheaf comonad
Martin, apologies I meant to write stalk, I posted the question late. Also the statement I was referring to was in the preview at the bottom of the page, not in the actual pdf.
Feb
11
asked Flabby sheaf comonad
Feb
1
awarded  Yearling
Sep
6
accepted Universal Property of the Exterior Algebra
Sep
6
asked Universal Property of the Exterior Algebra
Aug
23
revised Understanding adjoint functors
added 269 characters in body
Aug
23
revised Computing an example of Ext
added 2 characters in body
Aug
23
awarded  Civic Duty
Aug
23
accepted Exactness and Products of Categories