Col·loqui amb Laura Mora, Marco Deriu, Núria Beitia i Clara Jourdan sobre les ponències del Seminari La democràcia igualitària i la violència contra les dones / La democracia igualitaria y la violencia contra las mujeres

Transcripció del col·loqui amb Laura Mora, Marco Deriu, Núria Beitia i Clara Jourdan sobre les ponències del Seminari 'La democràcia igualitària i la violència contra les dones'

Laura Hokkanen

Kirjallisuusarvostelu

Laura Sisler and Kirk Girard

Pictured here at the 1979 Athletic Award Night (from left to right) is Laura Sisler, Brock Womens fencer and winner of the Douglas Trophy, and fencing coach Kirk Girard, holding the Douglas Trophy.

Laura Secord: a study in Canadian patriotism : being an address delivered before the Canadian Club, of Winnipeg, May 1st, 1907 /

Cover title.

A national monument to Laura Secord : why it should be erected, an appeal to the people of Canada /

Bibliography: p. 16.

Generating finite integral relation algebras

Relation algebras and categories of relations in particular have proven to be extremely useful as a fundamental tool in mathematics and computer science. Since relation algebras are Boolean algebras with some well-behaved operations, every such algebra provides an atom structure, i.e., a relational structure on its set of atoms. In the case of complete and atomic structure (e.g. finite algebras), the original algebra can be recovered from its atom structure by using the complex algebra construction. This gives a representation of relation algebras as the complex algebra of a certain relational structure. This property is of particular interest because storing the atom structure requires less space than the entire algebra. In this thesis I want to introduce and implement three structures representing atom structures of integral heterogeneous relation algebras, i.e., categorical versions of relation algebras. The first structure will simply embed a homogeneous atom structure of a relation algebra into the heterogeneous context. The second structure is obtained by splitting all symmetric idempotent relations. This new algebra is in almost all cases an heterogeneous structure having more objects than the original one. Finally, I will define two different union operations to combine two algebras into a single one.