Анализ страницы https://emilyriehl.github.io/talks/
Основное Готовность: 100%
Домен
emilyriehl.github.io
Состояние доменного имени
?
Проверяем корректность доменного имени и наличие технических проблем на уровне домена.
Используйте для продвижения только домен второго уровня.
Длина домена велика. Но если вы продвигаете запрос, входящий в название домена, то это хорошо.
Ответ сервера
200 Успешный ответ
HTTP-код ответа и цепочка редиректов
?
Код 200 — страница доступна. Коды 3xx — редиректы (цепочки замедляют загрузку и размывают ссылочный вес). Коды 4xx/5xx — ошибки, поисковик не сможет проиндексировать страницу.
Сервер настроен корректно.
Безопасность
Сайт безопасен
Использование HTTPS и SSL-сертификат
?
HTTPS — обязательный стандарт. Google и Яндекс отдают предпочтение защищённым сайтам. Отсутствие SSL или просроченный сертификат ведут к предупреждениям в браузере и снижению позиций.
Не настроен HSTS (Strict-Transport-Security) — рекомендуется включить.
На сайте работает защищенный протокол ssl и сайт открывается по https.
Ssl-сертификат действителен до 04.10.2026 22:45:22.
Поздравляем! Сайт не содержится в реестре РКН.
Кодировка
utf-8
Кодировка символов страницы
?
Стандарт — UTF-8. Неправильная кодировка вызывает нечитаемые символы и мешает поисковику корректно распознать текст страницы.
Указана кодировка на странице utf-8.
Язык
en
Атрибут lang в HTML-теге
?
Атрибут lang (<html lang="ru">) сообщает поисковикам и браузерам, на каком языке написана страница. Помогает при ранжировании в региональном поиске.
Язык документа указан явно: en.
Скорость загрузки
~0,28сек
Время отклика сервера (TTFB)
?
Time To First Byte — время до получения первого байта от сервера. Норма до 200 мс. Медленный отклик ухудшает пользовательский опыт и ранжирование: Яндекс и Google учитывают скорость страниц.
Скорость загрузки сайта 0,28сек оптимальна.
Объем документа
42Кб
Размер HTML-кода страницы
?
Слишком большой HTML замедляет парсинг браузером и сканирование поисковым роботом. Рекомендуется не более 200 Кб.
Объем html-документа 42Кб оптимален.
Структура html-документа корректна.
Ресурсы
Ресурсы: 4
Внешние ресурсы страницы (CSS, JS, изображения)
?
Количество и тип подключённых ресурсов влияют на скорость загрузки. Большое число запросов увеличивает время рендеринга страницы.
Кол-во файлов ресурсов 4 достаточно.
Показать полный список ресурсов
| Тип | Название | Значение |
|---|---|---|
| stylesheet | https://emilyriehl.github.io/assets/css/main.css | |
| stylesheet | https://emilyriehl.github.io/assets/css/academicons.css | |
| js | https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.4/latest.js?config=TeX-MML-AM_CHTML | |
| js | https://emilyriehl.github.io/assets/js/main.min.js |
Серверные заголовки
Кол-во: 17
HTTP-заголовки ответа сервера
?
Заголовки сервера передают браузеру и поисковику служебную информацию: кеширование, безопасность (CSP, HSTS), сжатие (gzip). Правильная настройка ускоряет загрузку и повышает защищённость.
Найдены серверные заголовки 17шт. Подробнее про серверные заголовки.
Показать полный список серверных заголовков
| Ключ | Значение |
|---|---|
| Server | GitHub.com |
| Access-Control-Allow-Origin | * |
| ETag | "6a8799d1-a986" |
| Cache-Control | max-age=600 |
| x-proxy-cache | MISS |
| x-github-request-id | 8E1A:9E07F:343B6E:384696:6A8A2F79 |
| x-github-edge-region | swedencentral |
| Accept-Ranges | bytes |
| Age | 0 |
| Date | Sat, 22 Aug 2026 23:23:37 GMT |
| Via | 1.1 varnish |
| X-Served-By | cache-bma-essb1270065-BMA |
| X-Cache | MISS |
| x-cache-hits | 0 |
| x-timer | S1787441017.485712,VS0,VE122 |
| Vary | Accept-Encoding |
| x-fastly-request-id | fe0307ec3f1280085bf7708c25307da7ee182be6 |
CMS
Не определена
Система управления сайтом (движок)
?
CMS — это движок, на котором работает сайт (WordPress, 1C-Bitrix, Tilda и др.). Знание CMS помогает понять возможности SEO-оптимизации и подобрать подходящие инструменты. «Не определена» — вероятно, самописный сайт или нестандартная сборка.
CMS не определена. Вероятно, сайт самописный либо движок надёжно скрыт. Это не ошибка.
Веб-сервер
GitHub.com
Программное обеспечение сервера
?
Веб-сервер — это ПО, которое отдаёт страницы посетителям (nginx, Apache, IIS, LiteSpeed и др.). Определяется по серверным заголовкам ответа (Server, X-Powered-By и т.п.). «Не определён» — сервер намеренно скрывает эти заголовки, это нормальная практика безопасности.
В заголовке Server указано: GitHub.com.
Мета-теги Готовность: 48%
Title
Talks - About
Заголовок страницы в браузере и поисковой выдаче
?
Title — главный SEO-заголовок страницы. Влияет на CTR в поиске и ранжирование. Оптимальная длина: 50–70 символов. Ключевые слова — ближе к началу.
Необходимо увеличить число символов в title (текущее значение мало: 13, минимум: 25, оптимально: от 40 до 45)
Дублей словоформ в title не найдено.
Description
Описание страницы в поисковой выдаче (сниппет)
?
Meta Description — текст под заголовком в выдаче. Напрямую на позиции не влияет, но влияет на CTR. Оптимальная длина: 120–160 символов.
Установите мета-тег description!
Keywords
Список ключевых слов страницы (устаревший тег)
?
Meta Keywords не учитывается Яндексом и Google для ранжирования с 2009–2012 годов. Заполнение не обязательно, но не вредит. Конкурент может использовать содержимое для анализа.
Установите мета-тег keywords!
Канонический Url
https://emilyriehl.github.io/talks/
Указывает поисковику основную версию страницы
?
Canonical (rel=canonical) предотвращает проблему дублей страниц. Должен точно совпадать с URL проверяемой страницы. Неправильный canonical может передать ссылочный вес на другую страницу.
Канонический Url прописан корректно.
Robots
Ошибок нет
Директивы для поисковых роботов на уровне страницы
?
Meta Robots управляет индексацией конкретной страницы: index/noindex — индексировать ли, follow/nofollow — следовать ли по ссылкам. Noindex полностью исключает страницу из поиска.
Meta-тег robots не указан. Страница свободна для индексации.
Адаптивность
width=device-width, initial-scale=1.0
Настройка масштабирования на мобильных устройствах
?
Тег viewport (<meta name="viewport">) сообщает браузеру, как масштабировать страницу на мобильных. Стандарт: width=device-width, initial-scale=1. Отсутствие — признак отсутствия мобильной версии.
Meta-тег viewport со значением-константой width=device-width задаёт ширину страницы в соответствии с размером экрана.
Meta-тег viewport со значением initial-scale=1.0 определяет масштаб 1:1, т.е. «не масштабировать».
Разметка OpenGraph
Кол-во: 4
Мета-теги для красивых превью в соцсетях
?
OpenGraph (og:title, og:description, og:image) управляет тем, как страница выглядит при репосте в социальных сетях и мессенджерах. Отсутствие OG-тегов — невзрачный превью при шеринге.
Разметка OpenGraph задана. Страница оптимизирована под социальные сети.
Показать полный список og мета-тегов
| Тип | Значение |
|---|---|
| og:locale | en-US |
| og:site_name | About |
| og:title | Talks |
| og:url | https://emilyriehl.github.io/talks/ |
Все мета-теги
Кол-во: 16
Полный список мета-тегов страницы
?
Таблица всех meta-тегов, включая нестандартные. Позволяет найти опечатки, дубли и лишние теги.
Найдены мета-теги 16шт. Мета-теги не видимы для человека и предназначены для обмена информацией между веб-страницей и поисковыми системами, браузерами и другими веб-службами. С ними роботы 🤖 и устройства ведут себя более ожидаемо.
Показать полный список мета-тегов
| Тип | Название | Значение |
|---|---|---|
| name | twitter:site | @emilyriehl |
| name | twitter:title | Talks |
| name | twitter:description | academic webpage for Emily Riehl |
| name | twitter:url | https://emilyriehl.github.io/talks/ |
| name | twitter:card | summary |
| name | HandheldFriendly | True |
| name | MobileOptimized | 320 |
| name | viewport | width=device-width, initial-scale=1.0 |
| name | msapplication-TileColor | #000000 |
| name | msapplication-TileImage | https://emilyriehl.github.io/images/mstile-144x144.png?v=M44lzPylqQ |
| name | msapplication-config | https://emilyriehl.github.io/images/browserconfig.xml?v=M44lzPylqQ |
| name | theme-color | #ffffff |
| property | og:locale | en-US |
| property | og:site_name | About |
| property | og:title | Talks |
| property | og:url | https://emilyriehl.github.io/talks/ |
Оптимизация Готовность: 62%
Структура
Ошибок нет
Семантические HTML-элементы страницы
?
Проверяет наличие основных структурных элементов: nav, header, footer, main. Корректная семантическая структура помогает поисковику понять архитектуру страницы.
Структура документа корректна (теги <html> и <body> присутствуют по одному на документ).
Контент
Есть ошибки
Объём и качество текстового содержимого
?
Анализирует объём полезного текста на странице. Слишком мало — страница может считаться малополезной. Слишком много — ухудшается читаемость и восприятие.
Слова из title 2 встречаются в тексте редко. Добавьте в контент страницы слова из тега <title>!
Абзацев с текстом 16 достаточно.
Среднее число слов в абзаце 93 достаточно.
Кол-во знаков контента 21350 на странице оптимально.
Кол-во слов 3288 на странице оптимально.
Заголовки
Ошибок нет
Иерархия заголовков H1–H6
?
H1 должен быть один и содержать ключевой запрос. H2–H6 описывают подразделы. Пропуск уровней (H1 → H3) и несколько H1 — типичные ошибки, снижающие понятность страницы для поисковика.
На странице присутствуют заголовки <h1> 1. Это прекрасно.
На странице присутствуют заголовки <h2> 8. Это хорошо.
На странице присутствуют заголовки <h3> 1.
Тошнота
8,83
Насколько одно слово доминирует в тексте
?
Классическая тошнота = √(частота самого повторяющегося слова). Норма до 7–8: текст воспринимается естественно. Выше — поисковик может счесть страницу переспамленной.
Тошнота превышает норму 5. Измените текст страницы!
Академич. тошнота
33,24%
Насколько текст перенасыщен ключевыми словами
?
Академическая тошнота = (частота слова / общее количество слов) × 100%. Показывает долю конкретного слова в тексте. Норма 5–15%.
Академическая тошнота превышает норму 5-15%. Измените текст страницы!
Семантическое ядро
20
Наиболее часто встречающиеся слова на странице
?
Топ слов по частоте использования. Показывает, какие слова доминируют в тексте с точки зрения поисковика.
Контент страницы содержит осмысленный текст и слова.
Показать список слов
| Слово | Кол-во | Частота |
|---|---|---|
| theory | 78 | 2,37% |
| slides | 41 | 1,25% |
| homotopy | 28 | 0,85% |
| mathematics | 25 | 0,76% |
| ∞-category | 24 | 0,73% |
| category | 20 | 0,61% |
| ∞-categories | 20 | 0,61% |
| mathematical | 18 | 0,55% |
| lecture | 18 | 0,55% |
| synthetic | 16 | 0,49% |
| proofs | 14 | 0,43% |
| institute | 14 | 0,43% |
| workshop | 13 | 0,40% |
| conference | 12 | 0,36% |
| abstract: | 12 | 0,36% |
| colloquium | 12 | 0,36% |
| higher | 11 | 0,33% |
| formal | 11 | 0,33% |
| university | 9 | 0,27% |
| structures | 9 | 0,27% |
Индексация Готовность: 40%
Индексирование
Есть ошибки
Разрешено ли индексирование страницы
?
Проверяет, не закрыта ли страница от индексации через robots.txt, meta robots или X-Robots-Tag. Страница, закрытая от индексации, не появится в поисковой выдаче.
Анкоров на странице 212 слишком много. Проведите ревизию и оптимизацию ссылок сайта.
Robots.txt
Найден корректный robots.txt
Файл управления сканированием сайта роботами
?
Robots.txt указывает поисковым роботам, какие страницы сканировать, а какие — нет. Ошибки в файле могут случайно закрыть важные разделы от индексации.
Robots.txt настроен корректно. Размер файла: 50 байт. Загружен за: 0сек.
Проверяемая страница не запрещена в robots.txt.
Robots.txt доступен по постоянному адресу
Показать содержимое robots.txt
Sitemap: https://emilyriehl.github.io/sitemap.xml
Sitemap
Кол-во: 1
XML-карта сайта для поисковиков
?
Sitemap.xml помогает поисковику быстрее находить и индексировать страницы. Особенно важен для крупных сайтов и новых страниц, на которые ещё нет входящих ссылок.
Robots.txt содержит карту сайта. Это прекрасно!
Robots.txt не содержит ошибок в карте сайта.
Показать карту сайта
| Url | Статус |
|---|---|
| https://emilyriehl.github.io/sitemap.xml |
|
Внутренние ссылки
Кол-во: 89
Ссылки на другие страницы своего сайта
?
Внутренние ссылки распределяют ссылочный вес между страницами и помогают поисковику обходить сайт. Пустые анкоры и ссылки на запрещённые robots.txt страницы — типичные ошибки.
Внутренних ссылок на странице 89 оптимально.
Внутренние ссылки не запрещены к индексации в robots.txt.
Показать внутренние ссылки
| Url | Анкор | Состояние |
|---|---|---|
| / |
About
|
|
| /books/ |
Books
|
|
| /papers/ |
Papers
|
|
| /notes/ |
Notes
|
|
| /talks/ |
Talks
|
|
| /teaching/ |
Teaching
|
|
| /formalization/ |
Formalization
|
|
| /media/ |
Media
|
|
| /cv/ |
CV
|
|
| /seminar/ |
Seminar
|
|
| /files/synthetic-ICM-slides.pdf |
Synthetic perspectives on higher structures
|
|
| /files/synthetic-ICM.pdf |
Synthetic perspectives on spaces and categories
|
|
| /files/contractibility-as-uniqueness-hardy.pdf |
Contractibility as uniqueness
|
|
| /files/queer-hardy.pdf |
Queer in math and queering math
|
|
| /files/path-induction-hardy.pdf |
Path induction and the indiscernibility of identicals
|
|
| /files/testing-artificial-mathematical-intelligence-hardy.pdf |
Testing artificial mathematical intelligence
|
|
| /files/prospects-hardy.pdf |
Prospects for formalizing the theory of weak infinite-dimensional categories
|
|
| /files/reintroduction-to-proofs-hardy.pdf |
A reintroduction to proofs
|
|
| /files/hardy-lecture.pdf |
Could we teach ∞-category theory to undergraduates or to a computer?
|
|
| /files/norms-hardy.pdf |
A conversation on professional norms in mathematics
|
|
| /files/contractibility-as-uniqueness.pdf |
Contractibility as uniqueness
|
|
| /files/path-induction.pdf |
Path induction and the indiscernibility of identicals
|
|
| /files/arrow-Yoneda.pdf |
Arrow induction and the dependent Yoneda lemma
|
|
| /files/semantics.pdf |
lecture notes
|
|
| /files/scratch.pdf |
∞-category theory from scratch
|
|
| /files/type-theory-in-math.pdf |
Thoughts on the future of type theory in mathematics
|
|
| /files/autoformalizing-category-theory.pdf |
Challenges in (auto)formalizing category theory
|
|
| /files/invisible.pdf |
Formalizing invisible mathematics: case studies from category theory
|
|
| /files/invisible-duke.pdf |
updated slides
|
|
| /files/cosmos-project.pdf |
The ∞-cosmos project: formalizing 1-, 2-, V-, and ∞-category theory in Lean
|
|
| /files/post-rigorous.pdf |
Formalizing post-rigorous mathematics
|
|
| /files/yoneda-in-rzk.pdf |
Formalizing ∞-category theory in the Rzk proof assistant
|
|
| /yoneda |
formalization project
|
|
| /files/hopkins65.pdf |
Homotopy types as homotopy types
|
|
| /files/MSRI-cubes.pdf |
slides
|
|
| /files/ct2019.pdf |
A formal theory for ∞-categories
|
|
| /files/Leeds-HTT-UF.pdf |
The synthetic approach to ∞-category theory
|
|
| /files/Voevodsky.pdf |
slides
|
|
| /files/ct2018.pdf |
A proof of the model-independence of (∞,1)-category theory
|
|
| /files/HoTTEST.pdf |
slides
|
|
| /files/jmm2018.pdf |
On the directed univalence axiom
|
|
| /files/octoberfest.pdf |
A synthetic theory of ∞-categories in homotopy type theory
|
|
| /files/ct2017.pdf |
A synthetic theory of ∞-categories in homotopy type theory
|
|
| /files/reimagining.pdf |
slides
|
|
| /files/jmm2014.pdf |
Homotopy coherent adjunctions
|
|
| /files/eilenberg100.pdf |
The formal theory of homotopy coherent monads
|
|
| /files/awm2011.pdf |
Algebraic model structures
|
|
| /files/ct2011.pdf |
Cellularity, composition, and morphisms of weak factorization systems
|
|
| /files/cms2011.pdf |
Algebraic model structures
|
|
| /files/ct2010.pdf |
Algebraic model structures
|
|
| /files/undergraduates-TOE.pdf |
slides
|
|
| /files/prospects.pdf |
Prospects for computer formalization of infinite-dimensional category theory
|
|
| /files/collaborative.pdf |
Collaborative formalizations of ∞-category theory
|
|
| /files/prospects-cpp.pdf |
condensed and updated version
|
|
| /files/prospects-cam.pdf |
condensed and further updated version
|
|
| /files/prospects-asl.pdf |
further updates
|
|
| /files/rzk-colloquium.pdf |
Do we need a new foundation for higher structures?
|
|
| /files/undergrad-reintroduction-to-proofs.pdf |
A reintroduction to proofs
|
|
| /files/reintroduction-to-proofs.pdf |
A reintroduction to proofs
|
|
| /files/path-induction-LLN.pdf |
Path induction and the indiscernibility of identicals
|
|
| /files/Intro-HoTT-UF.pdf |
Introduction to Homotopy Type Theory and Univalent Foundations
|
|
| /files/elements-colloquium.pdf |
Elements of ∞-Category Theory
|
|
| /files/elements-colloquium.pdf |
slides
|
|
| /files/elements-colloquium.pdf |
slides
|
|
| /files/topos-colloquium.pdf |
slides
|
|
| /files/berkeley-logic.pdf |
slides
|
|
| /files/CIRM-complicial.pdf |
The complicial sets model of higher ∞-categories
|
|
| /files/freed60.pdf |
The complicial sets model of higher ∞-categories
|
|
| /files/perimeter.pdf |
The complicial sets model of higher ∞-categories
|
|
| /files/ASL-HoTT.pdf |
A synthetic theory of ∞-categories in homotopy type theory
|
|
| /files/GSTGC.pdf |
Quasi-category theory you can use
|
|
| /files/proof-paradigm-lorentz.pdf |
A new paradigm for mathematical proof?
|
|
| /files/proof-paradigm.pdf |
slides
|
|
| /files/testing-ai.pdf |
Testing artificial mathematical intelligence
|
|
| /files/can-machines-think-logically.pdf |
Can machines think logically?
|
|
| /files/can-machines-think-logically-apl.pdf |
expanded form
|
|
| /files/reality.pdf |
The mathematical multiverse: the case against a unified mathematical reality
|
|
| /files/identities-calgary.pdf |
On the art of giving the same name to different things
|
|
| /files/identities.pdf |
On the art of giving the same name to different things
|
|
| /files/paraDIGMS.pdf |
Transition to Research
|
|
| /files/Frontier.pdf |
A formal language for ∞-category theory
|
|
| /files/voting.pdf |
The mathematics of social choice
|
|
| /files/matrices.pdf |
slides
|
|
| /files/arithmetic.pdf |
Categorifying cardinal arithmetic
|
|
| /files/arithmetic-condensed.pdf |
condensed version
|
|
| /files/compose.pdf |
slides
|
|
| /files/functoriality.pdf |
Functoriality in algebra and topology
|
|
| /sitemap/ |
Sitemap
|
|
| /feed.xml |
<i class="fa fa-fw fa-rss-square" aria-hidden="true"></i> Feed
|
|
Внешние ссылки
Кол-во: 122
Ссылки на сторонние сайты
?
Исходящие внешние ссылки передают часть ссылочного веса на чужие сайты. Ссылки на авторитетные ресурсы безопасны; ссылки на мусорные сайты могут навредить репутации страницы.
Внешних ссылок на странице 122 слишком много. Спрячьте лишние ссылки в тег noindex или атрибут rel='nofollow'!
На странице ссылки с атрибутом rel='nofollow' 2.
Показать первые 100 внешних ссылок
| Url | Анкор |
|---|---|
| twitter.com |
<i class="fab fa-fw fa-twitter-square" aria-hidden="true"></i> Twitter
|
| github.com |
<i class="fab fa-fw fa-github" aria-hidden="true"></i> Github
|
| soundcloud.com |
<i class="fab fa-fw fa-soundcloud" aria-hidden="true"></i> Soundcloud
|
| scholar.google.com |
<i class="fas fa-fw fa-graduation-cap"></i> Google Scholar
|
| orcid.org |
<i class="ai ai-orcid-square ai-fw"></i> ORCID
|
| lms.ac.uk |
London Mathematical Society Hardy Lecture Tour
|
| ww3.math.ucla.edu |
UCLA Distinguished Lecture Series
|
| ww3.math.ucla.edu |
Women in Math
|
| library.cirm-math.fr |
On the ∞-topos semantics of homotopy type theory
|
| conferences.cirm-math.fr |
Logic and Higher Structures
|
| newton.ac.uk |
The model-independent theory of (∞,1)-categories
|
| newton.ac.uk |
Higher structures in homotopy theory
|
| newton.ac.uk |
Homotopy Harnessing Higher Structures
|
| newton.ac.uk |
lecture 1
|
| newton.ac.uk |
lecture 2
|
| newton.ac.uk |
lecture 3
|
| newton.ac.uk |
lecture 4
|
| epfl.ch |
2015 Young Topologists’ Meeting
|
| tube.switch.ch |
lecture 1
|
| tube.switch.ch |
lecture 2
|
| tube.switch.ch |
lecture 3
|
| tube.switch.ch |
lecture 4
|
| types2026.cse.chalmers.se |
Types 2026
|
| pitmonticone.github.io |
ItaLean 2025
|
| newton.ac.uk |
Big proof: formalized mathematics at scale
|
| library.cirm-math.fr |
Synthetic perspectives on the Yoneda lemma
|
| conferences.cirm-math.fr |
Synthetic mathematics, logic-affine computation and efficient proof systems
|
| youtu.be |
video
|
| leanprover-community.github.io |
Lean Together 2025
|
| mathematics.uni-bonn.de |
Prospects of Formal Mathematics
|
| itp-school-2023.github.io |
Interactions of Proof Assistants and Mathematics
|
| youtu.be |
video
|
| maths.ox.ac.uk |
A panorama of homotopy theory: a conference in honour of Mike Hopkins
|
| maths.ox.ac.uk |
video
|
| msri.org |
The equivariant uniform Kan fibration model of cubical homotopy type theory
|
| fields.utoronto.ca |
A macrocosm principle for cartesian fibrations
|
| fields.utoronto.ca |
Workshop on Higher Structures in Geometry and Physics
|
| conferences.inf.ed.ac.uk |
2019 International Category Theory Conference
|
| conferences.leeds.ac.uk |
Summer School on Higher Topos Theory and Univalent Foundations
|
| ias.edu |
The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories
|
| ias.edu |
Vladimir Voevodsky Memorial Conference
|
| birs.ca |
A proof of the model-independence of ∞-category theory
|
| birs.ca |
∞-Categories, ∞-Operads, and their Applications
|
| mat.uc.pt |
2018 International Category Theory Conference
|
| youtu.be |
The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories
|
| uwo.ca |
Homotopy Type Theory Electronic Seminar Talks
|
| msri.org |
Foundations of (∞,2)-category theory
|
| msri.org |
Women in Topology
|
| andrew.cmu.edu |
Octoberfest
|
| mat.uc.pt |
CT2017
|
| video-archive.fields.utoronto.ca |
Towards a synthetic theory of (∞,1)-categories
|
| fields.utoronto.ca |
Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics
|
| msri.org |
The formal theory of adjunctions, monads, algebras, and descent
|
| msri.org |
Reimagining the Foundations of Algebraic Topology
|
| msri.org |
Limits of quasi-categories with (co)limits
|
| msri.org |
Connections for Women
|
| nilesjohnson.net |
AMS Special Session on Homotopy Theory
|
| mat.uc.pt |
CT2011
|
| youtu.be |
∞-category theory for undergraduates
|
| youtube.com |
Theories of Everything with Curt Jaimungal
|
| popl25.sigplan.org |
CPP 2025
|
| talks.cam.ac.uk |
Formalisation of mathematics with interactive theorem provers series
|
| math.nmsu.edu |
North American Annual Meeting of the Association for Symbolic Logic
|
| uregina.ca |
PIMS Distinguished Lecture
|
| lms.ac.uk |
General Meeting of the London Mathematical Society
|
| matrix-inst.org.au |
Elements of ∞-Category Theory
|
| matrix-inst.org.au |
Matrix Institute
|
| youtu.be |
Elements of ∞-Category Theory
|
| youtu.be |
Contractibility as Uniqueness
|
| topos.site |
Topos Institute
|
| youtu.be |
Contractibility as Uniqueness
|
| math.ryerson.ca |
LGBTQ+Math Day
|
| youtu.be |
∞-category theory for undergraduates
|
| logic.berkeley.edu |
Berkeley Logic Colloquium
|
| conferences.cirm-math.fr |
Structures supérieures
|
| web.ma.utexas.edu |
Between Topology and Quantum Field Theory: A conference in celebration of Dan Freed’s 60th birthday
|
| cgp.ibs.re.kr |
A universal approach to universal algebra
|
| lorentzcenter.nl |
Mechanization and Mathematical Research
|
| youtu.be |
A new paradigm for mathematical proof?
|
| naturalphilosophyhopkins.org |
Natural Philosophy Symposium
|
| youtu.be |
video
|
| simons.berkeley.edu |
Simons Institute for the Theory of Computing and SLMath Joint Workshop: AI for Mathematics and Theoretical Computer Science
|
| cse.chalmers.se |
Deep Learning Models for Mathematics and Type Theory
|
| ai.jhu.edu |
The Science of AI
|
| santafe.edu |
Investigating Reality: A Philosophical, Mathematical, and Scientific Exploration
|
| ucalgary.ca |
Calgary Mathematics and Philosophy Lectures
|
| sites.google.com |
SUMS 2023: Math and Language
|
| youtu.be |
Mathematician explains infinity in 5 levels of difficulty
|
| wired.com |
WIRED 5 levels series
|
| english.fas.harvard.edu |
Stephanie Burt
|
| dlcl.stanford.edu |
The Multiplicity Turn: Theories of Identity from Poetry to Mathematics
|
| imsi.institute |
paraDIGMS 2021 Spring Conference
|
| youtu.be |
A brief introduction to ∞-cosmoi and higher category theory
|
| quantamagazine.org |
Quanta Magazine
|
| youtu.be |
2020 President’s Frontier Award lecture
|
| nationalmathfestival.org |
National Math Festival
|
| mathforamerica.org |
video
|
| youtu.be |
promotional video
|
| cambridge.org |
Fat Chance: Probability from 0 to 1
|
| edx.org |
edX
|
Конкуренты Готовность: 0%
Конкуренты в Яндексе
Кол-во: 0
Топ сайтов-конкурентов в Яндексе
?
Сайты, чаще всего появляющиеся в ТОПе Яндекса по запросам из семантического ядра этой страницы.
Мы не нашли у вас конкурентов в Яндексе. Сайт или очень молодой или плохо продвигается.
Конкурентов в ТОП-10 Яндекса не нашлось.
Конкуренты в Google
Кол-во: 0
Топ сайтов-конкурентов в Google
?
Сайты, чаще всего появляющиеся в ТОПе Google по запросам из семантического ядра этой страницы.
Конкуренты в Google тоже не найдены. Займитесь продвижением сайта!
Конкурентов в ТОП-10 Google не нашлось.
ЗоЗПП: права потребителей Готовность: 100%
Нарушения
Не выявлены
Признаков дистанционной продажи товаров (интернет-магазина) не обнаружено — требования ЗоЗПП о раскрытии информации продавца к сайту не применяются. Нарушений нет.
ФЗ-149: рекомендательные технологии Готовность: 100%
Нарушения
Не выявлены
Рекомендательные блоки («с этим покупают», «похожие товары» и т.п.) на сайте не обнаружены — требования ст. 10.7 ФЗ-149 к сайту не применяются. Нарушений нет.
ФЗ-38: реклама Готовность: 100%
Нарушения
Не выявлены
Рекламных тематик с обязательными оговорками (медицина, БАД, кредиты и займы, новостройки) на сайте не обнаружено. Нарушений нет.
ФЗ-436: защита детей Готовность: 100%
Нарушения
Не выявлены
Признаков информационной продукции (новости, видео, книги, игры, курсы) не обнаружено — обязательная возрастная маркировка по ФЗ-436 сайту не требуется. Нарушений нет.
Вердикт
Страница https://emilyriehl.github.io/talks/ готова к продвижению на 62%. Чтобы еще улучшить страницу и попасть на первые места поисковой выдачи необходимо:
Исправьте ошибки в мета-тегах.
Исправьте ошибки оптимизации.
Исправьте ошибки индексации.
Поделитесь с друзьями: