رسته ملموس

در ریاضیات یک رسته ملموس، یک رسته است که مجهز به یک فانکتور وفادار به رسته مجموعه‌هاست. این فانکتور موجب می‌شود که به اشیاء یک رسته، به عنوان مجموعه‌هایی با ساختار اضافه، و به ریخت‌ها به عنوان توابع حافظ ساختار نگاه کنیم. بسیاری از رسته‌های مهم، تعابیر واضحی به عنوان رسته‌های ملموس دارند. برای مثال، رسته فضاهای توپولوژیک و رسته گروه‌ها، و بوضوح همینظور رسته مجموعه‌ها. از سوی دیگر، رسته هوموتوپی فضاهای توپولوژیک ملموس-پذیر نیست، یعنی فانکتور وفاداری از آن به رسته مجموعه‌ها موجود نیست.

تعریف

یک رسته ملموس یک جفت (C,U) است بطوریکه

C یک رسته است، و
U: C → Set (رسته مجموعه‌ها و توابع) یک فانکتور وفادار است.

فانکتور U را می‌توان به عنوان یک فانکتور فراموشکار در نظر گرفت که به هر شی از C، «مجموعه زیربنایی» اش، و به هر ریخت، «تابع زیربنایی» اش را اختصاص می‌دهد.

منابع

Adámek, Jiří, Herrlich, Horst, & Strecker, George E. ; (1990). Abstract and Concrete Categories (4.2MB PDF). Originally publ. John Wiley & Sons. ISBN 0-471-60922-6. (now free on-line edition).
Freyd, Peter; (1970). Homotopy is not concrete. Originally published in: The Steenrod Algebra and its Applications, Springer Lecture Notes in Mathematics Vol. 168. Republished in a free on-line journal: Reprints in Theory and Applications of Categories, No. 6 (2004), with the permission of Springer-Verlag.
Rosický, Jiří; (1981). Concrete categories and infinitary languages. Journal of Pure and Applied Algebra, Volume 22, Issue 3.