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