Mozibur Ullah's user avatar
Mozibur Ullah's user avatar
Mozibur Ullah's user avatar
Mozibur Ullah
  • Member for 12 years
23 votes
2 answers
5k views

Are Banach Manifolds intrinsically interesting?

20 votes
4 answers
4k views

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

15 votes
3 answers
5k views

What notion captures the 'class' of all classes?

13 votes
3 answers
2k views

What is the characteristic property of surjective submersions?

11 votes
2 answers
2k views

Are grothendieck universes enough for the foundations of category theory?

10 votes
2 answers
1k views

why are subextensions of Galois extensions also Galois?

9 votes
1 answer
684 views

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

9 votes
3 answers
3k views

What is the Dunford Integral and why is it useful?

8 votes
1 answer
1k views

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

7 votes
5 answers
4k views

What is the functor tensor product?

6 votes
3 answers
1k views

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

6 votes
2 answers
599 views

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

5 votes
2 answers
490 views

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

5 votes
1 answer
503 views

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

5 votes
2 answers
632 views

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

4 votes
2 answers
728 views

What is the impact on Godels theorem of Paraconsistency?

3 votes
0 answers
194 views

Is there a useful Galois connection between Languages and Grammars?

3 votes
0 answers
238 views

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

2 votes
1 answer
403 views

What is a de Vries algebra?

2 votes
1 answer
824 views

Where should one go to learn about triangulated categories?

2 votes
2 answers
500 views

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

2 votes
1 answer
559 views

Are Verma modules universally characterised?

2 votes
0 answers
309 views

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

2 votes
0 answers
106 views

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

1 vote
2 answers
191 views

Can a classifying space be characterised universally? [closed]

1 vote
2 answers
629 views

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

1 vote
0 answers
616 views

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

1 vote
1 answer
211 views

gluing bundles as a 2-colimit