Reputation
2,605
Top tag
Next privilege 3,000 Rep.
Cast close & reopen votes
Badges
1 7 21
Impact
~24k people reached

1d
comment Prove that a morphism $\alpha$ of $Fun(\mathcal{A},\mathcal{B})$ is an isomorphism iff each component $\alpha_A$, is an isomorphism in $\mathcal{B}$
what is a computational engineer?
Jul
17
revised Monotone map on a Preset
added extra paragraph
Jul
17
revised Monotone map on a Preset
Clarified formula
Jul
17
answered Monotone map on a Preset
Jul
10
comment Grothendieck's yoga of six operations - in relatively basic terms?
Thank you Roland
Jul
8
comment Grothendieck's yoga of six operations - in relatively basic terms?
Where are you reading this from?
Jul
8
comment Grothendieck's yoga of six operations - in relatively basic terms?
Could you please give a reference source to all this?
Jul
1
comment Group action on a category
@ZhenLin where can I read about "pseudo G-action on a category C"?
Jun
24
comment Monoid as a single object category
Nice notes Peter. And nice blog too. I will contact you there.
Jun
24
comment Essentially surjective property is closed under composition of functors.
@AlexG. In a context, like this one at M.SE, where you are teaching/explaining something, it is better to be unambiguous since the OP is probably less experienced than yourself with a specific subject matter
Jun
12
revised Stephen Wolfram on axiomatic systems?
edited some typos
Jun
11
comment Uniqueness of Exponential Objects up to Isomorphism in any Category
To distinguish it from Awodey's little book (first edition only had 256 pages)
Jun
11
revised Uniqueness of Exponential Objects up to Isomorphism in any Category
deleted 90 characters in body
May
31
comment Intersecting Scopes: Quantifier and Predicate
@user3578468 this is simply a miswritten expression. Perhaps a typo. That's all.
May
24
comment Equivalence between category of $R$-modules and $S$-modules
what is $M_n(A)$?
Apr
30
comment Three theorems for the price of one? (like duality)
This is a very good question. Please be patient for a few days and I wll write an hopefully good answer.
Apr
27
revised If an isomorphism can be expressed as a composition of morphisms, what can we say about its components?
edited title
Apr
27
comment integral domains and field of fractions
Yes, this adjunction is a reflection and $\mathcal F$ is the reflector
Apr
27
answered If an isomorphism can be expressed as a composition of morphisms, what can we say about its components?
Apr
24
comment The colimit of all finite-dimensional vector spaces
@MartinBrandenburg now it's 7 upvotes