Reputation
9,001
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 10 33
Newest
 Nice Answer
Impact
~110k people reached

May
1
answered Can Lagrange's Theorem for algebraic structure apply here?
Apr
23
answered Subcategory of category of Module satisfies SSA?
Apr
18
answered Relation between Cartesian closed category and Lambda Calculus
Apr
16
answered How to prove this Category Theory theorem?
Apr
15
answered How to prove this Category Theory theorem?
Apr
8
answered Free monoidal category over a set
Mar
13
answered applications of (topological and algebraic) commutative diagrams in organic synthesis
Mar
12
answered Proving the uniquness of a functor
Feb
24
answered Past paper question without answers; could anyone provide an answer?
Feb
19
answered Equivalence Relations on Products
Feb
16
answered Defining Surjection as an Implication
Feb
15
answered The magic of the morphisms
Feb
15
answered Does one need to learn set theory before learning category theory?
Feb
10
answered Explain “homotopy” to me
Feb
7
answered Can we define structures like groups or monoids in the context of pure category theory?
Feb
1
answered Type theoretic proof that $\lnot (A \lor B) \Rightarrow \lnot A \land \lnot B$
Feb
1
answered Prove that a group G is finitely generated if and only if there is a surjective homomorphism $F(\{1,..,n \}) \to G$
Jan
31
answered How to simulate power sets in structural set theory (ETCS)?
Jan
31
answered Defining natural transformations based on generalized elements?
Jan
27
answered Quantifier notation: $\forall n \implies \cdot$ versus $\forall n, \cdot$