User Simon Henry

11 votes

Topos properties from coverage conditions

answered Oct 31, 2017 at 14:29

11 votes

Galois theory, topos vs fundamental groups

answered Nov 24, 2017 at 20:50

10 votes

The cofibration/fibration $\leftrightarrow$ epi/mono confusion

answered Nov 30, 2017 at 14:44

10 votes

Relation between Galois theory and Etale Cohomology

answered Aug 23, 2013 at 18:39

10 votes

Strong Morita Equivalence and Morphisms Between $ C^{*} $-Algebras

answered Feb 22, 2014 at 15:46

10 votes

Is this a functor on the category of $C^{*}$ algebras?

answered Sep 30, 2015 at 15:54

10 votes

The Schwartz space is not normable

answered Sep 11, 2015 at 11:24

10 votes

What are the 'wonderful consequences' following from the existence of a minimal dense subspace?

answered Dec 4, 2018 at 13:22

10 votes

Accepted

Pulling back a functor, it becomes monadic

answered Feb 16, 2020 at 14:29

10 votes

Accepted

Remark 5.4.2.15 in HTT

answered Mar 9, 2021 at 17:59

10 votes

Accepted

Different definitions of condensed sets

answered Dec 24, 2020 at 1:56

10 votes

Accepted

Is there an equivalent of the incompleteness theorems/halting problem in category theory?

answered Feb 15, 2021 at 17:53

10 votes

Topos extensions

answered May 17, 2020 at 14:49

10 votes

Why we can analytically define $ε$ in dual numbers so to distinguish $ε$ from $-ε$ but cannot do so in complex and split-complex numbers?

answered Jun 1, 2022 at 22:10

10 votes

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

answered Dec 28, 2021 at 16:01

10 votes

Equivalence between geometric theories and frames internal to the free topos

answered Feb 8, 2022 at 20:34

10 votes

Accepted

A C-algebra enjoying some different C-norms

answered Feb 19, 2022 at 14:59

10 votes

Accepted

Is $C(X, \{0,1\})$ locally compact?

answered Oct 24 at 2:23

9 votes

Accepted

Giraud's axioms imply balanced

answered Oct 4 at 22:09

9 votes

Conservative cocompletion of categories of geometric shapes for homotopy theory

answered Apr 24 at 17:14

9 votes

A possible alternative model for $\infty$-groupoids

answered Oct 8, 2023 at 23:09

9 votes

Accepted

Relationship between canonical topology on a topos and its site of definition

answered Oct 23, 2023 at 15:57

9 votes

Equivalences of $n$-categories

answered Nov 25, 2021 at 15:34

9 votes

Is there a good general definition of "sheaves with values in a category"?

answered Apr 5, 2021 at 14:10

9 votes

Accepted

Intermediate notions of bilinearity in higher algebra

answered Jul 23, 2021 at 20:37

9 votes

How exotic can an infinite biproduct in an additive category be?

answered Aug 15, 2022 at 23:03

9 votes

A new (?) way of composing monads

answered Oct 5, 2022 at 2:23

9 votes

Would it be possible to propose a satisfying categorical definition for the notion of basis?

answered Apr 23, 2023 at 14:18

9 votes

Accepted

Do all toposes satisfy the internal Zorn's lemma?

answered Apr 13, 2023 at 13:56

9 votes

Accepted

presentability rank of categories of coalgebras

answered Feb 24, 2020 at 21:23

Stack Exchange Network

308 Answers

Topos properties from coverage conditions

Galois theory, topos vs fundamental groups

The cofibration/fibration $\leftrightarrow$ epi/mono confusion

Relation between Galois theory and Etale Cohomology

Strong Morita Equivalence and Morphisms Between $ C^{*} $-Algebras

Is this a functor on the category of $C^{*}$ algebras?

The Schwartz space is not normable

What are the 'wonderful consequences' following from the existence of a minimal dense subspace?

Pulling back a functor, it becomes monadic

Remark 5.4.2.15 in HTT

Different definitions of condensed sets

Is there an equivalent of the incompleteness theorems/halting problem in category theory?

Topos extensions

Why we can analytically define $ε$ in dual numbers so to distinguish $ε$ from $-ε$ but cannot do so in complex and split-complex numbers?

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

Equivalence between geometric theories and frames internal to the free topos

A C-algebra enjoying some different C-norms

Is $C(X, \{0,1\})$ locally compact?

Giraud's axioms imply balanced

Conservative cocompletion of categories of geometric shapes for homotopy theory

A possible alternative model for $\infty$-groupoids

Relationship between canonical topology on a topos and its site of definition

Equivalences of $n$-categories

Is there a good general definition of "sheaves with values in a category"?

Intermediate notions of bilinearity in higher algebra

How exotic can an infinite biproduct in an additive category be?

A new (?) way of composing monads

Would it be possible to propose a satisfying categorical definition for the notion of basis?

Do all toposes satisfy the internal Zorn's lemma?

presentability rank of categories of coalgebras