Jacques Carette's user avatar
Jacques Carette's user avatar
Jacques Carette's user avatar
Jacques Carette
  • Member for 14 years, 1 month
  • Last seen more than a week ago
109 votes
10 answers
23k views

Set theories without "junk" theorems?

21 votes
6 answers
2k views

Defining variable, symbol, indeterminate and parameter

20 votes
7 answers
2k views

Extensional theorems mostly used intensionally

19 votes
19 answers
4k views

Favourite scholarly books?

17 votes
6 answers
3k views

"Oldest" bug in computer algebra system?

17 votes
9 answers
3k views

Direct construction of the integers

17 votes
3 answers
2k views

Banach and Knaster-Tarski fixed point theorems -- are they related?

16 votes
3 answers
5k views

What is the theory of polynomials?

13 votes
4 answers
786 views

Are norms intrinsically $\mathbb{R}$-valued?

11 votes
1 answer
652 views

Lie $2$-groups and differential equations

10 votes
3 answers
2k views

Is there a version of the Archimedean property which does not presuppose the Naturals?

10 votes
2 answers
772 views

Category of Judgements?

10 votes
1 answer
506 views

Explicit algorithm for composing permutations in factorial notation

9 votes
1 answer
373 views

On the category of virtual species

9 votes
1 answer
441 views

Topological conditions forcing continuity

9 votes
3 answers
833 views

Negative objects in categories

8 votes
3 answers
1k views

On Sketches and Institutions

7 votes
0 answers
887 views

Does the property (x*y)*x = x*y have a name?

7 votes
3 answers
2k views

Formalizing "no junk, no confusion"

7 votes
0 answers
330 views

The graph of algebraic theories

6 votes
1 answer
446 views

Mechanically instantiating abstract constructions

6 votes
0 answers
1k views

Why is mechanical differentiation so hard to get right?

6 votes
3 answers
966 views

Presenting Lawvere theories?

6 votes
0 answers
570 views

Factoring objects in a category

6 votes
3 answers
613 views

coend formulation of homotopy colimit

5 votes
0 answers
244 views

Is there a reasoned derivation of the coherence conditions for symmetric rig categories?

5 votes
1 answer
420 views

Int construction (traced monoidal categories) and Grothendieck Group

5 votes
1 answer
430 views

Are plethories a theory of basis-free polynomials?

5 votes
5 answers
2k views

Defining 'free monoid' without Nat?

4 votes
2 answers
1k views

Factoring and solving trinomials