122–162..
Algebry Heytinga w teorii kategorii Każda krata jest zbiorem częściowo uporządkowanym, może więc być traktowana jako kategoria. W tym ujęciu krata jest algebrą Heytinga, jeśli istnieje w niej obiekt początkowy 0, obiekt końcowy 1 i jest na niej określona struktura kategorii kartezjańsko zamkniętej, tzn. dla każdego funktor z w o przyporządkowaniu obiektowym jest lewym sprzężonym funktora o przyporządkowaniu obiektowym Warunek (H), tzn. równoważność nierówności i tłumaczy się bezpośrednio na warunek sprzężoności tych funktorów. Wymienione wyżej tożsamości i nierówności dla algebr Heytinga mogą być wyprowadzone z ogólnych własności funktorów sprzężonych.
Uwagi
Przypisy
Linki zewnętrzne
Pseudo-Boolean algebra , Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-03-25].
Kategoria:Algebra przemienna Kategoria:Struktury dwóch działań wewnętrznych Kategoria:Logika matematyczna Kategoria:Teoria krat Kategoria:Topologia ogólna