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

9h
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
Apr
22
comment No natural transformation
That's better !
Apr
21
comment No natural transformation
Dear iwriteonbananas, don't you think that you should at least put a reference to the textbook you are so shamelessly copying from?
Apr
18
comment Categorical Banach space theory
Martin and @tcamps Thank you for the references
Apr
17
comment Categorical Banach space theory
Well, the functional analysis arguments which make Banach spaces preferable over NormedVectorSpaces can't be described categorically? If yes, then these are (some of) the special properties that differentiate the 2 categories. Perhaps you could exemplify some of these arguments and we can see if there is a way to express them categorically.
Apr
17
comment Categorical Banach space theory
Could you please give an introductory reference to " categorical Banach space theory"?
Apr
15
comment Isomorphic categories
I see, thank you
Apr
13
comment Isomorphic categories
$K [X] $ is the ring of polynomials? If so, could you please explain how you associate $(V,T) $ to a module over the polynomials?