33,941 reputation
23791
bio website
location
age
visits member for 3 years, 3 months
seen 36 mins ago

Mar
23
answered Is there a way to phrase “there does not exist a universal set” in structural language?
Mar
22
answered Cohomological Whitehead theorem
Mar
22
answered Are presheaf categories well-copowered?
Mar
22
answered Is there a first order theory for equivalences classes?
Mar
22
answered Unique representation of a degenerate simplex
Mar
21
answered When do finite sets embed in a category?
Mar
21
answered A proof using Yoneda lemma
Mar
20
answered Relating Ext groups of abelian groups and group cohomology
Mar
20
answered Origin of the term “module” for profunctors
Mar
20
answered The intersection of $u_{A} : A \longrightarrow A + B$ and $u_{B} : B \longrightarrow A+B$ is zero.
Mar
19
answered Proof that sheafification induces isomorphism on stalks using adjoints
Mar
18
answered Product of simplicial complexes?
Mar
18
answered Definition of locally presentable category
Mar
18
asked Cohomological Whitehead theorem
Mar
18
answered When the points of coproduct are the coproduct of points
Mar
17
answered Show that $A \cong \mathbb{C}^n$ with A a commutative algebra
Mar
17
answered Example of epimorphisms such that the product is not an epimorphism in the category of sheaves
Mar
16
answered What is the cokernel of $\Bbb Q^{\text{disc}} \hookrightarrow \Bbb R$?
Mar
16
answered The injective objects in the category of algebras
Mar
16
answered How do we define affine combinations in affine spaces?