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

14h
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$
Jan
27
answered If $F : \mathbf{C} \to \mathbf{D}$ is an equivalence, does $\alpha_{GD} = G(\beta_D)$ hold in general?
Jan
26
answered How do you prove that $Y^*(1_B) = 1_{Y^*B}$ given $Y^*(f) = \mathcal{A}(f, -)$?
Jan
24
answered Homotopy equivalent but not deformation retraction
Jan
24
answered Categorical introduction to Algebra and Topology
Jan
23
answered Homotopy colimit,weighted colimit, homotopy theory
Jan
16
answered Multilinear and alternating property of $\det(f)$ where $f$ is an endomorphism
Jan
11
answered Slice of opposite category equivalent to coslice of category?
Jan
10
answered codiagonal functor and faithfullness
Jan
10
answered Need a formal proof?
Jan
6
answered Natural transformations in Awodey's Category Theory Exercise 7.11.8
Jan
6
answered $\mathcal{V}$-naturality in enriched category theory
Jan
6
answered What is this categorical notion called?
Jan
6
answered Modules over associative algebras are just special cases of “ordinary” modules over rings?