Chentsov A. Models and Research Methods for Abstract Computational Structures within Categorical Axiomatics.

Українська версія

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0407U001879

Thesis Registration Form

0407U001879.pdf

Applicant for

Specialization

  • 01.05.01 - Теоретичні основи інформатики та кібернетики

05-04-2007

Specialized Academic Board

Д26.001.09

Essay

Using categorical approach abstract computational structures and conditions of their equivalence are considered. Cantor-Bernstein theorem is proved to hold in categories with coherent completions and countable unions in subobject algebras. Isomorphisms for various structures based on natural number object are derived. Namely sufficient conditions for isomorphisms between natural number object and n-ary coproduct, binary cartesian product and domain of infinite subobject of natural number object are obtained.

Read more

Files

aref--aref.doc

aref--aref.pdf

dis--dis.pdf

dis--dis1.doc

dis--dis2.doc

dis--dis3.doc

dis--dis4.doc

dis--dis5.doc

Similar theses

0421U102388

Nasirov Emil Mekhdiievych

Parallelization of non-negative huge sparse linguistic matrix and tensors factorization

0420U102355

Dudar Vyacheslav Vyacheslavovych

Training algorithms and invariance to geometric transformations of neural networks

0520U101700

Prytomanova Olga M.

Fuzzy problems of optimal set partitioning: theoretical bases, methods and algorithms for solving

0520U100242

Zavadskyi Ihor O.

Splittable codes and their applications

0520U100209

Rystsov Ihor

Application of algebraic automata theory to analysis of discrete dynamical systems.