چرند انتزاعی

در ریاضیات ریاضی‌دانان روش‌های مرتبط با نظریه رسته‌ها و جبر همولوژی را با عبارت چرند انتزاعی () یا چرند تعمیم‌یافته  توصیف می‌کنند. در شکل کلی‌تر، چرند انتزاعی می‌تواند به هر اثباتی اطلاق شود که به روش‌های نظری رسته‌ای متکی است. این عبارت به خود نظریهٔ رسته‌ها نیز اطلاق شده است.

این عبارت غالباً به استفاده از روش‌های نظریه رسته‌ها در زمینه‌های کمتر انتزاعی اشاره دارد.An Application of Abstract Nonsense to Surface Area, Harriet LordAbstract Nonsense for Functional Programmers , Edsko de Vries

 زمینه 
به‌طور کلی نظریهٔ رسته‌ها را می‌توان مطالعهٔ ریخت کلی (یعنی رده‌های نظریات ریاضی فارغ از محتویات آنها) دانست. ازین‌رو اثبات‌های ریاضیاتی که برپایهٔ نظریهٔ رسته‌ها نوشته شده‌اند غالباً غریب و نامربوط به نظر می‌رسند. ریاضی‌دانان گاه این برهان‌ها را «چرند انتزاعی» می‌نامند تا توجه را به شدت انتزاعی بودن آنها جلب کنند. عبارت چرند در این عبارت با هدف موهن بودن و خوار کردن به کار نمی‌رودMichael Monastyrsky, Some Trends in Modern Mathematics and the Fields Medal. Can. Math. Soc. Notes, March and April 2001, Volume 33, nos. 2 and 3. Online version available at http://www.fields.utoronto.ca/aboutus/FieldsMedal_Monastyrsky.pdf.
"In algebra, the term “abstract nonsense” has a definite meaning without any pejorative connotation."
و کاربردی مزاح‌آمیز
و متواضعانه
دارد و تمجیدی از شدت تعمیم و کلی بودن این مباحث محسوب می‌شود.

برخی مفاهیم ریاضیاتی در دامنه‌های متفاوت و مختلف نوعی پیوستگی و «این‌همانی» دارند که این امر موضوع نظریهٔ رسته‌ها است. تبدیل طبیعی بین تابعگون‌ها و جستجوی دیاگرامی از نمونه‌های این مفاهیمند.

 تاریخچه 
تاریخچهٔ استفاده از این عبارت به‌پیش از ابداع نظریهٔ رسته‌ها می‌رسد. گفته می‌شود این عبارت را نورمن استینراد (Norman Steenrod) (که خود یکی از مبدعان نقطه نظر رسته‌ای بود) ابداع کرده است.Colin McLarty, The Uses and Abuses of the History of Topos Theory, Br. J. Philos. Sci. , 41 (1990) p 355.
 "Steenrod jokingly tagged category theory 'abstract nonsense' and made it central to his axiomatics for homology"Joseph Rotman, "An Introduction to Homological Algebra, by Charles A. Weibel" (book review), Bull. Am. Math. Soc. , 33:4 (Oct. 1996) 473–476.
"The self-deprecating phrase general abstract nonsense (due to Steenrod) was promulgated by Eilenberg and Mac Lane, two of the major innovators of homological algebra, to highlight this aspect of the subject."Serge Lang, "Algebra" Second Edition, Addison Wesley, 1984, p 175

به‌نوشتهٔ ساندرز مک لین، از مقاله‌ای که او و ساموئل آیلنبرگ در سال ۱۹۴۲ چاپ کردند (و بنیان نظریهٔ رسته‌ای محسوب می‌شود) در همان زمان نیز با عنوان چرند انتزاعی تعمیم‌یافته یاد می‌شد.Saunders Mac Lane. "The PNAS way back then". Proc. Natl. Acad. Sci. USA Vol. 94, pp.  5983–5985, June 1997.
"The first of these papers is a more striking case; it introduced the very abstract idea of a "category"—a subject then called "general abstract nonsense"!"

 منابع 

رده:نظریه رسته‌ها
رده:واژگان ریاضیات