User Mozibur Ullah

24 votes

2 answers

6k views

Are Banach Manifolds intrinsically interesting?

asked Mar 9, 2012 at 3:57

20 votes

4 answers

4k views

Is there a categorical proof of Gödel's incompleteness theorem?

asked Jun 5, 2013 at 4:20

18 votes

3 answers

5k views

What notion captures the 'class' of all classes?

asked Dec 1, 2012 at 17:45

13 votes

3 answers

2k views

What is the characteristic property of surjective submersions?

asked Jan 24, 2013 at 6:39

11 votes

2 answers

2k views

Are grothendieck universes enough for the foundations of category theory?

asked Dec 1, 2012 at 19:23

10 votes

2 answers

2k views

why are subextensions of Galois extensions also Galois?

asked Jan 31, 2013 at 13:52

9 votes

1 answer

719 views

Is there a nice characterisation of topoi with nice meta-logical properties?

asked Jun 3, 2013 at 7:36

9 votes

3 answers

3k views

What is the Dunford Integral and why is it useful?

asked Apr 3, 2012 at 8:06

8 votes

1 answer

2k views

Why is the Tangent Groupoid useful in non-commutative geometry?

asked Jul 8, 2012 at 23:51

7 votes

5 answers

4k views

What is the functor tensor product?

asked Jul 26, 2012 at 1:16

6 votes

3 answers

1k views

Is there a category of topological-like spaces that forms a topos?

asked Sep 15, 2012 at 3:26

6 votes

2 answers

609 views

What categories correspond to the typed lambda calculus with parametric types?

asked Sep 22, 2012 at 5:31

5 votes

2 answers

524 views

are immersions/submersions captured in generalised smooth spaces by some universal property?

asked Dec 2, 2012 at 4:08

5 votes

1 answer

541 views

is there a universal property that characterises the join of two categories?

asked Sep 22, 2012 at 18:52

5 votes

2 answers

661 views

What is the analogue for the category of presheafs for complement toposes?

asked Jun 21, 2013 at 7:11

4 votes

2 answers

749 views

What is the impact on Godels theorem of Paraconsistency?

asked Jun 21, 2013 at 4:58

3 votes

0 answers

199 views

Is there a useful Galois connection between Languages and Grammars?

asked Jun 5, 2013 at 2:54

3 votes

0 answers

241 views

is there any connection between the consistent histories interpretation of quantum mechanics and kripke semantics?

asked Sep 22, 2012 at 14:35

2 votes

1 answer

429 views

What is a de Vries algebra?

asked Jul 11, 2012 at 23:57

2 votes

1 answer

868 views

Where should one go to learn about triangulated categories?

asked Dec 2, 2012 at 4:13

2 votes

2 answers

507 views

Are exotic spheres still exotic in generalised smooth spaces? [closed]

asked Dec 2, 2012 at 21:08

2 votes

1 answer

568 views

Are Verma modules universally characterised?

asked Dec 2, 2012 at 21:35

2 votes

0 answers

314 views

What are the current possibilities for infinite-dimensional manifolds? [closed]

asked Dec 5, 2012 at 20:13

2 votes

0 answers

107 views

Is there a nice theorem that makes essential use of types in typed first-order logic?

asked Jun 5, 2013 at 2:37

1 vote

2 answers

194 views

Can a classifying space be characterised universally? [closed]

asked Dec 2, 2012 at 21:14

1 vote

2 answers

687 views

How do we avoid circularity when we build a structure for ZFC? [closed]

asked Sep 26, 2012 at 2:35

1 vote

0 answers

639 views

when is a sum of idempotents idempotent in commutative ring theory?

asked Dec 1, 2012 at 18:56

1 vote

1 answer

212 views

gluing bundles as a 2-colimit

asked Mar 10, 2012 at 0:57

Stack Exchange Network

28 Questions

Are Banach Manifolds intrinsically interesting?

Is there a categorical proof of Gödel's incompleteness theorem?

What notion captures the 'class' of all classes?

What is the characteristic property of surjective submersions?

Are grothendieck universes enough for the foundations of category theory?

why are subextensions of Galois extensions also Galois?

Is there a nice characterisation of topoi with nice meta-logical properties?

What is the Dunford Integral and why is it useful?

Why is the Tangent Groupoid useful in non-commutative geometry?

What is the functor tensor product?

Is there a category of topological-like spaces that forms a topos?

What categories correspond to the typed lambda calculus with parametric types?

are immersions/submersions captured in generalised smooth spaces by some universal property?

is there a universal property that characterises the join of two categories?

What is the analogue for the category of presheafs for complement toposes?

What is the impact on Godels theorem of Paraconsistency?

Is there a useful Galois connection between Languages and Grammars?

is there any connection between the consistent histories interpretation of quantum mechanics and kripke semantics?

What is a de Vries algebra?

Where should one go to learn about triangulated categories?

Are exotic spheres still exotic in generalised smooth spaces? [closed]

Are Verma modules universally characterised?

What are the current possibilities for infinite-dimensional manifolds? [closed]

Is there a nice theorem that makes essential use of types in typed first-order logic?

Can a classifying space be characterised universally? [closed]

How do we avoid circularity when we build a structure for ZFC? [closed]

when is a sum of idempotents idempotent in commutative ring theory?

gluing bundles as a 2-colimit