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

Mar
20
revised Why the whole exterior algebra?
edited some text
Mar
11
revised Cartesian Product characterization in Rel Category (Category of sets and relations) in simpler terms
edited title
Jan
16
revised Demonstrate currying via homomorphism
edited small typos
Jan
16
revised Demonstrate currying via homomorphism
edited small typos
Oct
30
revised Derive the unit from the adjunction
edited some text
Oct
27
revised Is a subobject classifier logically equivalent to set-inclusion?
added last paragraph
Oct
26
revised Definition of a coproduct and its universal property - connection?
Edited grammar, syntax and formulas
Oct
26
revised Group objects in category of $\mathcal{Set}$ are groups - How to prove it?
Edited grammar in title
Oct
5
revised Understanding the significance of a functor being full/faithful, especially with adjoints
added last paragraph
Sep
4
revised Is there a name for taking the pushforward (ie pushout) over the pullback?
used standard terminology in title
Sep
3
revised Proof of $x*0=0$ is invalid?
added the axioms description
Jul
21
revised Exercises in category theory for a non-working mathematican (undergrad)
edited small typos
Jul
4
revised Understanding morphisms in FinSet
edited small typos
May
30
revised Is there a concept of a “free Hilbert space on a set”?
edited typo in formula
May
25
revised morphisms in $Vect_k^\otimes$
edited tex in title
May
23
revised Showing that a diagram commutes in the most economical way
added optimization
May
4
revised Relations between monoids and modules?
edited small typo
May
4
revised Notation for the set of monomorphisms in $\mathrm{Hom}(A,B)$
edited small typos
May
4
revised Natural transformation is a mono iff the components are.
added last paragraph
Apr
27
revised How an axiomatic system is made?
edited small typos