User:Legacypac/Taku

Discussed at WP:AN here (permalink). Johnuniq

Copied here for long term tracking purposes


 * 1) Draft:2-category created June 2017
 * 2) Draft:Γ-object Taku moved to main
 * 3) Draft:∞-topos Taku moved to main
 * 4) Draft:Abstract homotopy theory moved to userspace at MfD
 * 5) Draft:Adjoint functor theorem created July 2017
 * 6) Draft:Affine space (algebraic geometry) Taku moved to main in 2015
 * 7) Draft:Artin–Tate lemma
 * 8) Draft:Bivariant theory
 * 9) Draft:Bloch's higher Chow groups
 * 10) Draft:Borel's theorem
 * 11) Draft:Bott–Samelson resolution
 * 12) Draft:Bredon cohomology
 * 13) Draft:Categorical algebra
 * 14) Draft:Category of modules
 * 15) Draft:Change of fiber
 * 16) Draft:Chiral Lie algebra
 * 17) Draft:Chow group
 * 18) Draft:Chow group of a stack
 * 19) Draft:Chow quotient
 * 20) Draft:Chow variety
 * 21) Draft:Coherency (homotopy theory)
 * 22) Draft:Cohomological descent
 * 23) Draft:Complex space
 * 24) Draft:Cone (algebraic geometry)
 * 25) Draft:Cone over a projective scheme
 * 26) Draft:Cryptology
 * 27) Draft:Cubical set
 * 28) Draft:Cyclic algebra
 * 29) Draft:Density theorem (category theory)
 * 30) Draft:Derived tensor product
 * 31) Draft:Differential cohomology redirected at MfD
 * 32) Draft:Direct limit of topological spaces
 * 33) Draft:Direct limit topology
 * 34) Draft:Discrepancy (algebraic geometry)
 * 35) Draft:Distributional calculus
 * 36) Draft:Divisor (algebraic geometry)
 * 37) Draft:Divisor class group
 * 38) Draft:E n ring
 * 39) Draft:Equivariant homology
 * 40) Draft:Equivariant index theorem
 * 41) Draft:Étale spectrum
 * 42) Draft:Euler characteristic of an orbifold
 * 43) Draft:Exact couple
 * 44) Draft:Excess intersection formula
 * 45) Draft:Factorization homology
 * 46) Draft:Faithfully flat descent
 * 47) Draft:Fiber-homotopy equivalence
 * 48) Draft:Fibration of simplicial sets
 * 49) Draft:First and second fundamental theorems of invariant theory
 * 50) Draft:Formal criteria for adjoint functors
 * 51) Draft:Formal criteria for adjunction
 * 52) Draft:Free product of associative algebras
 * 53) Draft:G-fibration
 * 54) Draft:G-spectrum
 * 55) Draft:Galois descent
 * 56) Draft:Gamma space
 * 57) Draft:Generalizations of a ring
 * 58) Draft:Generalizations of rings
 * 59) Draft:Generating set of a module
 * 60) Draft:Generic matrix ring
 * 61) Draft:Glossary of algebraic topology
 * 62) Draft:Gordan's lemma
 * 63) Draft:Gorenstein scheme
 * 64) Draft:Graded Hopf algebra
 * 65) Draft:Graded symmetric algebra
 * 66) Draft:Grassmann bundle
 * 67) Draft:Harder–Narasimhan stratification
 * 68) Draft:Hodge theory in complex geometry
 * 69) Draft:Hopf algebra of a graph
 * 70) Draft:Ideal theory
 * 71) Draft:Ind-scheme
 * 72) Draft:Join (algebraic geometry)
 * 73) Draft:Kawasaki's Riemann–Roch formula
 * 74) Draft:Koszul duality
 * 75) Draft:Left fibration between simplicial sets
 * 76) Draft:Level structure
 * 77) Draft:Lie group–Lie algebra correspondence
 * 78) Draft:Limit and colimit of presheaves
 * 79) Draft:Local criterion for flatness
 * 80) Draft:Localization formula for equivariant cohomology
 * 81) Draft:Locally constant sheaf
 * 82) Draft:Locally free sheaf and an algebraic vector bundle
 * 83) Draft:Logarithmic differential form
 * 84) Draft:Macaulay representation of an integer
 * 85) Draft:Mackey functor
 * 86) Draft:Main theorem of elimination theory
 * 87) Draft:Matsusaka's big theorem
 * 88) Draft:Minimal generating set
 * 89) Draft:Module homomorphism
 * 90) Draft:Module spectrum
 * 91) Draft:Moduli stack of elliptic curves
 * 92) Draft:Morphism of prestacks
 * 93) Draft:Morphism of schemes
 * 94) Draft:Morphism of stacks
 * 95) Draft:Multiplier ideal
 * 96) Draft:Multiplier ideal (algebraic geometry)
 * 97) Draft:Nakano's vanishing theorem
 * 98) Draft:Noncommutative projective geometry
 * 99) Draft:Normal homomorphism
 * 100) Draft:Obstruction cycle
 * 101) Draft:Path space fibration
 * 102) Draft:Perfect module
 * 103) Draft:Perfect obstruction theory
 * 104) Draft:Polynomial differential form
 * 105) Draft:Prestack
 * 106) Draft:Prime avoidance lemma
 * 107) Draft:Projective curve
 * 108) Draft:Quantization commutes with reduction
 * 109) Draft:Quantum enveloping algebra
 * 110) Draft:Quantum enveloping algebra (2)
 * 111) Draft:Quantum enveloping algebra (redirect)
 * 112) Draft:Quasi-affine morphism
 * 113) Draft:Quasi-fibration
 * 114) Draft:Quillen metric
 * 115) Draft:Quot scheme
 * 116) Draft:Quotient by an equivalence relation
 * 117) Draft:Quotient space of a stack
 * 118) Draft:Quotient space of an algebraic stack
 * 119) Draft:Reflexive sheaf
 * 120) Draft:Relative Cartier divisor
 * 121) Draft:Relative cycle
 * 122) Draft:Relative effective Cartier divisor
 * 123) Draft:Representations on spaces of regular functions
 * 124) Draft:Residual intersection
 * 125) Draft:Residue in several complex variables
 * 126) Draft:Riemann–Roch-type theorem
 * 127) Draft:Ring with the approximation property
 * 128) Draft:Ringed topos
 * 129) Draft:Scheme-theoretic intersection
 * 130) Draft:Severi variety
 * 131) Draft:Sheaf of sets
 * 132) Draft:Sheaf of spectra
 * 133) Draft:Simplicial homotopy
 * 134) Draft:Specialization (algebraic geometry)
 * 135) Draft:Symbolic power
 * 136) Draft:Symmetric obstruction theory
 * 137) Draft:TakuyaMurata/Quantum enveloping algebra
 * 138) Draft:Tautological ring
 * 139) Draft:Tensor product of functors
 * 140) Draft:Tensor product of representations
 * 141) Draft:Toric degeneration
 * 142) Draft:Toric stack
 * 143) Draft:Toroidal embedding
 * 144) Draft:Trace morphism
 * 145) Draft:Tropical compactification
 * 146) Draft:Twisted sheaf
 * 147) Draft:Waldhausen S-construction
 * 148) Draft:Weyl's tube formula
 * 149) Draft:Yoneda product