Project information
Categorical methods of the theory of structures and computer science
- Project Identification
- GA201/99/0310
- Project Period
- 1/1999 - 1/2001
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Standard Projects
- MU Faculty or unit
- Faculty of Science
- Cooperating Organization
-
Charles University
- Responsible person prof. RNDr. Věra Trnková, DrSc.
- Responsible person prof. RNDr. Jiří Adámek, DrSc.
The project develops methods of the theory of categories, ordered sets and lattices and their applications in theoretical computer science. Attention will be focused on algebraic theories, varieties and algebraic specification of data types, on structure d categories and semantical domains of computations and on connections of lattice theory with topological and functional-analytic structures. In particular, there will be studied applications of algebraic theories to object oriented programming, multiequ ational specifications of data types, clones of topological and algebraic structures, Lawvere's problem from 1969 about the algebraicity of the category of varieties, generalizations of domain theory from ordered sets to categories, categorical propertie s of exactness and their use in theoretical computer science, pointless topological structures, quantales and their modules and the structural theory of varieties. Project will be solved in an international cooperation with reputable experts in given fie
Publications
Total number of publications: 26
2002
-
On simple and semisimple quantales
Topology Atlas Invited Contributions, year: 2002
-
Spatial Quantales
Applied categorical structures, year: 2002, volume: 10, edition: 1
-
Weak factorization systems and topological functors
Applied Categorical Structures, year: 2002, volume: 10, edition: 1
2001
-
Exact completion and representations in abelian categories
Homology, Homotopy and Applications, year: 2001, volume: 2001, edition: 3
-
How algebraic is algebra?
Theory and Applications of Categories, year: 2001, volume: 2001, edition: 8
-
Interior tensor product of Hilbert modules
Proceedings of the Dresden Conference 2000 (AAA60) and the Summer School 1999, year: 2001
-
More on orthogonality in locally presentable categories
Cahiers de Topologie et Géometrie Differentielle Catégorique, year: 2001, volume: 2001, edition: XLII
-
On algebraically exact categories and essential localizations of varieties
Journal of Algebra, year: 2001, volume: 2001, edition: 244
-
On pseudocomplemented and Stone ordered sets
Order, year: 2001, volume: 18, edition: 2
-
On sifted colimits and generalized varieties
Theory and Applications of Categories, year: 2001, volume: 2001, edition: 8