84:
74:
53:
256:
179:
158:
500:
22:
633:
develop it further so that this is clear. Otherwise, I think the relevant information (that is, an explanation of the discoveries made and perhaps a link to the book) should be merged into other sections of the text. I don't think it's necessary to provide a list of participants or reviews of the work, as this is very unusual for wiki entries on mathematics topics.
568:
518:
637:
I'm happy to spearhead the fleshing out of this section so it makes sense to readers who aren't involved, assuming people can point me in the correct direction for source information. A brief bit of cursory search queries on the topic have returned me to either this entry or the IAS website, which
632:
Hello, I'm not entirely sure what is constituted here by the special year on univalent mathematics. The section doesn't do anything to explain what this program constitutes or why it should be interesting to a reader of the encyclopedia. If we wish to keep this as a separate section, we should
674:
A search has revealed that though Amazon keep quiet about this (maybe a Kindle version isn't available), the book is available free so in that sense the article is not commercial. There is very little indication of this in the article, though it turns out that ref. 27 takes you to the
277:
758:
This article has nothing in it that a non-specialist mathematician can understand. It needs at least a more broadly comprehensible introduction. What are main ideas of HoTT in non-specialized language? What is the purpose of HoTT? What is it used for?
301:
140:
441:
358:
296:
797:
695:
229:
219:
802:
787:
195:
130:
792:
403:
525:
505:
377:
812:
242:
186:
163:
106:
782:
466:
807:
615:
349:
330:
97:
58:
422:
699:
661:? If it is felt that a picture would make the article more attractive, an appropriate diagram would do just as well. --
530:
387:
268:
33:
397:
311:
432:
194:
related articles on
Knowledge. If you would like to participate, please visit the project page, where you can join
717:
684:
666:
643:
459:
639:
368:
39:
83:
694:
The book pdf is on github, and anyway we have tons of articles about books that contain a cover pic.
713:
680:
662:
584:
587:
on 9 October 2014. For the contribution history and old versions of the redirected page, please see
21:
657:
Is it appropriate for an article to become what is in effect an advert for a book, by showing the
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
580:
287:
734:
It would be much nicer to feature a relevant diagram instead of a boring (sorry) book cover.
764:
739:
339:
191:
658:
712:
Is the cover pic as visible as it is in this article though? Can you give an example? --
413:
255:
278:
Requested articles/Applied arts and sciences/Computer science, computing, and
Internet
776:
638:
suggests the existence of a weekly seminar and a few working groups but little else.
760:
735:
102:
768:
743:
721:
703:
688:
670:
647:
79:
320:
178:
157:
517:
499:
676:
679:. The article should give proper indication of its existence. --
598:
562:
396:
Find pictures for the biographies of computer scientists (see
15:
533:
process or it was formerly listed at
Requested articles.
589:
575:
190:, a collaborative effort to improve the coverage of
101:, a collaborative effort to improve the coverage of
529:, because it is used for the administration of the
302:Computer science articles needing expert attention
442:WikiProject Computer science/Unreferenced BLPs
8:
359:Computer science articles without infoboxes
297:Computer science articles needing attention
677:page from which the book can be downloaded
494:
263:Here are some tasks awaiting attention:
237:
152:
47:
798:Low-importance Computer science articles
539:Knowledge:WikiProject Requested articles
542:Template:WikiProject Requested articles
496:
154:
49:
19:
204:Knowledge:WikiProject Computer science
803:WikiProject Computer science articles
207:Template:WikiProject Computer science
7:
523:This article is within the scope of
184:This article is within the scope of
95:This article is within the scope of
38:It is of interest to the following
788:High-priority mathematics articles
378:Timeline of computing 2020–present
14:
793:C-Class Computer science articles
404:Computing articles needing images
115:Knowledge:WikiProject Mathematics
566:
516:
498:
254:
177:
156:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
224:This article has been rated as
135:This article has been rated as
526:WikiProject Requested articles
1:
813:Requested articles by quality
458:Tag all relevant articles in
198:and see a list of open tasks.
109:and see a list of open tasks.
783:C-Class mathematics articles
769:01:47, 2 December 2023 (UTC)
744:01:41, 2 December 2023 (UTC)
722:20:06, 13 January 2023 (UTC)
704:19:07, 13 January 2023 (UTC)
467:WikiProject Computer science
243:WikiProject Computer science
187:WikiProject Computer science
696:2601:648:8200:990:0:0:0:720
689:19:22, 19 August 2020 (UTC)
671:19:03, 19 August 2020 (UTC)
648:17:40, 26 August 2016 (UTC)
398:List of computer scientists
829:
808:C-Class Requested articles
230:project's importance scale
511:
460:Category:Computer science
236:
223:
210:Computer science articles
172:
134:
67:
46:
462:and sub-categories with
141:project's priority scale
659:front cover of the book
98:WikiProject Mathematics
423:Computer science stubs
28:This article is rated
573:The contents of the
585:Homotopy type theory
241:Things you can help
121:mathematics articles
653:Commercial article?
545:Requested articles
536:Requested articles
531:Requested articles
506:Requested articles
90:Mathematics portal
34:content assessment
640:William Of Orange
625:
624:
621:
620:
597:
596:
561:
560:
557:
556:
553:
552:
493:
492:
489:
488:
485:
484:
481:
480:
151:
150:
147:
146:
820:
612:
611:
599:
592:
576:Univalence axiom
570:
569:
563:
547:
546:
543:
540:
537:
520:
513:
512:
502:
495:
471:
465:
340:Computer science
269:Article requests
258:
251:
250:
238:
212:
211:
208:
205:
202:
201:Computer science
192:Computer science
181:
174:
173:
168:
164:Computer science
160:
153:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
828:
827:
823:
822:
821:
819:
818:
817:
773:
772:
756:
754:Too specialized
714:Brian Josephson
681:Brian Josephson
663:Brian Josephson
655:
630:
606:
588:
567:
544:
541:
538:
535:
534:
477:
474:
469:
463:
451:Project-related
446:
427:
408:
382:
363:
344:
325:
306:
282:
209:
206:
203:
200:
199:
166:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
826:
824:
816:
815:
810:
805:
800:
795:
790:
785:
775:
774:
755:
752:
751:
750:
749:
748:
747:
746:
727:
726:
725:
724:
707:
706:
673:
654:
651:
636:
629:
628:A Special Year
626:
623:
622:
619:
618:
608:
607:
602:
595:
594:
571:
559:
558:
555:
554:
551:
550:
548:
521:
509:
508:
503:
491:
490:
487:
486:
483:
482:
479:
478:
476:
475:
473:
472:
455:
447:
445:
444:
438:
428:
426:
425:
419:
409:
407:
406:
401:
393:
383:
381:
380:
374:
364:
362:
361:
355:
345:
343:
342:
336:
326:
324:
323:
317:
307:
305:
304:
299:
293:
283:
281:
280:
274:
262:
260:
259:
247:
246:
234:
233:
226:Low-importance
222:
216:
215:
213:
196:the discussion
182:
170:
169:
167:Low‑importance
161:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
825:
814:
811:
809:
806:
804:
801:
799:
796:
794:
791:
789:
786:
784:
781:
780:
778:
771:
770:
766:
762:
753:
745:
741:
737:
733:
732:
731:
730:
729:
728:
723:
719:
715:
711:
710:
709:
708:
705:
701:
697:
693:
692:
691:
690:
686:
682:
678:
672:
668:
664:
660:
652:
650:
649:
645:
641:
634:
627:
617:
614:
613:
610:
609:
605:
601:
600:
591:
586:
582:
578:
577:
572:
565:
564:
549:
532:
528:
527:
522:
519:
515:
514:
510:
507:
504:
501:
497:
468:
461:
457:
456:
454:
452:
448:
443:
440:
439:
437:
435:
434:
429:
424:
421:
420:
418:
416:
415:
410:
405:
402:
399:
395:
394:
392:
390:
389:
384:
379:
376:
375:
373:
371:
370:
365:
360:
357:
356:
354:
352:
351:
346:
341:
338:
337:
335:
333:
332:
327:
322:
319:
318:
316:
314:
313:
308:
303:
300:
298:
295:
294:
292:
290:
289:
284:
279:
276:
275:
273:
271:
270:
265:
264:
261:
257:
253:
252:
249:
248:
244:
240:
239:
235:
231:
227:
221:
218:
217:
214:
197:
193:
189:
188:
183:
180:
176:
175:
171:
165:
162:
159:
155:
142:
138:
137:High-priority
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
62:High‑priority
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
757:
656:
635:
631:
603:
574:
524:
450:
449:
433:Unreferenced
431:
430:
412:
411:
386:
385:
367:
366:
348:
347:
329:
328:
310:
309:
286:
285:
267:
266:
225:
185:
136:
96:
40:WikiProjects
590:its history
112:Mathematics
103:mathematics
59:Mathematics
777:Categories
579:page were
616:Archive 1
321:Computing
604:Archives
369:Maintain
312:Copyedit
350:Infobox
288:Cleanup
228:on the
139:on the
30:C-class
761:Zaslav
736:Zaslav
581:merged
331:Expand
36:scale.
583:into
414:Stubs
388:Photo
245:with:
765:talk
740:talk
718:talk
700:talk
685:talk
667:talk
644:talk
131:High
220:Low
779::
767:)
742:)
720:)
702:)
687:)
669:)
646:)
470:}}
464:{{
763:(
738:(
716:(
698:(
683:(
665:(
642:(
593:.
453::
436::
417::
400:)
391::
372::
353::
334::
315::
291::
272::
232:.
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
