39

Questions
votes newest views recent
3
4
votes
1
answer
319
views

Mechanically instantiating abstract constructions

apr 10 10 at 6:55 Ulrik Buchholtz 499●1●4

3
4
votes
3
answers
375
views

Negative objects in categories

jun 21 at 7:46 Martin Brandenburg 29.1k●2●46●130

 
3
votes
0
answers
149
views

Topological conditions forcing continuity

jan 3 12 at 18:30 Jacques Carette 6,717●1●14●35

3
3
votes
3
answers
482
views

Polynomials and L^p(R)

feb 18 10 at 9:02 Charles Stewart 1,669●8●15

 
3
votes
5
answers
787
views

Defining ‘free monoid’ without Nat?

jun 23 11 at 21:45 Benjamin Steinberg 10.7k●1●14●49

 
2
votes
1
answer
412
views

Higher-order, multi-sorted, non purely equational version of universal algebra ?

mar 11 10 at 15:19 Neel Krishnaswami 6,065●1●8●38

1
2
votes
1
answer
426
views

Presenting Lawvere theories?

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

1
2
votes
2
answers
321
views

Pushout over a whole diagram

jan 20 11 at 17:04 Russell O'Connor 829●6●11

2
2
votes
0
answers
111
views

Formal solutions of semiring equations

mar 7 11 at 16:53 Jacques Carette 6,717●1●14●35

1
2
votes
1
answer
116
views

Int construction (traced monoidal categories) and Grothendieck Group

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

prev 1 2 3 4 next