39

Questions
votes newest views recent
3
5
votes
1
answer
152
views

On the category of virtual species

mar 19 at 0:24 Todd Trimble 22.7k●1●64●97

1
0
votes
2
answers
170
views

Semidirect product of groupoids

feb 15 at 11:45 Ronnie Brown 5,486●19●21

8
9
votes
5
answers
2k
views

“Oldest” bug in computer algebra system?

feb 12 at 7:30 J. H. S. 2,485●13●31

 
6
votes
0
answers
198
views

Factoring objects in a category

dec 10 at 16:49 Jacques Carette 6,797●1●14●36

 
1
vote
0
answers
60
views

Natural relations between substitutions

nov 27 at 19:16 Jacques Carette 6,797●1●14●36

 
1
vote
0
answers
224
views

Entailment and implication

nov 2 at 18:26 Jacques Carette 6,797●1●14●36

3
9
votes
2
answers
515
views

Category of Judgements?

nov 2 at 18:13 Jacques Carette 6,797●1●14●36

1
2
votes
1
answer
119
views

Int construction (traced monoidal categories) and Grothendieck Group

sep 1 at 2:39 Evan Jenkins 4,241●1●8●21

 
0
votes
2
answers
218
views

commutative rigs and the Grothendieck Group

aug 30 at 21:01 Jacques Carette 6,797●1●14●36

1
2
votes
1
answer
432
views

Presenting Lawvere theories?

aug 24 at 14:00 Sebastian 858●5●11

1 2 3 4 next