Reputation
44,135
Next tag badge:
93/100 score
27/20 answers
Badges
2 54 128
Impact
~369k people reached

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)?
Feb
27
answered If $R$ is an infinite ring, then $R$ has either infinitely many zero divisors, or no zero divisors
Feb
26
answered Internalising the functor action on morphisms (e.g. to exponential objects)
Feb
21
answered How to interpret $1 \to 0$ in ${\bf Set}^\mathrm{op}$, and ${\bf Set}^\mathrm{op}$ itself?
Feb
20
answered Products and pullbacks imply equalizers?
Feb
18
answered Show that the ideal of $k[X_1, X_2, X_3]$ generated by $X_1^3-X_3$ and $X_2^2-X_3$ is a prime ideal.
Feb
15
answered adjunction relation
Feb
15
answered Is there a categorical construction of the general linear group?
Feb
14
answered Are the right derived functors of the inclusion sheaf cohomology?