Reputation
51,605
Next tag badge:
99/100 score
25/20 answers
Badges
4 68 146
Impact
~512k people reached

Aug
19
answered Free $\Phi$-cocompletion of a category
Aug
18
answered Localization of modules as adjunction
Aug
17
answered Category of profinite groups
Aug
15
answered The sum of the first $n$ natural numbers is $n(n+1)/2.$ How do we express this in Peano arithmetic?
Aug
15
answered Epistemic disjunction, axiom or rule?
Aug
8
answered How to define the category of model structures of a category?
Aug
8
answered What is a (-1)-morphism?
Aug
4
asked The two-sided simplicial bar construction is Reedy-cofibrant
Aug
4
answered Are the hom sets in the category of varieties abelian groups?
Aug
3
answered Confusion about Homotopy Type Theory terminology
Aug
3
answered A Turing machine for which halting is outside ZFC
Aug
2
answered Mac Lane exercise - Elegant comma category exercise proven by S.A Huq
Aug
1
answered Local-global properties (localization): free, projective, injective, flat, torsion-free, etc?
Aug
1
answered On consistency of axiomatic systems
Jul
31
answered Why is arc length not a differential form?
Jul
30
asked Acyclic Hurewicz fibrations
Jul
30
answered Gluing sheaves - can we realize $\mathcal{F}(W)$ as some kind of limit?
Jul
30
answered Under what choice assumptions is there a monoid structure on every set?
Jul
29
answered Does “cheap nonstandard analysis” take place in a topos?
Jul
29
answered A category where maps are factorizations - what is this called?