Tags: added new tags

tags/tags

@@ -11031,3 +11031,54 @@
 08PY,cotangent-lemma-pi-shriek-finite
 08PZ,cotangent-lemma-cotangent-finite
 08Q0,obsolete-section-simplicial
+08Q1,algebra-lemma-NL-polynomial-algebra
+08Q2,derived-lemma-trick-vanishing-composition
+08Q3,simplicial-example-simplex-contractible
+08Q4,simplicial-lemma-products-homotopy
+08Q5,simplicial-lemma-filtered-colimit-trivial-kan
+08Q6,cotangent-remark-map-evaluation-to-derived
+08Q7,cotangent-lemma-initial-final
+08Q8,cotangent-lemma-change-of-rings
+08Q9,cotangent-lemma-compute-by-cosimplicial-resolution
+08QA,cotangent-lemma-get-it-now
+08QB,cotangent-lemma-product-categories
+08QC,cotangent-lemma-eilenberg-zilber
+08QD,cotangent-remark-simplicial-modules
+08QE,cotangent-lemma-pi-lower-shriek-constant-sheaf
+08QF,cotangent-lemma-identify-H0
+08QG,cotangent-lemma-pi-lower-shriek-polynomial-algebra
+08QH,cotangent-lemma-cotangent-complex-polynomial-algebra
+08QI,cotangent-remark-resolution
+08QJ,cotangent-lemma-O-homology-B-homology
+08QK,cotangent-lemma-apply-O-B-comparison
+08QL,cotangent-section-functoriality
+08QM,cotangent-equation-commutative-square
+08QN,cotangent-equation-double-square
+08QP,cotangent-lemma-flat-base-change
+08QQ,cotangent-lemma-flat-base-change-cotangent-complex
+08QR,cotangent-section-triangle
+08QS,cotangent-equation-triangle
+08QT,cotangent-equation-three-maps
+08QU,cotangent-lemma-triangle-ses
+08QV,cotangent-lemma-polynomial-on-top
+08QW,cotangent-lemma-triangle-compute-lower-shriek
+08QX,cotangent-proposition-triangle
+08QY,cotangent-section-localization
+08QZ,cotangent-lemma-localize-at-bottom
+08R0,cotangent-lemma-derived-diagonal
+08R1,cotangent-lemma-bootstrap
+08R2,cotangent-lemma-when-zero
+08R3,cotangent-lemma-localize-on-top
+08R4,cotangent-section-smooth
+08R5,cotangent-lemma-when-projective
+08R6,cotangent-section-surjections
+08R7,cotangent-remark-make-map
+08R8,cotangent-equation-comparison-map-A
+08R9,cotangent-equation-comparison-map
+08RA,cotangent-lemma-surjection
+08RB,cotangent-lemma-relation-with-naive-cotangent-complex
+08RC,cotangent-section-spectral-sequence
+08RD,cotangent-lemma-vanishing-symmetric-powers
+08RE,cotangent-lemma-map-tors-zero
+08RF,cotangent-theorem-quillen-spectral-sequence
+08RG,cotangent-remark-elucidate-ss