Recent changes

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

17 Sep 2022 b8a448f done carres deductifs by Fosco Loregian

Click to (un)fold the list of all 7 affected nodes.

• Carrés exacts et carrés déductifs
• 1·c·a. BC' criterion [001O]
• Definition 5·d. Consistent functor, C' condition [002E]
• Section 8. The "proof theory" of $\Cat$ [0032]
• Section 12. Exact squares and factorizations [0036]
• Section 13. Deductive squares [0037]
• Definition 13·a. Deductive square [0038]

15 Sep 2022 04f9f80 almost done guitart1981 by Fosco Loregian

Click to (un)fold the list of all 8 affected nodes.

• Section 9. Syntax and semantics adjunction $Re\dashv Ex$ [0033]
• Section 10. $\cate{Sub}$-exact squares and relational calculus [0034]
• Section 11. A peek at deductive squares [0035]
• Section 12. Exact squares and factorizations [0036]
• Section 13. Deductive squares [0037]
• Translator’s Note 9·a [003A]
• 003b [003B]
• Deductive square [003C]

12 Sep 2022 371f5d3 some more sections of carres deductifs by Fosco Loregian

Click to (un)fold the list of all 12 affected nodes.

• -1·e [001J]
• Remark 1·r. Connection with exactness in $\Ab$ [002A]
• Definition 5·d. Consistent functor, C' condition [002E]
• Section 2. Fibered exact logic [002W]
• Section 3. Formal category theory through exact squares [002X]
• Section 4. Exact squares in deductive logic [002Y]
• Section 5. Relations, subobjects, free P-algebras [002Z]
• Section 6. Deductive sets [0030]
• Section 7. Deduction structures from extension structures [0031]
• Section 8. The "proof theory" of $\Cat$ [0032]
• Section 9. Syntax and semantics adjunction $Re\dashv Ex$ [0033]
• Translator’s Note 7·a [0039]

10 Sep 2022 2c1bee0 first 5 sections done by Fosco Loregian

Click to (un)fold the list of all 5 affected nodes.

• Section 1. Goal [002V]
• Section 2. Fibered exact logic [002W]
• Section 3. Formal category theory through exact squares [002X]
• Section 4. Exact squares in deductive logic [002Y]
• Section 5. Relations, subobjects, free P-algebras [002Z]

10 Sep 2022 9065d37 fst two sections of deductifs done by Fosco Loregian

Click to (un)fold the list of all 4 affected nodes.

• Carrés exacts et carrés déductifs
• Translator’s Note a [002U]
• Section 1. Goal [002V]
• Section 2. Fibered exact logic [002W]

09 Sep 2022 a4644ca stub sections carres deductifs by Fosco Loregian

Click to (un)fold the list of all 15 affected nodes.

• Translator’s Note a [002U]
• Section 1. Goal [002V]
• Section 2. Fibered exact logic [002W]
• Section 3. Formal category theory through exact squares [002X]
• Section 4. Exact squares in deductive logic [002Y]
• Section 5. Relations, subobjects, free P-algebras [002Z]
• Section 6. Deductive sets [0030]
• Section 7. Deduction structures from extension structures [0031]
• Section 8. The "proof theory" of $\Cat$ [0032]
• Section 9. Syntax and semantics adjunction $Re\dashv Ex$ [0033]
• Section 10. $\cate{Sub}$-exact squares and relational calculus [0034]
• Section 11. A peek at deductive squares [0035]
• Section 12. Exact squares and factorizations [0036]
• Section 13. Deductive squares [0037]
• Definition 13·a. Deductive square [0038]

08 Sep 2022 a65cc01 small tweak to mint-node.rkt by Fosco Loregian

Click to (un)fold the list of all 2 affected nodes.

• Carrés exacts et carrés déductifs
• Translator’s Note a [002U]

07 Sep 2022 1bfa738 small typo in 002L by Fosco Loregian

Click to (un)fold the list of all 1 affected nodes.

• 3.0 [002L]

05 Sep 2022 40d0908 testing automatic commit by Fosco Loregian

Click to (un)fold the list of all 7 affected nodes.

• Section 4. Pointwise and exact squares in uniform Yoneda structures [001E]
• Definition 4·a. Yoneda strucure [002O]
• Remark 4·b [002P]
• Definition 4·c. Uniform Yoneda structure [002Q]
• Definition 4·d. Exactness from admissibility, BC# criterion [002R]
• Theorem 4·e. PP# criterion [002S]
• 002t [002T]

05 Sep 2022 b0da95b automatic safe commit by Fosco Loregian

Click to (un)fold the list of all 9 affected nodes.

• Section 3. Calculus of relations and types of exactness [001D]
• Section 4. Pointwise and exact squares in uniform Yoneda structures [001E]
• 3.0 [002L]
• Theorem 3·a [002M]
• Remark 3·b [002N]
• Definition 4·a. Yoneda strucure [002O]
• Remark 4·b [002P]
• Definition 4·c. Uniform Yoneda structure [002Q]
• Definition 4·d. Exactness from admissibility, BC# criterion [002R]

05 Sep 2022 b25d4a6 section 2 ready by Fosco Loregian

Click to (un)fold the list of all 4 affected nodes.

• Section 2. Exact grids in a symmetric 2-category [001C]
• Definition 2·a. Exact grid [002I]
• Definition 2·b. Opaque functor [002J]
• Remark 2·c [002K]

05 Sep 2022 97924c9 fix tickmarks to work around a problem with markdown by Jon Sterling

Click to (un)fold the list of all 4 affected nodes.

• 1·c·c. ZZ criterion [001Q]
• Definition 1·g. Multiplicative square [001W]
• Definition 5·b. Opaque functor [002C]
• Definition 5·e. Very rich functor [002F]

05 Sep 2022 9834b4b broken ref by Fosco Loregian

Click to (un)fold the list of all 1 affected nodes.

• Theorem 5·c [002D]

05 Sep 2022 e8127d3 section 5 ready by Fosco Loregian

Click to (un)fold the list of all 8 affected nodes.

• Section 5. Opaque functors, absolute extensions, and applications to pro-localisation [001F]
• 5·a [002B]
• Definition 5·b. Opaque functor [002C]
• Theorem 5·c [002D]
• Definition 5·d. Consistent functor, C' condition [002E]
• Definition 5·e. Very rich functor [002F]
• Theorem 5·f. Pro-localization conditions [002G]
• Remark 5·g [002H]

05 Sep 2022 be3af47 section 1 done by Fosco Loregian

Click to (un)fold the list of all 14 affected nodes.

• Section 1. Exactness in the 2-category $\Cat$ [001A]
• Definition 1·b. Exact square, BC criterion [001M]
• Theorem 1·j. PP criterion; pointwise left extension [001Z]
• Remark 1·j·a [0020]
• Theorem 1·k. Composition rules [0021]
• Theorem 1·l. D criterion [0022]
• Theorem 1·m. PP* criterion [0023]
• Theorem 1·n. Preservation conditions [0024]
• Definition 1·o. Strong exact square [0025]
• Theorem 1·p. Exponentiation rule [0026]
• Example 1·q [0027]
• Translator’s Note 1·q·a [0028]
• Remark 1·q·b [0029]
• Remark 1·r. Connection with exactness in $\Ab$ [002A]

05 Sep 2022 2b34ac5 huge advancement section 1 by Fosco Loregian

Click to (un)fold the list of all 17 affected nodes.

• Definition 0·a. Square in a 2-category [0017]
• Section 1. Exactness in the 2-category $\Cat$ [001A]
• -1·e [001J]
• 1·a [001L]
• Definition 1·b. Exact square, BC criterion [001M]
• Theorem 1·c. Zigzag criterion [001N]
• 1·c·a. BC' criterion [001O]
• 1·c·b. BC'' criterion [001P]
• 1·c·c. ZZ criterion [001Q]
• Theorem 1·d. Local criteria [001R]
• 1·d·a. LI/LF criteria [001S]
• 1·d·b. $\pi_0\triangledown$ criterion [001T]
• Theorem 1·e. Comparison with comma and co-comma objects [001U]
• 1·f. H criteria [001V]
• Definition 1·g. Multiplicative square [001W]
• Remark 1·h [001X]
• Remark 1·i. M criterion [001Y]

05 Sep 2022 8a76ff8 definition BC by Fosco Loregian

Click to (un)fold the list of all 1 affected nodes.

• Definition 1·b. Exact square, BC criterion [001M]

04 Sep 2022 3bfeaba fix link and location of bénabou pdf by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• Translator’s Note a [000L]

04 Sep 2022 85f8c7e stub first def section 1 by Fosco Loregian

Click to (un)fold the list of all 4 affected nodes.

• Section 1. Exactness in the 2-category $\Cat$ [001A]
• -1·f [001K]
• 1·a [001L]
• Definition 1·b. Exact square, BC criterion [001M]

04 Sep 2022 44c1803 split paragraphs in introduction by Fosco Loregian

Click to (un)fold the list of all 7 affected nodes.

• -1·a. Goals [0015]
• Section -1. Introduction [001B]
• -1·b [001G]
• -1·c [001H]
• -1·d [001I]
• -1·e [001J]
• -1·f [001K]

04 Sep 2022 0129110 crossrefs and bib by Fosco Loregian

Click to (un)fold the list of all 2 affected nodes.

• Translator’s Note a [0014]
• -1·a. Goals [0015]

04 Sep 2022 531fd46 citation for street-walters:1978 by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• -1·a. Goals [0015]

04 Sep 2022 0f358f0 add example of using bibliography by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• Translator’s Note a [0014]

04 Sep 2022 97e5738 delete bibliography section, as this will automatically be generated by Jon Sterling

Click to (un)fold the list of all 2 affected nodes.

• Relations et carrés exacts
• -1·b [001G]

04 Sep 2022 d38b29c fix quotes by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• -1·a. Goals [0015]

04 Sep 2022 d420031 deactive dead links to support commit invariant that the project always builds by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• -1·a. Goals [0015]

04 Sep 2022 f86c8ab correct syntax of {%cref …%} (but links still broken) by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• -1·a. Goals [0015]

04 Sep 2022 14ddc27 sections in place, but crefs are broken by Fosco Loregian

Click to (un)fold the list of all 9 affected nodes.

• Relations et carrés exacts
• -1·a. Goals [0015]
• Section 1. Exactness in the 2-category $\Cat$ [001A]
• Section -1. Introduction [001B]
• Section 2. Exact grids in a symmetric 2-category [001C]
• Section 3. Calculus of relations and types of exactness [001D]
• Section 4. Pointwise and exact squares in uniform Yoneda structures [001E]
• Section 5. Opaque functors, absolute extensions, and applications to pro-localisation [001F]
• -1·b [001G]

04 Sep 2022 9027a99 introduction nodes by Fosco Loregian

Click to (un)fold the list of all 6 affected nodes.

• Relations et carrés exacts
• -1·a. Goals [0015]
• Section 0. Notation [0016]
• Translator’s Note -1·a·a [0019]
• Section 1. Exactness in the 2-category $\Cat$ [001A]
• Section -1. Introduction [001B]

04 Sep 2022 9e30aed fix typo in translator note by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• Translator’s Note -1·a·a [0019]

04 Sep 2022 2f415bf add some rudimentary feature to set the section yourself by Jon Sterling

Click to (un)fold the list of all 3 affected nodes.

• Relations et carrés exacts
• -1·a. Goals [0015]
• Section 0. Notation [0016]

04 Sep 2022 b637ad2 some tests with doc structure by Fosco Loregian

Click to (un)fold the list of all 4 affected nodes.

• -1·a. Goals [0015]
• Definition 0·a. Square in a 2-category [0017]
• 0018 [0018]
• Translator’s Note -1·a·a [0019]

04 Sep 2022 2736726 stub a section starting by Fosco Loregian

Click to (un)fold the list of all 4 affected nodes.

• Relations et carrés exacts
• -1·a. Goals [0015]
• Section 0. Notation [0016]
• Definition 0·a. Square in a 2-category [0017]

04 Sep 2022 64b9caa add stub for env w/ math, and small guitart.rkt file by Fosco Loregian

Click to (un)fold the list of all 2 affected nodes.

• Relations et carrés exacts
• -1·a. Goals [0015]

04 Sep 2022 b217bd8 stub guitart by Fosco Loregian

Click to (un)fold the list of all 2 affected nodes.

• Relations et carrés exacts
• Translator’s Note a [0014]

03 Sep 2022 41024da explain the La Samaritaine joke by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• Translator’s Note 1·f·a [000T]

03 Sep 2022 f08d3eb update bibliography by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• Translator’s Note a [000S]

03 Sep 2022 9802166 rename benabou file by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• Translator’s Note a [000L]

03 Sep 2022 53483e3 add missing colon by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• Section 2·d. The representation [0012]

03 Sep 2022 a6eb789 finish up translation of coste & michon by Jon Sterling

Click to (un)fold the list of all 2 affected nodes.

• Petits et gros topos en géométrie algébrique
• Section 3. The real étale topos [0013]

03 Sep 2022 2a14bdd finish draft of section 2 by Jon Sterling

Click to (un)fold the list of all 2 affected nodes.

• Section 2. Representation of a variety as a “locally” ringed topos [000X]
• Section 2·d. The representation [0012]

03 Sep 2022 9762607 fix mistaken title by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• 1·c [000P]

03 Sep 2022 fc29dbb morphisms of locally ringed topoi by Jon Sterling

Click to (un)fold the list of all 4 affected nodes.

• Section 2. Representation of a variety as a “locally” ringed topos [000X]
• Definition 2·a. “Local” rings [000Z]
• 2·b. The classifying topos of “local” $k$-algebras [0010]
• Definition 2·c. Morphisms of topoi ringed in local $k$-algebras [0011]

03 Sep 2022 d252b5b fix a mistake by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• 2·b. The classifying topos of “local” $k$-algebras [0010]

03 Sep 2022 7751378 starting to translate material on locally ringed topoi by Jon Sterling

Click to (un)fold the list of all 4 affected nodes.

• Section 2. Representation of a variety as a “locally” ringed topos [000X]
• Translator’s Note 2·a·a [000Y]
• Definition 2·a. “Local” rings [000Z]
• 2·b. The classifying topos of “local” $k$-algebras [0010]

03 Sep 2022 7c701cd tweak prose (“no more” => “nothing more”) by Jon Sterling

Click to (un)fold the list of all 1 affected nodes.

• 1·b. Localization data [000O]

03 Sep 2022 b70be0e update display of authors, translators by Jon Sterling

Click to (un)fold the list of all 2 affected nodes.

• Problèmes dans les topos
• Petits et gros topos en géométrie algébrique

03 Sep 2022 a8d31e8 translating first half of Coste–Michon by Jon Sterling

Click to (un)fold the list of all 18 affected nodes.

• Problèmes dans les topos
• Petits et gros topos en géométrie algébrique
• Proposition 1.4·c [0006]
• Remark 1.4·d [0009]
• Definition 2.1. Construction of the object of monos [000B]
• Proposition 2.2·a. Universal property [000D]
• Section 1. The étalés [000M]
• 1·a. Elementary étalés [000N]
• 1·b. Localization data [000O]
• 1·c [000P]
• 1·d. The little étale topos [000Q]
• 1·e. Geometric morphisms between the little and big étale topoi [000R]
• Translator’s Note a [000S]
• Translator’s Note 1·f·a [000T]
• 1·f. Relationship between big and little étale topoi [000U]
• Definition 1·g [000V]
• Definition 1·h. Varieties [000W]
• Section 2. Representation of a variety as a “locally” ringed topos [000X]

03 Sep 2022 73cf950 rename lecture root by Jon Sterling

Click to (un)fold the list of all 2 affected nodes.

• Problèmes dans les topos
• problemes-dans-les-topos

03 Sep 2022 be57dd5 change into a general math translation project by Jon Sterling

Click to (un)fold the list of all 2 affected nodes.

• problemes-dans-les-topos
• Translator’s Note a [000L]