MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

supercooldave

1,314
Reputation
1525 views
Is this your account?

Registered User 

Name supercooldave
Member for 3 years
Seen Nov 22 at 9:30
Website
Location Leuven, Belgium
Age 41
Computer Science professor.
9

Questions
votes newest views recent
7

2

3
5
votes
4
answers
490
views

Terminology for relation on sets

jun 3 10 at 21:57 Tony Huynh 9,023●1●22●62

2
5
votes
0
answers
321
views

Chain/Hierarchy of Monoids

jun 9 10 at 13:17 supercooldave 1,314●8●13

3
5
votes
4
answers
570
views

Torsors for monoids

jun 22 11 at 12:19 Todd Trimble 22.7k●1●64●97

1
3
votes
1
answer
481
views

Pullbacks in Category of Sets and Partial Functions

apr 21 10 at 12:41 Thomas Kragh 1,402●4●12

 

2

 
1
vote
1
answer
173
views

$\omega$-monoids

jun 30 10 at 19:48 Urs Schreiber 6,715●14●22

 

38

Answers
votes newest views recent
19
Should I check with collaborators before presenting unpublished material?
17
Resources for graphical languages / Penrose notation / Feynman diagrams / birdtracks? (2)
8
Predicting if something is a code
7
When did the career of 1 as a prime number begin and when did it end?
7
Learning Roadmap for Software Engineer
7
Relating Category Theory to Programming Language Theory
6
Undergraduate Level Math Books
6
What is the shortest program for which halting is unknown?
5
Mathematics and autodidactism
4
Choosing postdocs
4
[solved] sequent calculus as programming language
4
Typesetting mathematics: how do {\em you} convert text into pdf?
4
Is pi a good random number generator?
3
Connections between ultrafilters in topology and logic
3
Formulas for the liar paradox
3
Is there an explicit construction of a free coalgebra?
2
180˚ vs 360˚ Twists in String Diagrams for Ribbon Categories
2
Characterizing visual proofs
2
Enumerating a type of two-color cycle
2
reducing a theorem to set theory using first order logic
2
Software for Tree-Decompositions
2
reversible Turing machines
2
Resources for learning domain theory?
2
Is this strange problem NP-complete?
2
What are some good beginner graph theory texts?
1
(a,b) ≤ (a',b') iff b ≤ a' or (b' = b and a ≤ a') where a≤b and a'≤b'. Has any one seen this order?
1
Replacing logician-constructive with combinatorist-constructive?
1
How do researchers carry out computational experiments in Graph Theory?
1
Solving a system of linear inequalities — what is the dimension of the solution set?
1
Building optimal rewriting rules.
1 2 next

 

710

Votes
678
32

 

59

Tags
× 8
× 8
× 6
× 4
× 4
× 4
× 4
× 4
× 4
× 3
 × 3
× 2
× 2
× 2
× 2
× 2
× 2
× 2
× 2
× 2
 × 2
× 2



















 

21

Badges
● Popular Question
● Yearling× 3
● Necromancer× 2
● Enlightened
 ● Nice Answer
● Nice Question
● Organizer
● Civic Duty
 ● Citizen Patrol
● Commentator
● Enthusiast
● Critic
 ● Editor
● Teacher
● Autobiographer
● Scholar
 ● Supporter
● Student