User Simon Henry

8 votes

Accepted

Delexing a finitely complete category

answered Aug 11 at 10:42

7 votes

Can the real numbers be constructed as/from a Hom-object in a topos?

answered Nov 12 at 2:30

7 votes

Is there a reasoned derivation of the coherence conditions for symmetric rig categories?

answered Oct 21 at 14:31

7 votes

The category of groupoids vs the category of sets

answered Oct 5, 2023 at 19:55

7 votes

Compact objects in slice categories of finitely presentable categories

answered Jan 25 at 1:33

7 votes

Accepted

Comparing Kripke-Joyal semantics of toposes to model-theoretic satisfaction

answered Aug 14, 2021 at 18:04

7 votes

Generalizing $n$ for $n$-categories

answered Aug 26, 2022 at 15:43

7 votes

Accepted

Are lists in homotopy type theory free $A_\infty$-spaces?

answered Jan 24, 2023 at 15:08

7 votes

Accepted

Almost combinatorial accessible model categories

answered Jul 4, 2020 at 13:06

7 votes

Accepted

Groupoids as models of symmetric simplicial sets

answered Jul 28, 2020 at 23:40

7 votes

What are the advantages of simplicial model categories over non-simplicial ones?

answered Mar 22, 2019 at 16:13

7 votes

Accepted

Universal property of sheaf category

answered Dec 14, 2018 at 10:33

7 votes

Accepted

Is every accessible category well-powered?

answered Feb 22, 2019 at 8:43

7 votes

Dualizable object in the category of locally presentable categories

answered Jul 3, 2019 at 20:51

7 votes

Accepted

Inverse limit of $\Bbb Q/q\Bbb Z$ isomorphic to finite adeles?

answered Nov 11, 2015 at 9:30

7 votes

Is there any danger far from home? (Edited & Revised Version)

answered Nov 29, 2013 at 10:12

7 votes

Accepted

Imaginary part of a spectrum

answered Oct 12, 2012 at 10:39

7 votes

On Street's "australian conspectus"

answered Jan 29, 2018 at 9:37

6 votes

Accepted

Constructive proofs of existence in analysis using locales

answered Jan 11, 2018 at 7:17

6 votes

Accepted

Tietze transformations for sites of toposes

answered Apr 3, 2018 at 16:20

6 votes

Accepted

A "small" definition of sub-(∞,1)-topoi

answered Nov 20, 2018 at 21:35

6 votes

Accepted

Cellularity of anodyne extensions?

answered Oct 24, 2018 at 15:17

6 votes

What does it mean for a category to admit direct integrals?

answered Oct 25, 2018 at 20:57

6 votes

Which category of sheaves on a manifold remembers the manifold?

answered Dec 14, 2016 at 20:36

6 votes

Accepted

Descent of Higher categorical structures along geometric morphisms

answered Mar 16, 2016 at 12:43

6 votes

Accepted

questions of localization of topos

answered Mar 30, 2013 at 10:02

6 votes

Which models of set theory are locally presentable?

answered Feb 15, 2016 at 18:53

6 votes

Natural isomorphisms: what is the status now of "the Eilenberg/Mac Lane Thesis"?

answered Oct 8, 2015 at 9:22

6 votes

Accepted

The Gelfand duality for pro-$C^*$-algebras

answered Aug 14, 2015 at 8:50

6 votes

Accepted

Continuous maps on compact topological spaces which induce compact (Fredholm) operators

answered Jul 23, 2015 at 13:27

Stack Exchange Network

308 Answers

Delexing a finitely complete category

Can the real numbers be constructed as/from a Hom-object in a topos?

Is there a reasoned derivation of the coherence conditions for symmetric rig categories?

The category of groupoids vs the category of sets

Compact objects in slice categories of finitely presentable categories

Comparing Kripke-Joyal semantics of toposes to model-theoretic satisfaction

Generalizing $n$ for $n$-categories

Are lists in homotopy type theory free $A_\infty$-spaces?

Almost combinatorial accessible model categories

Groupoids as models of symmetric simplicial sets

What are the advantages of simplicial model categories over non-simplicial ones?

Universal property of sheaf category

Is every accessible category well-powered?

Dualizable object in the category of locally presentable categories

Inverse limit of $\Bbb Q/q\Bbb Z$ isomorphic to finite adeles?

Is there any danger far from home? (Edited & Revised Version)

Imaginary part of a spectrum

On Street's "australian conspectus"

Constructive proofs of existence in analysis using locales

Tietze transformations for sites of toposes

A "small" definition of sub-(∞,1)-topoi

Cellularity of anodyne extensions?

What does it mean for a category to admit direct integrals?

Which category of sheaves on a manifold remembers the manifold?

Descent of Higher categorical structures along geometric morphisms

questions of localization of topos

Which models of set theory are locally presentable?

Natural isomorphisms: what is the status now of "the Eilenberg/Mac Lane Thesis"?

The Gelfand duality for pro-$C^*$-algebras

Continuous maps on compact topological spaces which induce compact (Fredholm) operators