Reputation
45,171
Next tag badge:
94/100 score
27/20 answers
Badges
2 57 131
Impact
~392k people reached

Apr
17
answered Algebraic description of a stalk in the fppf topology
Apr
17
answered explicitly represent a representable functor
Apr
13
asked What are the “ordinary” (e.g. arithmetic) consequences of the universe axiom?
Apr
11
answered Elephant: how do I prove Lemma 2.1.7, section C2.1?
Apr
8
answered Is a topological space a structure?
Apr
7
answered Stone's Representation Theorem and The Compactness Theorem
Apr
2
answered $F:C\to D, G:D\to E$ are functors, $G$ has a right adj, $F$ is fully faithful, $G$ is faithful, $F$ is “relatively dense”. Does $F$ have an adj?
Apr
1
answered If $F:C\to D$ and $G:D\to E$ are functors, and both $GF$ and $G$ have a right adjoint, does $F$ has a right adjoint too?
Mar
30
answered $F:C\to D$, $G:D\to E$, $G$ has an adjoint, $F$ is fully faithful and for each $Z$ there is $X$ s.t. $F(X) = H(G(Z))$: Does $F$ has an adjoint?
Mar
20
answered If $\mathcal F$ is a sheaf, then is $\mathcal F (- \times X)$ a sheaf?
Mar
18
answered Two different answers when computing dimension of Zariski cotangent space?
Mar
17
answered Paths between 0-cells in a classifying space.
Mar
15
answered Pure Submodules and Finitely Presented versus Finitely Generated Submodules
Mar
14
answered Does the inclusion from affine schemes into schemes preserve pushouts?
Mar
12
answered What structure does the space of functions into $X$ (or the cartesian exponentiation of $X$) inherit from $X$?
Mar
11
answered When two morphisms are dual to each other in a 2 category?
Mar
10
answered Cylinder object in the model category of chain complexes
Mar
9
answered Which categories correspond to the untyped and typed lambda calculus?
Mar
9
answered What is a monad in a $2$-category?
Mar
7
answered A new(?) partial order on the set of continuous maps