doc(CategoryTheory/Limits/Sifted): remove non-ASCII characters in bib…

…liography key (#18101) Currently doc-gen4 does not allow non-ASCII characters in bibkey.
leanprover-community · Oct 23, 2024 · 8164cd2 · 8164cd2
1 parent 6e6c4be
commit 8164cd2
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 12 deletions.
diff --git a/Mathlib/CategoryTheory/Limits/Sifted.lean b/Mathlib/CategoryTheory/Limits/Sifted.lean
@@ -17,7 +17,7 @@ preserves finite products.
 
 ## References
 - [nLab, *Sifted category*](https://ncatlab.org/nlab/show/sifted+category)
-- [*Algebraic Theories*, Chapter 2.][Adámek_Rosický_Vitale_2010]
+- [*Algebraic Theories*, Chapter 2.][Adamek_Rosicky_Vitale_2010]
 -/
 
 universe w v v₁ u u₁

diff --git a/docs/references.bib b/docs/references.bib
@@ -21,6 +21,17 @@ @Book{            abramsky_gabbay_maibaum_1994
   zbl           = {0829.68111}
 }
 
+@Book{            Adamek_Rosicky_Vitale_2010,
+  place         = {Cambridge},
+  series        = {Cambridge Tracts in Mathematics},
+  title         = {Algebraic Theories: A Categorical Introduction to General
+                  Algebra},
+  publisher     = {Cambridge University Press},
+  author        = {Adámek, J. and Rosický, J. and Vitale, E. M.},
+  year          = {2010},
+  collection    = {Cambridge Tracts in Mathematics}
+}
+
 @InProceedings{   adhesive2004,
   author        = {S. Lack and P. Soboci{\'n}ski},
   title         = {Adhesive categories},
@@ -34,17 +45,6 @@ @InProceedings{   adhesive2004
   url           = {https://www.ioc.ee/~pawel/papers/adhesive.pdf}
 }
 
-@Book{            Adámek_Rosický_Vitale_2010,
-  place         = {Cambridge},
-  series        = {Cambridge Tracts in Mathematics},
-  title         = {Algebraic Theories: A Categorical Introduction to General
-                  Algebra},
-  publisher     = {Cambridge University Press},
-  author        = {Adámek, J. and Rosický, J. and Vitale, E. M.},
-  year          = {2010},
-  collection    = {Cambridge Tracts in Mathematics}
-}
-
 @Article{         ahrens2017,
   author        = {Benedikt Ahrens and Peter LeFanu Lumsdaine},
   year          = {2019},