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

1d
comment Categorical Banach space theory
Martin and @tcamps Thank you for the references
2d
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.
2d
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?
Apr
10
comment Is Stokes' Theorem natural in the sense of category theory?
Very nice question!
Apr
10
comment Name of some category with two objects
@MartinBrandenburg what is MP?
Apr
6
comment Examples of categories which appear naturally without objects
Yes, and i was thinking at groups, but the OP has already discounted this. I do not think thereis anything better than "monoids with a partial composition" After all this what categories really are.
Mar
30
comment Inverse limit of isomorphic objects
@ThomasAndrews what do you mean by $G_n $?
Mar
24
comment Universal Properties and Isomorphisms
The quoted definition seems to be more general than the one given by Maclane (and others). Maclane defines a universal property when you have a terminal object in a SLICE category of the original category where the object was living. The def. Given by Aluffi seems to me a bit weak. Check wikipedia for similar defs.
Mar
22
comment Two categories sharing the same objects and morphisms
When two such categories $\mathcal{C}$, $\mathcal{C}'$ exist, what are they? Equivalent? Isomorphic?
Mar
20
comment Why the whole exterior algebra?
@MarioCarneiro what matrices are you referring to? I never said anything about matrices. We are talking about (graded) vector spaces or modules and why they are useful in mathematics
Mar
10
comment Cartesian Product characterization in Rel Category (Category of sets and relations) in simpler terms
....This description is made using concepts from monoidal categories,so I think that you need to study them a bit if you want to understand this part of the answer given by Zhen Lin.
Mar
10
comment Cartesian Product characterization in Rel Category (Category of sets and relations) in simpler terms
Qartal the Q&A you mentioned has 2 parts.The first part proves that the categorical product of 2 objects $Y$, $Z$ (which are sets) in the category $Rel$ is given by the object (which is a set) that you would call "the disjoint union of $Y$ and $Z$".This part has nothing to do with the cartesian product of $Y$ and $Z$.The second part describes/characterizes the object of $Rel$ that you would call "the cartesian product of $X$ and $Y$"...
Mar
7
comment What's the explicit categorical relation between a linear transformation and its matrix representation?
By the way Henning, is there a way to construct categorically $FVectB_F$ from $FVect_F$ (and some other category), in the same spirit that the category of pointed sets $Set_*$ is built from $Set$ : as a comma category
Mar
7
comment Matrix associated to a linear transformation
Yes Aluffi is the best probably. Lang's Algebra unfortunately does not emphasize the categorical viewpoint
Mar
7
comment Projection morphisms of categorical product
In the penultimate paragraph, "...for an automorphism $u$" should be "...for an isomorphism $u$", I think
Feb
8
comment Lost Chevalley Manuscript
I also read that end note and always found very very strange that Chevalley never bothered to rewrite the manuscript or keep a copy for himself.
Feb
6
comment Corverting topological problems to algebraic problems
@drhab I do not understand: if Laters is the downvoter for the 2 answers, why I do not see a loss of 2 points in his reputation?
Feb
6
comment Category with no empty hom-sets from a given category.
a category with no empty homs may - in general - be very different from a preorder. A preorder may have empty homs. So , like @tcamps I suggest you clarify your question