Tag Info

ct.category-theory Questions

280	23	Neel Krishnaswami 27.1k81 silver badges154 bronze badges
170	17	Andrej Bauer 22.6k1 gold badge60 silver badges108 bronze badges
114	8	Dave Clarke 15.2k3 gold badges53 silver badges103 bronze badges
98	4	Noam Zeilberger 3,57019 silver badges31 bronze badges
58	6	cody 11.7k34 silver badges66 bronze badges
49	6	Uday Reddy 4,19124 silver badges36 bronze badges
39	2	Sasho Nikolov 16.7k2 gold badges55 silver badges99 bronze badges
38	2	Joshua Grochow 30.6k4 gold badges107 silver badges192 bronze badges
29	3	Martin Berger 9,4902 gold badges31 silver badges61 bronze badges
22	3	Vijay D 11.4k2 gold badges29 silver badges57 bronze badges
20	2	wren romano 7004 silver badges6 bronze badges
20	3	Ohad Kammar 1,96219 silver badges24 bronze badges
20	3	Damiano Mazza 3,7731 gold badge16 silver badges31 bronze badges
19	4	Chad Brewbaker 1,97710 silver badges18 bronze badges
16	2	Marzio De Biasi 18.8k2 gold badges45 silver badges114 bronze badges
15	1	C. A. McCann 4162 silver badges9 bronze badges
15	1	Victor Miraldo 1665 bronze badges
14	1	finrod 2411 silver badge5 bronze badges
14	1	Neal Young 4,38920 silver badges41 bronze badges
13	1	Reid Barton 2461 silver badge3 bronze badges

103	1	Ryan Williams 23.2k6 gold badges102 silver badges153 bronze badges
86	6	Petr Pudlák 1,46110 silver badges21 bronze badges
76	6	Neel Krishnaswami 27.1k81 silver badges154 bronze badges
40	4	Max New 7564 silver badges16 bronze badges
36	2	spaceman_spiff 2863 silver badges6 bronze badges
28	1	Colin McQuillan 3,22616 silver badges27 bronze badges
28	1	Paul Allen Grubbs 1411 silver badge3 bronze badges
27	1	vzn 8,5202 gold badges25 silver badges56 bronze badges
23	2	sonat 1589 bronze badges
22	1	Alexey Romanov 4312 silver badges7 bronze badges
21	1	day 1,29013 silver badges26 bronze badges
21	1	Alexei Averchenko 2082 silver badges5 bronze badges
20	1	anon 1034 bronze badges
17	1	Darius Jahandarie 2181 silver badge8 bronze badges
17	1	Joshua Grochow 30.6k4 gold badges107 silver badges192 bronze badges
17	1	beroal 3421 silver badge12 bronze badges
17	1	Stefan Petrov 881 silver badge7 bronze badges
16	1	k.stm 1818 bronze badges
16	1	Saal Hardali 1865 bronze badges
15	1	Phillip Mates 1807 bronze badges