Tag Info

ct.category-theory Questions

32	3	Simon Henry 38.5k5 gold badges98 silver badges188 bronze badges
20	2	Peter LeFanu Lumsdaine 18.4k1 gold badge65 silver badges115 bronze badges
9	1	Tom Goodwillie 52.4k6 gold badges138 silver badges234 bronze badges
7	1	Herman Rohrbach 5585 silver badges10 bronze badges
6	1	Nate 1,98211 silver badges16 bronze badges
6	3	Tim Campion♦ 56.6k12 gold badges125 silver badges327 bronze badges
6	1	Mike Shulman 63.6k7 gold badges151 silver badges350 bronze badges
5	2	Sean Sanford 4512 silver badges7 bronze badges
5	1	Shay Ben Moshe 3343 silver badges11 bronze badges
5	1	Dmitri Pavlov 34.4k4 gold badges89 silver badges173 bronze badges
4	1	Arno 4,05623 silver badges37 bronze badges
4	1	Bugs Bunny 11.8k1 gold badge29 silver badges61 bronze badges
4	1	Jonathan Beardsley 10k1 gold badge32 silver badges77 bronze badges
3	1	Iosif Pinelis 105k7 gold badges91 silver badges190 bronze badges
3	1	Daniel Bruegmann 7634 silver badges11 bronze badges
3	1	G. Stefanich 5031 gold badge4 silver badges16 bronze badges
3	1	Toby Bartels 2,57421 silver badges36 bronze badges
3	1	Maxime Ramzi 11.5k2 gold badges31 silver badges62 bronze badges
3	1	fosco 12.4k2 gold badges26 silver badges65 bronze badges
2	1	Urs Schreiber 19.3k1 gold badge64 silver badges255 bronze badges

2.9k	375	Mike Shulman 63.6k7 gold badges151 silver badges350 bronze badges
2.1k	221	Todd Trimble♦ 51.8k6 gold badges196 silver badges316 bronze badges
1.6k	162	Simon Henry 38.5k5 gold badges98 silver badges188 bronze badges
1.2k	127	Qiaochu Yuan 113k35 gold badges418 silver badges713 bronze badges
1.2k	201	Tim Campion♦ 56.6k12 gold badges125 silver badges327 bronze badges
1.1k	80	Tom Leinster 26.8k5 gold badges103 silver badges154 bronze badges
928	95	Andrej Bauer 46.1k10 gold badges117 silver badges225 bronze badges
864	130	Martin Brandenburg 59.3k10 gold badges183 silver badges399 bronze badges
845	88	Dmitri Pavlov 34.4k4 gold badges89 silver badges173 bronze badges
806	87	Reid Barton 24.5k1 gold badge70 silver badges130 bronze badges
774	90	Peter LeFanu Lumsdaine 18.4k1 gold badge65 silver badges115 bronze badges
734	96	Zhen Lin 14.7k1 gold badge41 silver badges80 bronze badges
566	50	Eric Wofsey 30.4k2 gold badges109 silver badges149 bronze badges
557	98	David Roberts♦ 32.9k9 gold badges111 silver badges311 bronze badges
556	100	David White 24.8k7 gold badges117 silver badges178 bronze badges
538	45	Joel David Hamkins 216k40 gold badges699 silver badges1235 bronze badges
503	52	Neil Strickland 53.9k7 gold badges138 silver badges248 bronze badges
491	57	Andreas Blass 70.8k8 gold badges183 silver badges280 bronze badges
473	54	Jeremy Rickard 32.6k2 gold badges101 silver badges142 bronze badges
471	50	Chris Schommer-Pries 26.7k3 gold badges86 silver badges166 bronze badges

23	4	Tim Campion♦ 56.6k12 gold badges125 silver badges327 bronze badges
16	1	Mark 1613 bronze badges
13	2	Simon Henry 38.5k5 gold badges98 silver badges188 bronze badges
10	1	Brendan Murphy 1531 silver badge14 bronze badges
10	2	Alex Byard 2436 bronze badges
9	1	user267839 5,2741 gold badge7 silver badges32 bronze badges
8	1	varkor 7,68220 silver badges54 bronze badges
7	1	Sergi 791 bronze badge
7	1	Xin Jin 3371 silver badge5 bronze badges
6	1	gksato 2351 silver badge8 bronze badges
6	1	Daniel Teixeira 4383 silver badges12 bronze badges
5	1	Alessandro Nanto 1887 bronze badges
4	1	Kaneki1013 411 bronze badge
4	1	Nikio 3091 silver badge8 bronze badges
4	1	Trebor 7704 silver badges12 bronze badges
3	1	Âloh 433 bronze badges
3	1	Paul Cusson 1,5437 silver badges15 bronze badges
3	1	Gert 1336 bronze badges
3	1	Steve 313 bronze badges
3	1	Milo Moses 2,5918 silver badges31 bronze badges

2.2k	243	Tim Campion♦ 56.6k12 gold badges125 silver badges327 bronze badges
1.3k	134	Martin Brandenburg 59.3k10 gold badges183 silver badges399 bronze badges
1.2k	95	Mike Shulman 63.6k7 gold badges151 silver badges350 bronze badges
1.1k	90	Theo Johnson-Freyd 52k10 gold badges122 silver badges312 bronze badges
898	174	fosco 12.4k2 gold badges26 silver badges65 bronze badges
721	64	Simon Henry 38.5k5 gold badges98 silver badges188 bronze badges
628	62	David Spivak 8,1271 gold badge26 silver badges59 bronze badges
560	69	David Carchedi 15.2k36 silver badges95 bronze badges
500	55	David Roberts♦ 32.9k9 gold badges111 silver badges311 bronze badges
433	70	Arrow 10.2k1 gold badge24 silver badges64 bronze badges
411	26	Qiaochu Yuan 113k35 gold badges418 silver badges713 bronze badges
405	64	Emily 9,5653 gold badges25 silver badges77 bronze badges
360	80	Alec Rhea 8,7603 gold badges27 silver badges78 bronze badges
348	52	Harry Gindi 19.2k15 gold badges116 silver badges210 bronze badges
302	41	Ivan Di Liberti 7,9471 gold badge25 silver badges56 bronze badges
302	44	varkor 7,68220 silver badges54 bronze badges
284	37	Jonathan Beardsley 10k1 gold badge32 silver badges77 bronze badges
284	23	Zhen Lin 14.7k1 gold badge41 silver badges80 bronze badges
265	25	Cayley-Hamilton 4,57614 silver badges26 bronze badges
245	13	Andrew Stacey 26.1k10 gold badges107 silver badges185 bronze badges