-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathmkdocs.yml
119 lines (110 loc) · 3.4 KB
/
mkdocs.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
site_name: 'Yoneda for ∞-categories'
site_url: https://emilyriehl.github.io/yoneda
repo_url: https://github.com/emilyriehl/yoneda
repo_name: emilyriehl/yoneda
edit_uri: edit/master/src
docs_dir: src
nav:
- About:
- index.md
- Code style: STYLEGUIDE.md
- Other Yoneda formalizations: other.md
- HoTT:
- Common: hott/00-common.rzk.md
- Paths: hott/01-paths.rzk.md
- Homotopies: hott/02-homotopies.rzk.md
- Equivalences: hott/03-equivalences.rzk.md
- Half Adjoint Equivalences: hott/04-half-adjoint-equivalences.rzk.md
- Sigma types: hott/05-sigma.rzk.md
- Contractible: hott/06-contractible.rzk.md
- Fibers: hott/07-fibers.rzk.md
- Families of maps: hott/08-families-of-maps.rzk.md
- Propositions: hott/09-propositions.rzk.md
- Trivial fibrations: hott/10-trivial-fibrations.rzk.md
- Simplicial HoTT:
- Simplicial Type Theory: simplicial-hott/03-simplicial-type-theory.rzk.md
- Extension Types: simplicial-hott/04-extension-types.rzk.md
- Pre-∞-categories (Segal Types): simplicial-hott/05-segal-types.rzk.md
- 2-Category of pre-∞-categories: simplicial-hott/06-2cat-of-segal-types.rzk.md
- ∞-groupoids (Discrete Types): simplicial-hott/07-discrete.rzk.md
- Covariantly Functorial Type Families: simplicial-hott/08-covariant.rzk.md
- The Yoneda Lemma: simplicial-hott/09-yoneda.rzk.md
- ∞-categories (Rezk Types): simplicial-hott/10-rezk-types.rzk.md
- Cocartesian Families: simplicial-hott/12-cocartesian.rzk.md
- Geodesic to the Yoneda lemma: simplicial-hott/13-yoneda-geodesic.rzk.md
markdown_extensions:
- admonition
- footnotes
- pymdownx.details
- pymdownx.tasklist
- pymdownx.snippets:
check_paths: true
- mdx_math
- pymdownx.highlight:
anchor_linenums: true
line_spans: __span
pygments_lang_class: true
- pymdownx.inlinehilite
- pymdownx.superfences
- toc:
permalink: true
- pymdownx.arithmatex:
generic: true
- attr_list
- pymdownx.emoji:
emoji_index: !!python/name:material.extensions.emoji.twemoji
emoji_generator: !!python/name:material.extensions.emoji.to_svg
theme:
name: material
custom_dir: overrides
logo: images/logo-1000x1000.png
favicon: images/favicon.png
font:
text: Inria Sans
icon:
repo: fontawesome/brands/github
edit: material/pencil
view: material/eye
features:
- content.code.copy
- content.action.edit
- navigation.footer
- navigation.sections
- navigation.path
- navigation.tabs
- navigation.expand
- navigation.prune
- navigation.indexes
- toc.integrate
- announce.dismiss
palette:
# Palette toggle for dark mode
- media: '(prefers-color-scheme: dark)'
primary: black
scheme: slate
toggle:
icon: material/brightness-4
name: Switch to light mode
# Palette toggle for light mode
- media: '(prefers-color-scheme: light)'
primary: white
scheme: default
toggle:
icon: material/brightness-7
name: Switch to dark mode
extra_javascript:
- javascript/mathjax.js
- https://polyfill.io/v3/polyfill.min.js?features=es6
- https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
extra_css:
- css/rzk-render.css
extra:
version:
provider: mike
plugins:
- search
- mike
- social
- rzk:
render_svg: false
anchor_definitions: true