Skip to main content
Mozibur Ullah's user avatar
Mozibur Ullah's user avatar
Mozibur Ullah's user avatar
Mozibur Ullah
  • Member for 12 years, 2 months
  • Last seen this week
  • London, United Kingdom
21 votes
1 answer
2k views

The class of all classes not containing themselves

21 votes
3 answers
1k views

Is there a category whose internal logic is paraconsistent?

19 votes
1 answer
8k views

What are defining & fundamental representations?

17 votes
2 answers
2k views

Is Gödel's incompleteness theorem provable without any model-theoretic notion?

15 votes
1 answer
665 views

Are there useful categorical characterisations of the topological separation axioms?

15 votes
2 answers
430 views

Was there some prior idea that inspired both Fermat & Descartes to invent coordinates?

15 votes
2 answers
3k views

Is the product of $\sigma$-algebras a tensor product in some sense?

13 votes
1 answer
2k views

How did Cohen invent forcing?

13 votes
1 answer
1k views

Is it possible to formulate variational calculus geometrically?

11 votes
5 answers
4k views

why are subextensions of Galois extensions also Galois?

11 votes
3 answers
2k views

Is higher order type theory the same as higher order logic?

11 votes
1 answer
539 views

Is the internal language of a topos complete, sound and effective?

10 votes
1 answer
2k views

What are spinors mathematically?

9 votes
1 answer
273 views

Whats the generalisation in category theory of the classical cover in topology?

8 votes
1 answer
630 views

What are the formal properties of Godel numbering that are required to make it 'work'?

8 votes
2 answers
600 views

What are the subobjects of a manifold?

7 votes
1 answer
232 views

Is there a useful Galois connection between Languages and Grammars?

7 votes
1 answer
1k views

What was the Lawveres explanation of adjoint functors in terms of Hegelian Philosophy?

7 votes
1 answer
501 views

Is there a topos-like category that classifies regular subobjects?

6 votes
3 answers
368 views

What is the notion of truth used in Godels incompleteness theorem?

6 votes
1 answer
347 views

Can logic be significantly geometrised?

6 votes
2 answers
261 views

How should we think of maps to the intial object?

6 votes
1 answer
225 views

Is there a generalisation of Yoneda embedding to toposes?

6 votes
1 answer
2k views

Can Young tableaux determine all the irreducible representations of Lie groups?

6 votes
2 answers
2k views

Is there any direct application of Gödel's Theorems outside of logic?

6 votes
4 answers
758 views

Are all large cardinal axioms expressible in terms of elementary embeddings?

6 votes
3 answers
683 views

Are spinors, at least mathematically, representations of the universal cover of a lie group, that do not descend to the group?

6 votes
1 answer
652 views

Are there dual logic gates?

6 votes
1 answer
467 views

Can curvature be defined in Topos Theory?

6 votes
4 answers
3k views

Is there a largest large cardinal?