37,209 reputation
241108
bio website
location
age
visits member for 3 years, 7 months
seen 16 mins ago

Sep
10
revised Fixing an object $Y$ defines a contravariant functor $\mathcal{C}^{op} \rightarrow$ Sets
edited tags
Sep
6
revised A generator (or a cogenrerator) for the category of schemes
added 31 characters in body
Sep
6
revised A generator (or a cogenrerator) for the category of schemes
added 1217 characters in body
Sep
4
revised What does the sentence “The only sub-algebras of $\mathbb{R}^{2}$ are $0,\mathbb{R}^{2},\mathbb{R}(0,1),\mathbb{R}(1,0),\mathbb{R}(1,1)$” mean?
added 316 characters in body
Sep
3
revised Birational and faithfully flat $\implies$ isomorphism
added 34 characters in body
Aug
29
revised A de-Morgan law for Heyting lattices
added 782 characters in body
Aug
29
revised Problem with completeness theorem and $\mathsf{Con(ZFC)}$
added 44 characters in body
Aug
28
revised Construction of an infinite number type and other ideas
edited tags
Aug
26
revised Showing that the sheaf-functor $\epsilon: \tilde{\sf C} \to \tilde{\tilde{\sf C}}$ is an equivalence
deleted 35 characters in body
Aug
25
revised Kan extensions for linear categories
added 7 characters in body
Aug
25
revised Showing that the sheaf-functor $\epsilon: \tilde{\sf C} \to \tilde{\tilde{\sf C}}$ is an equivalence
deleted 6 characters in body
Aug
25
revised “The lattice” or “a lattice”?
edited tags
Aug
18
revised Prove $\mathbb{R}^3$ is not the product of two identical topological spaces
edited tags
Aug
17
revised Category of profinite groups
edited tags
Aug
12
revised Dimension of an object?
edited tags
Aug
8
revised How to define the category of model structures of a category?
edited tags
Aug
8
revised What is a (-1)-morphism?
edited tags
Aug
2
revised On consistency of axiomatic systems
added 30 characters in body
Jul
24
revised Facts about the tensor product
deleted 128 characters in body
Jul
24
revised Are lax kernel pairs stable under change of base?
edited tags