User Student

31 votes

2 answers

3k views

A natural construction of real numbers?

asked Aug 10, 2021 at 19:27

25 votes

1 answer

2k views

Definition of an n-category

asked Oct 24, 2020 at 11:54

20 votes

1 answer

599 views

Manifolds as Cauchy completed objects

asked Aug 22, 2022 at 22:06

15 votes

2 answers

2k views

Formal definition of homotopy type theory

asked Oct 11, 2020 at 20:29

12 votes

3 answers

849 views

Subalgebra of a group algebra

asked Apr 18, 2019 at 20:19

12 votes

2 answers

1k views

A toy model in 0-d QFT

asked Oct 12, 2019 at 15:34

11 votes

1 answer

2k views

What do physicists mean by a topological quantum gravity theory

asked Nov 9, 2019 at 23:42

11 votes

3 answers

908 views

Does Morita theory hint higher modules for noncommutative ring?

asked Jul 19, 2020 at 22:43

10 votes

1 answer

806 views

DW, state sum models, and fully extended TQFTs

asked Apr 20, 2020 at 1:57

10 votes

2 answers

460 views

Presentations of mapping class groups in dimension $3$

asked May 21, 2021 at 22:25

9 votes

0 answers

205 views

Donaldson invariants for piecewise-linear $4$-manifolds

asked Aug 11, 2021 at 18:56

9 votes

0 answers

459 views

Useful applications of applied category theory

asked Nov 2, 2022 at 1:57

9 votes

2 answers

2k views

Truth in a different universe of sets?

asked Feb 15 at 14:02

9 votes

0 answers

203 views

Reduction of the $0$-handle data in Lurie's classification of TFT

asked Sep 21 at 21:33

8 votes

1 answer

1k views

What's the point of a point-free locale?

asked Jan 20, 2022 at 19:46

8 votes

1 answer

736 views

Inverse Kirby knot

asked Sep 22, 2021 at 16:29

8 votes

2 answers

629 views

Presentations of exotic 4-manifolds

asked Nov 14, 2021 at 0:57

8 votes

3 answers

528 views

Classification of $\operatorname{Rep} D(G)$

asked Dec 9, 2019 at 14:06

8 votes

3 answers

1k views

Meaning of A-infinity relations

asked Oct 1, 2019 at 13:40

7 votes

1 answer

735 views

Nowhere vanishing section implies reduction of structure group

asked Sep 14, 2019 at 21:22

7 votes

3 answers

650 views

Representations of $D(G)$ as an object in the center of $\operatorname{Rep}(G)$

asked Dec 20, 2019 at 13:36

7 votes

0 answers

221 views

Representations of 2-groups and quantum double constructions

asked Sep 15, 2020 at 19:25

7 votes

1 answer

489 views

Combinatorial meaning of Kazhdan-Lusztig-Stanley polynomial

asked Oct 1, 2020 at 17:53

7 votes

2 answers

447 views

Equivalences of $n$-categories

asked Nov 25, 2021 at 14:13

7 votes

2 answers

550 views

A specific property of bi-adjunction

asked Nov 21, 2020 at 22:55

7 votes

2 answers

426 views

Natural ways to make a functor adjoint

asked Jan 12 at 0:41

7 votes

2 answers

835 views

Holonomy as integration of curvature for principal $G$-bundles?

asked Apr 12, 2023 at 6:44

6 votes

0 answers

246 views

What do Macdonald polynomials hint about $\operatorname{Rep}(S_\infty)$?

asked Dec 14, 2021 at 20:55

6 votes

1 answer

327 views

Steenrod squares in terms of chain maps

asked Feb 24, 2022 at 17:07

6 votes

0 answers

354 views

Cohomology without comonad?

asked Nov 19, 2020 at 18:06

Stack Exchange Network

87 Questions

A natural construction of real numbers?

Definition of an n-category

Manifolds as Cauchy completed objects

Formal definition of homotopy type theory

Subalgebra of a group algebra

A toy model in 0-d QFT

What do physicists mean by a topological quantum gravity theory

Does Morita theory hint higher modules for noncommutative ring?

DW, state sum models, and fully extended TQFTs

Presentations of mapping class groups in dimension $3$

Donaldson invariants for piecewise-linear $4$-manifolds

Useful applications of applied category theory

Truth in a different universe of sets?

Reduction of the $0$-handle data in Lurie's classification of TFT

What's the point of a point-free locale?

Inverse Kirby knot

Presentations of exotic 4-manifolds

Classification of $\operatorname{Rep} D(G)$

Meaning of A-infinity relations

Nowhere vanishing section implies reduction of structure group

Representations of $D(G)$ as an object in the center of $\operatorname{Rep}(G)$

Representations of 2-groups and quantum double constructions

Combinatorial meaning of Kazhdan-Lusztig-Stanley polynomial

Equivalences of $n$-categories

A specific property of bi-adjunction

Natural ways to make a functor adjoint

Holonomy as integration of curvature for principal $G$-bundles?

What do Macdonald polynomials hint about $\operatorname{Rep}(S_\infty)$?

Steenrod squares in terms of chain maps

Cohomology without comonad?