User Zhen Lin

7 votes

Modern versions of Verdier's hypercovering theorem?

answered Aug 26, 2014 at 10:44

7 votes

The most unexpected and/or the least natural category theory theorem?

answered Mar 19, 2014 at 17:11

7 votes

Accepted

Example(s) of monoidal symmetric closed category with NNO without infinite coproducts?

answered Jun 26, 2014 at 9:24

7 votes

Free Objects in Functor Categories

answered Nov 21, 2012 at 11:33

7 votes

Accepted

Why does tensor product in Ab(V) require colimits in V?

answered Nov 27, 2012 at 22:04

7 votes

Intuitive explanation of Burnside's Lemma

answered Dec 21, 2010 at 7:36

6 votes

Accepted

Categories of logical formulae

answered Jan 2, 2011 at 3:01

6 votes

Characterizing a zero object by its endomorphisms

answered Jan 23, 2013 at 8:52

6 votes

Coequalizers in an Eilenberg-Moore category

answered Jul 29, 2013 at 22:14

6 votes

Further relation between monads and theories

answered Jun 20, 2013 at 17:41

6 votes

Finitely presentable objects in functor categories

answered Jan 21, 2014 at 1:15

6 votes

Accepted

Simple technical adjunction question

answered Apr 1, 2014 at 21:03

6 votes

Barr's theorem and constructivity?

answered Sep 15, 2013 at 16:18

6 votes

Slice-category-like terminology question

answered Nov 15, 2013 at 19:04

6 votes

When do two topoi have the same cohomology of constant sheaves

answered May 6, 2021 at 15:36

6 votes

Accepted

Is any abelian category a subcategory of $\mathrm{Ab}^I$?

answered Feb 1, 2022 at 15:30

6 votes

Categories in which isomorphism of stalks does not imply isomorphism of sheaves

answered Nov 24 at 6:45

6 votes

Accepted

Is the composite of absolute derived functors a derived functor?

answered Jul 17, 2022 at 8:14

6 votes

Contractibility of the category of cosimplicial resolutions

answered Aug 27, 2020 at 1:58

6 votes

Accepted

Reference for constructing tensor products of finitely presented functors

answered Oct 26, 2015 at 13:48

5 votes

Simple question: different definitions of Bousfield localization

answered Nov 25, 2015 at 13:16

5 votes

Accepted

Does $\mathsf{Ind}_\lambda^\mu(\mathsf{Ind}_\kappa^\lambda(\mathcal C)) = \mathsf{Ind}_\kappa^\mu(\mathcal C)$?

answered Jan 27, 2021 at 0:43

5 votes

Accepted

$(LLP(Epi), Epi)$ is a WFS on any variety of algebras

answered Oct 15, 2014 at 16:26

5 votes

a (pseudo)adjunction for the functor sending a category C to PSh(C) the category of presheaves

answered May 2, 2015 at 22:55

5 votes

Accepted

About the canonical morphism from $f^{}f_{}f^{}F$ to $f^{}F$

answered Oct 12, 2015 at 18:03

5 votes

Accepted

Do pretopoi have cohomology and homotopy groups?

answered Jan 25, 2022 at 14:32

5 votes

Accepted

Why do we need the axiom MS3 for localizing categories?

answered Aug 4, 2021 at 23:10

5 votes

Does the nerve functor (resp. fundamental groupoid functor) preserve homotopy colimits (resp. homotopy limits)?

answered Jul 12, 2014 at 21:24

5 votes

Set-Theoretic Issues/Categories

answered Apr 22, 2012 at 13:15

5 votes

Accepted

abelian group objects category

answered Feb 23, 2013 at 18:19

Stack Exchange Network

143 Answers

Modern versions of Verdier's hypercovering theorem?

The most unexpected and/or the least natural category theory theorem?

Example(s) of monoidal symmetric closed category with NNO without infinite coproducts?

Free Objects in Functor Categories

Why does tensor product in Ab(V) require colimits in V?

Intuitive explanation of Burnside's Lemma

Categories of logical formulae

Characterizing a zero object by its endomorphisms

Coequalizers in an Eilenberg-Moore category

Further relation between monads and theories

Finitely presentable objects in functor categories

Simple technical adjunction question

Barr's theorem and constructivity?

Slice-category-like terminology question

When do two topoi have the same cohomology of constant sheaves

Is any abelian category a subcategory of $\mathrm{Ab}^I$?

Categories in which isomorphism of stalks does not imply isomorphism of sheaves

Is the composite of absolute derived functors a derived functor?

Contractibility of the category of cosimplicial resolutions

Reference for constructing tensor products of finitely presented functors

Simple question: different definitions of Bousfield localization

Does $\mathsf{Ind}_\lambda^\mu(\mathsf{Ind}_\kappa^\lambda(\mathcal C)) = \mathsf{Ind}_\kappa^\mu(\mathcal C)$?

$(LLP(Epi), Epi)$ is a WFS on any variety of algebras

a (pseudo)adjunction for the functor sending a category C to PSh(C) the category of presheaves

About the canonical morphism from $f^{}f_{}f^{}F$ to $f^{}F$

Do pretopoi have cohomology and homotopy groups?

Why do we need the axiom MS3 for localizing categories?

Does the nerve functor (resp. fundamental groupoid functor) preserve homotopy colimits (resp. homotopy limits)?

Set-Theoretic Issues/Categories

abelian group objects category