These are the last 50 of the 95 commits involving nodes.

06 Feb 2022 ba3bbc6 make on ref parenthetical by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
03 Feb 2022 5c0da58 tweak terminology (opposite self-indexing => dual self-indexing) by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
02 Feb 2022 61d8e3b Discuss codomain opfibration and domain fibration; clean up domain opfibration. by Carlo Angiuli
Click to (un)fold the list of all 7 affected nodes.
01 Feb 2022 8fb843b feat: inheritable macrolib; prev/next navigation
Click to (un)fold the list of all 2 affected nodes.
30 Jan 2022 8597261 first cut at definability à la Bénabou by Jon Sterling
Click to (un)fold the list of all 14 affected nodes.
31 Jan 2022 79bafd1 add nlab tag plugin by Jon Sterling
Click to (un)fold the list of all 3 affected nodes.
30 Jan 2022 b54be38 topos: say “meta-bicategory” instead of “very large bicategory” by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
30 Jan 2022 624ca61 topos: use diagrammatic order & flip an iso to make the pasting compatible by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
30 Jan 2022 20ef85d set a default global macrolib by Jon Sterling
Click to (un)fold the list of all 89 affected nodes.
29 Jan 2022 03e8f45 fix missing macrolib by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
29 Jan 2022 09cbfd9 tweak wording for clarity by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
29 Jan 2022 fa24378 tweak a few refs by Jon Sterling
Click to (un)fold the list of all 2 affected nodes.
29 Jan 2022 3671a01 cleanup in discussion of full subfibration by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
29 Jan 2022 25c493a tidy up section 5 using new taxons by Carlo Angiuli
Click to (un)fold the list of all 3 affected nodes.
29 Jan 2022 a0cb966 tweak a few references and node titles by Jon Sterling
Click to (un)fold the list of all 4 affected nodes.
29 Jan 2022 7358b63 add support for authors by Jon Sterling
Click to (un)fold the list of all 2 affected nodes.
29 Jan 2022 9049427 typo by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
29 Jan 2022 f88d9be refer to small separator in definition of topos by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
29 Jan 2022 846ea88 missing word: small by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
29 Jan 2022 b8f66ec disentangle a bunch of math, discussion of figure shapes by Jon Sterling
Click to (un)fold the list of all 6 affected nodes.
29 Jan 2022 082dcad fix confusing owrding by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
29 Jan 2022 1280abd Define separators for fibrations (resolve #40) by Jon Sterling
Click to (un)fold the list of all 6 affected nodes.
29 Jan 2022 eb82d7d update several nodes to use cref and pref by Jon Sterling
Click to (un)fold the list of all 20 affected nodes.
29 Jan 2022 3ed1724 add a node title by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
29 Jan 2022 2a50e4f add intuition about hypocartesian vs. cartesian re: pullbacks by Jon Sterling
Click to (un)fold the list of all 5 affected nodes.
29 Jan 2022 feb8243 refactor and complete proof of equiv. between 2 defn’s of cart. fibration by Jon Sterling
Click to (un)fold the list of all 3 affected nodes.
29 Jan 2022 1108ee2 title of generalized pullback lemma by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
29 Jan 2022 9832d71 add \tick macro to get rid of \Sup{\prime} by Jon Sterling
Click to (un)fold the list of all 2 affected nodes.
29 Jan 2022 e6f37be resolve a todo by Carlo Angiuli
Click to (un)fold the list of all 1 affected nodes.
29 Jan 2022 622eba0 hypocartesian morphisms by Carlo Angiuli
Click to (un)fold the list of all 4 affected nodes.
28 Jan 2022 5f457b6 start “sheafy-fying” topos lectures :) by Jon Sterling
Click to (un)fold the list of all 8 affected nodes.
28 Jan 2022 ad3f499 add qed squares to proofs by Jon Sterling
Click to (un)fold the list of all 12 affected nodes.
28 Jan 2022 a2d54a5 add a warning about generic object terminology by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
28 Jan 2022 f1ea5fb fix a mistaken ref by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
28 Jan 2022 cc267e2 split a lot more nodes by Jon Sterling
Click to (un)fold the list of all 37 affected nodes.
28 Jan 2022 63919fd split a bunch of nodes into result nodes by Jon Sterling
Click to (un)fold the list of all 14 affected nodes.
28 Jan 2022 cbb49bf feat: #6 sublayouts, taxa, clickers and better layouts
Click to (un)fold the list of all 2 affected nodes.
26 Jan 2022 358cf3c cocartesian fibrations (#37) by Carlo Angiuli
Click to (un)fold the list of all 7 affected nodes.
26 Jan 2022 3985d14 fix typo (duplicate word) by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
26 Jan 2022 f8cc803 fix missing arrows in diagrams by Jon Sterling
Click to (un)fold the list of all 2 affected nodes.
26 Jan 2022 1059902 add a dotted pullback aura to a diagram by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
26 Jan 2022 af2b7ad add a back-reference by Jon Sterling
Click to (un)fold the list of all 1 affected nodes.
25 Jan 2022 8119533 add back ref and fix typos by Carlo Angiuli
Click to (un)fold the list of all 1 affected nodes.
25 Jan 2022 5e20836 the generalized pullback lemma by Carlo Angiuli
Click to (un)fold the list of all 3 affected nodes.
25 Jan 2022 412d604 other kinds of fibrations (#29) by Carlo Angiuli
Click to (un)fold the list of all 15 affected nodes.
24 Jan 2022 a956fee typos by Carlo Angiuli
Click to (un)fold the list of all 2 affected nodes.
19 Jan 2022 f788e92 correct an internal link by Carlo Angiuli
Click to (un)fold the list of all 1 affected nodes.
19 Jan 2022 8d3e9bb internalization of a small fibration by Jon Sterling
Click to (un)fold the list of all 7 affected nodes.
19 Jan 2022 f8d278a typos and a remark about the codomain functor by Carlo Angiuli
Click to (un)fold the list of all 2 affected nodes.
18 Jan 2022 72151a2 typos by Carlo Angiuli
Click to (un)fold the list of all 4 affected nodes.