User Zhen Lin

25 votes

Can the Category of Schemes be Concretized?

answered Mar 18, 2014 at 19:37

23 votes

Accepted

Axiom of choice as zero dimensionality

answered Dec 30, 2015 at 11:46

22 votes

Sheaf-theoretic approach to forcing

answered Mar 4, 2021 at 15:36

22 votes

When is the opposite of the category of algebras of a Lawvere theory extensive?

answered Dec 29, 2021 at 1:59

22 votes

Is the category commutative monoids cartesian closed?

answered Jul 12, 2013 at 8:21

20 votes

Accepted

Are there non-categorical notions in topos theory?

answered Apr 4, 2013 at 7:22

20 votes

Accepted

Is there a monad on Set whose algebras are Tychonoff spaces?

answered Jun 28, 2013 at 15:25

18 votes

Accepted

Category and the axiom of choice

answered Jan 21, 2013 at 11:22

17 votes

Major applications of the internal language of toposes

answered Dec 26, 2021 at 15:29

17 votes

Accepted

Definition of ind-schemes

answered Feb 1, 2016 at 11:30

16 votes

Accepted

Why the reflection rule trivializes higher paths in Martin-Löf Extensional Type theory?

answered Feb 2, 2016 at 16:43

16 votes

$\infty$-ary tensor product on a category

answered Sep 8, 2012 at 19:17

16 votes

Accepted

Which categories are the categories of models of a Lawvere theory?

answered Jun 10, 2013 at 22:16

14 votes

"Wrong" strictification of symmetric monoidal categories

answered Apr 24, 2013 at 16:01

14 votes

Accepted

Projectives and Injectives in Functor Categories

answered Apr 8, 2014 at 13:26

14 votes

Accepted

The real numbers object in Sh(Top)

answered Nov 4, 2014 at 10:34

14 votes

Accepted

Quasicategories for non-simplicial model categories

answered Aug 11, 2015 at 12:55

13 votes

Accepted

What's an initial object in a poset-enriched category?

answered Mar 18, 2014 at 20:20

13 votes

Accepted

Does this kind of endofunctor ever have an initial algebra?

answered Apr 23, 2013 at 7:12

12 votes

Accepted

On the large cardinals foundations of categories

answered May 14, 2013 at 21:34

12 votes

Kan condition in simplicial homotopy theory

answered Aug 5, 2014 at 7:42

12 votes

Characterize the category of rings

answered Oct 23, 2014 at 18:01

12 votes

Every Grothendieck topos can be built from localic topoi

answered Feb 18, 2022 at 16:54

12 votes

Accepted

What's the intuition for weighted limits?

answered Nov 12, 2022 at 1:57

12 votes

Localic or topos-theoretic definition of $\operatorname{Spec}$

answered Jan 25, 2023 at 23:57

11 votes

Small objects vs Compact objects

answered Dec 3, 2014 at 14:34

11 votes

What is a good basic reference on model categories?

answered May 28, 2013 at 18:53

10 votes

Grothendieck Topologies versus Pretopologies

answered Jul 30, 2012 at 7:31

10 votes

Accepted

Cartesian product of small objects

answered Dec 9, 2014 at 13:34

10 votes

Accepted

How should I be thinking about object classifiers / universal fibrations / universes?

answered Jul 16, 2014 at 16:27

Stack Exchange Network

143 Answers

Can the Category of Schemes be Concretized?

Axiom of choice as zero dimensionality

Sheaf-theoretic approach to forcing

When is the opposite of the category of algebras of a Lawvere theory extensive?

Is the category commutative monoids cartesian closed?

Are there non-categorical notions in topos theory?

Is there a monad on Set whose algebras are Tychonoff spaces?

Category and the axiom of choice

Major applications of the internal language of toposes

Definition of ind-schemes

Why the reflection rule trivializes higher paths in Martin-Löf Extensional Type theory?

$\infty$-ary tensor product on a category

Which categories are the categories of models of a Lawvere theory?

"Wrong" strictification of symmetric monoidal categories

Projectives and Injectives in Functor Categories

The real numbers object in Sh(Top)

Quasicategories for non-simplicial model categories

What's an initial object in a poset-enriched category?

Does this kind of endofunctor ever have an initial algebra?

On the large cardinals foundations of categories

Kan condition in simplicial homotopy theory

Characterize the category of rings

Every Grothendieck topos can be built from localic topoi

What's the intuition for weighted limits?

Localic or topos-theoretic definition of $\operatorname{Spec}$

Small objects vs Compact objects

What is a good basic reference on model categories?

Grothendieck Topologies versus Pretopologies

Cartesian product of small objects

How should I be thinking about object classifiers / universal fibrations / universes?