Reputation
50,030
Next tag badge:
94/100 score
24/20 answers
Badges
2 65 139
Impact
~476k people reached

Oct
20
revised definition of the notion of a subcategory of an $\infty$-category
added 234 characters in body
Oct
20
revised definition of the notion of a subcategory of an $\infty$-category
edited tags
Oct
20
revised A preordered set related to realisability logic
added 541 characters in body
Oct
20
revised Is there a specific name for arithmetic and operations on Probability Density Functions
edited tags
Oct
13
revised Is Topological Space an Algebraic Structure?
edited tags
Oct
11
revised over categories of a morphism?
edited tags
Oct
3
revised Branch point-what makes a closed loop around it special?
edited body
Sep
30
revised Free modules internal to a nice category
added 743 characters in body
Sep
30
revised Free modules internal to a nice category
added 743 characters in body
Sep
30
revised Free modules internal to a nice category
added 743 characters in body
Sep
30
revised Functors which induce isomorphisms on isomorphism-sets
edited tags
Sep
29
revised Why homotopy category is not abelian?
edited tags
Sep
25
revised Inclusion $\mathbb{Z}\rightarrow \mathbb{Q}$ is a bijection?
edited tags
Sep
23
revised Cayley's theorem as a particular case of Yoneda's Lemma. Is my work correct?
edited title
Sep
17
revised Continuous Functor on Vector Spaces induces Functor on Vector Bundles
edited tags
Sep
10
revised Is there another well-pointed elementary topos satisfying internal choice without natural numbers object?
edited tags
Sep
9
revised Pointless Topology Text
edited tags
Sep
8
revised subobject classifier and characteristic arrow in presheaf topos
edited tags
Sep
3
revised A question about injective modules
edited tags
Aug
26
revised generalized affine scheme
edited tags