Question

Show a $G$-set $(X,\mu: X\times G\to X)$ has continuous $\mu$ iff for each $x\in X$ its isotropy group is open.

score 242 · Answer 1 · 2026-04-13 18:38:58

242

Views

Show a $G$-set $(X,\mu: X\times G\to X)$ has continuous $\mu$ iff for each $x\in X$ its isotropy group is open.

Published on 13 Apr 2026 - 18:38

score 206 · Answer 2 · 2026-03-26 14:29:00

206

Views

Dedekind-infinite objects and NNO in an elementary topos

Published on 26 Mar 2026 - 14:29

score 48 · Answer 3 · 2026-04-14 21:29:24

48

Views

Find a suitable categorical product (related to proximity spaces)

Published on 14 Apr 2026 - 21:29

score 154 · Answer 4 · 2026-04-15 19:17:37

154

Views

Relationship between $\small (\infty,1)$-categories and simplicially enriched categories?

Published on 15 Apr 2026 - 19:17

score 65 · Answer 5 · 2026-04-17 04:51:38

65

Views

The heriditary category $A$-mod

Published on 17 Apr 2026 - 4:51

score 183 · Answer 6 · 2026-03-25 22:10:57

183

Views

Exercise I.6(b) of "Sheaves in Geometry and Logic [. . .]".

Published on 25 Mar 2026 - 22:10

score 196 · Answer 7 · 2026-04-17 13:37:38

196

Views

Partial order on Grothendieck group of an abelian category

Published on 17 Apr 2026 - 13:37

score 1.8k · Answer 8 · 2026-04-11 17:12:43

1.8k

Views

How do we know if two objects in a category are the same or not?

Published on 11 Apr 2026 - 17:12

score 116 · Answer 9 · 2026-03-25 22:25:19

116

Views

General description of colimits in $\mathbf{Set}$

Published on 25 Mar 2026 - 22:25

score 134 · Answer 10 · 2026-03-25 22:23:46

134

Views

Equivalent definitions of preserving limits

Published on 25 Mar 2026 - 22:23

score 121 · Answer 11 · 2026-04-02 14:35:30

121

Views

Curry-Howard: Types with Logic vs Types as Logic

Published on 02 Apr 2026 - 14:35

score 123 · Answer 12 · 2026-04-17 15:25:32

123

Views

Uniform probability distributions in the category of stochastic maps

Published on 17 Apr 2026 - 15:25

score 181 · Answer 13 · 2026-03-25 23:34:44

181

Views

Polynomial Rings "Most Efficient" Ring?

Published on 25 Mar 2026 - 23:34

score 60 · Answer 14 · 2026-03-25 22:03:14

60

Views

Conclude that $\mathbf{B}G$ is a CCC using previous questions in "Sheaves in Geometry and Logic [. . .]".

Published on 25 Mar 2026 - 22:03

score 120 · Answer 15 · 2026-04-13 09:35:08

120

Views

Are "free products" just coproducts in categories admitting presentations of objects (generators and relators)?

Published on 13 Apr 2026 - 9:35

List Question

Show a $G$-set $(X,\mu: X\times G\to X)$ has continuous $\mu$ iff for each $x\in X$ its isotropy group is open.

Dedekind-infinite objects and NNO in an elementary topos

Find a suitable categorical product (related to proximity spaces)

Relationship between $\small (\infty,1)$-categories and simplicially enriched categories?

The heriditary category $A$-mod

Exercise I.6(b) of "Sheaves in Geometry and Logic [. . .]".

Partial order on Grothendieck group of an abelian category

How do we know if two objects in a category are the same or not?

General description of colimits in $\mathbf{Set}$

Equivalent definitions of preserving limits

Curry-Howard: Types with Logic vs Types as Logic

Uniform probability distributions in the category of stochastic maps

Polynomial Rings "Most Efficient" Ring?

Conclude that $\mathbf{B}G$ is a CCC using previous questions in "Sheaves in Geometry and Logic [. . .]".

Are "free products" just coproducts in categories admitting presentations of objects (generators and relators)?

Trending Questions

Popular # Hahtags

Popular Questions