• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Kategoriální metody v teorii struktur / Kategoriální metody v teorii struktur

Opršal, Jakub January 2011 (has links)
Title: Categorial methods in structure theory Author: Jakub Opršal Department / Institute: Mathematical Institute, Charles University Supervisor of the master thesis: prof. RNDr. Věra Trnková, DrSc. Abstract: In the first part of the thesis we investigate functor algebras. Initial algebras have distin- guished role in the study of these structures, and it can be constructed by certain transfinite construction, which is called initial algebra construction. Sooner this year Adámek and Trnková have prooved, that the construction stops in either at most three, or in κ steps where κ is a regular cardinal. We continue with their work, and we study the relation between the size of the algebra and the length of the convergence. We prove that the length of the convergence never exceeds the cardinality of the initial algebra. Another transfinite construction has been studied in 1980 by Kelly. He has described the construction of free algebras for a pointed functor and defined a class of well-pointed functors for which the construction is especially simple (and is in fact special case of the construction of relatively terminal coalgebra which has been recently defined by Adámek and Trnková). In the last chapter we describe all well-pointed functors in categories of sets and the dual category, and we provide list of...

Page generated in 0.0584 seconds