27

Questions
votes newest views recent
8
10
votes
3
answers
2k
views

Explicit Hamel basis of real numbers

nov 17 10 at 3:36 Joel David Hamkins 75.3k●7●187●343

2
1
vote
1
answer
552
views

About logical axioms of propositional logic.

dec 26 11 at 15:28 Buschi Sergio 1,799●1●3●8

5
3
votes
5
answers
533
views

Union of a object (a set) in the Elementary Theory of the Category of Sets

nov 21 11 at 23:14 Buschi Sergio 1,799●1●3●8

4
6
votes
1
answer
458
views

A categorical characterization of the lexicographic order

jan 6 12 at 17:22 MathOverflow♦ 1●2●3

1
6
votes
3
answers
455
views

About the axiom of choice, the fundamental theorem of algebra, and real numbers

jun 21 at 23:09 François G. Dorais♦ 22.7k●2●48●113

2
0
votes
1
answer
352
views

Study of free monoids of the recursive S. Eilenberg.

dec 26 11 at 0:39 Andreas Blass 33k●4●54●109

 
1
vote
2
answers
318
views

A 2-categorical generalization of “final diagram” (I asked for)

nov 27 10 at 19:22 MathOverflow♦ 1●2●3

 
1
vote
1
answer
316
views

About the notions of Grothendieck Universe and Tarski Universe

jul 5 at 7:11 Charles Matthews 9,740●12●39

1
3
votes
0
answers
300
views

J.W. Gray monumental work notes about formal theory of internal (2-)categories

dec 24 10 at 11:11 Buschi Sergio 1,799●1●3●8

2
3
votes
1
answer
291
views

About a General Definition of Profunctor

apr 26 at 11:00 Michal R. Przybylek 842●3●9

1 2 3 next