33,797 reputation
23790
bio website
location
age
visits member for 3 years, 3 months
seen 7 hours ago

Dec
17
revised Unprovable Equivalence in Type Theory
edited tags
Dec
15
revised Proof that Beck-Chevalley holds for right adjoints iff it holds for left adjoints
edited body
Dec
10
revised Right adjoint functor
edited tags
Dec
9
revised Example of a functor which preserves all small limits but has no left adjoint
deleted 1031 characters in body
Dec
9
revised Proving invariance of $ds^2$ from the invariance of the speed of light
edited tags
Dec
9
revised Adjoint of forgetful functor
edited tags
Dec
5
revised Why is the colimit over this filtered index category the object $F(i_0)$?
added 209 characters in body
Dec
5
revised Why is the colimit over this filtered index category the object $F(i_0)$?
added 460 characters in body
Dec
5
revised How Co-Comma Categories are constructed?
deleted 8 characters in body
Dec
4
revised Pullback preserves cokernel
edited tags
Dec
4
revised Showing that a functor is not representable.
edited tags
Dec
2
revised Foundational theories, their uses, interactions and comparisons?
edited tags
Dec
1
revised The set of discontinuous points is countable union of closed sets
edited tags
Nov
29
revised Exact sequence in a category with zero morphisms
added 263 characters in body
Nov
29
revised Every projective f. g. module is f. p.
edited tags
Nov
28
revised Why $F^{+}$ is a monopresheaf?
edited tags
Nov
28
revised What is a (the?) good starting point for learning the modern “higher” mathematics?
edited tags
Nov
26
revised Properties of the internal language of the category of sheaves.
edited tags
Nov
26
revised Deeper studies in Category Theory: suggestions and references.
deleted 1 characters in body
Nov
26
revised Deeper studies in Category Theory: suggestions and references.
deleted 1 characters in body