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

Jun
12
revised Stephen Wolfram on axiomatic systems?
edited some typos
Jun
11
revised Uniqueness of Exponential Objects up to Isomorphism in any Category
deleted 90 characters in body
Apr
27
revised If an isomorphism can be expressed as a composition of morphisms, what can we say about its components?
edited title
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