izpis_h1_title_alt

Algebrajska in regularna kategorna logika : magistrsko delo
ID Taslak, Jure (Avtor), ID Bauer, Andrej (Mentor) Več o mentorju... Povezava se odpre v novem oknu

.pdfPDF - Predstavitvena datoteka, prenos (726,24 KB)
MD5: FDF34AE4BA7A09E7AA41EF0D5EBD37AC

Izvleček
V nalogi je razvita funktorialna semantika za algebrajsko in regularno kategorno logiko. V prvem delu je najprej na kratko predstavljena teorija kategorij, nato se uvede pojem algebrajske teorije, ki je poseben primer logične teorije prvega reda, v kateri nastopajo samo enačbe in operacije. Razširi se klasična interpretacija modela teorije na vse kategorije, v katerih je mogoče tako teorijo izraziti. Za vsako algebrajsko teorijo lahko definiramo posebno sintaktično kategorijo, ki to teorijo predstavlja. Izkaže se, da lahko vsak model algebrajske teorije enolično identificiramo s funktorjem, ki ohranja strukturo sintaktične kategorije. To je izraženo v obliki ekvivalence kategorij. S pomočjo te ekvivalence je raziskana dualnost med sintakso in semantiko algebrajske teorije. Drugi del se začne z opisom razreda kategorij imenovanih regularne in motivacijo za njihovo vpeljavo v obliki primerov in lepih lastnosti s katerimi se ponašajo. Nato se razvije razširitev enostavne algebrajske logike iz prvega dela na tako imenovano regularno logiko, v kateri poleg enačb in operacij nastopajo še relacijski simboli, resničnostna konstanta, konjunkcija in kvantifikator obstoja. To naredi logiko bolj bogato in v njej je mogoče izraziti koncepte kot je slika morfizma. Analogno kot v prvem delu se za regularno teorijo definira njeno sintaktično kategorijo, s pomočjo katere se pokaže ekvivalenco med modeli regularne logike in funktorji, ki ohranjajo regularno strukturo.

Jezik:Slovenski jezik
Ključne besede:teorija kategorij, algebrajske teorije, dualnost, funktorialna semantika, kategorije, kategorna logika, logika, regularna logika, regularne kategorije, sintaktična kategorija
Vrsta gradiva:Magistrsko delo/naloga
Tipologija:2.09 - Magistrsko delo
Organizacija:FMF - Fakulteta za matematiko in fiziko
Leto izida:2021
PID:20.500.12556/RUL-124900 Povezava se odpre v novem oknu
UDK:510.6
COBISS.SI-ID:52987395 Povezava se odpre v novem oknu
Datum objave v RUL:25.02.2021
Število ogledov:2184
Število prenosov:146
Metapodatki:XML DC-XML DC-RDF
:
Kopiraj citat
Objavi na:Bookmark and Share

Sekundarni jezik

Jezik:Angleški jezik
Naslov:Algebraic and regular categorical logic
Izvleček:
The thesis develops functorial semantics for algebraic and regular logic. The first part starts by briefly presenting category theory, then the concept of an algebraic theory is introduced as a special case of a first order logic theory, in which you only have equations and operations. The classical notion of a model is expanded to categories in which such a theory can be expressed. For each algebraic theory we may define a special syntactic category, which represents it. It turns out that you can uniquely identify each model of such a theory with a functor that preserves the structure of the syntactic category. This is expressed in the form of an equivalence of categories. With the help of this equivalence a duality between syntax and semantics is explored. The second part begins with the description of a class of categories called regular categories and the motivation for their definition in terms of examples and nice properties that these categories posses. An extension of the simple algebraic logic is then developed into the so called regular logic which besides equations and operations includes relation symbols, the truth constant, conjunction and the existential quantifier. This makes the logic more rich and makes it possible to express concepts like the image of a morphism. Analogous with the first part we define the syntactic category of a regular theory, with the help of which you can show an equivalence between models of a regular theory and functors that preserve regular structure.

Ključne besede:algebraic theories, categorical logic, categories, category theory, duality, functorial semantics, logic, regular categories, regular logic, syntactic category

Podobna dela

Podobna dela v RUL:
Podobna dela v drugih slovenskih zbirkah:

Nazaj