ریخت نرمال

از ویکی‌پدیا، دانشنامهٔ آزاد

در نظریه رسته‌ها و کاربردهایش در ریاضیات، تکریختی نرمال (Normal Monomorphism) یا بروریختی هم-نرمال (Conormal Epimorphism)، نوع خوش-رفتار به‌خصوصی از ریخت‌ها است. رسته نرمال (Normal Category)، رسته‌ای است که هر تکریختی آن نرمال باشد. رسته هم‌نرمال، رسته‌ای هست که در آن هر بروریختی هم-نرمال باشد.

تعریف[ویرایش]

یک تکریختی نرمال است اگر هسته یک ریخت بوده و یک بروریختی هم‌نرمال است اگر هم‌هسته‌ای از یک ریخت باشد.

منابع[ویرایش]

  • Section I.14 Mitchell, Barry (1965). Theory of categories. Pure and applied mathematics. Vol. 17. Academic Press. ISBN 978-0-124-99250-4. MR 0202787.