Reputation
44,775
Next tag badge:
94/100 score
27/20 answers
Badges
2 54 129
Impact
~385k people reached

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
Mar
5
answered When are zero morphisms preserved?
Mar
5
answered When is a fully faithful functor an equivalant functor?
Mar
4
answered An existence of a right Kan extension
Mar
1
answered What axioms need to be added to second-order ZFC before it has a unique model (up to isomorphism)?