Project information
Mathematical structures of algebra and geometry
- Project Identification
- MSM 143100009
- Project Period
- 1/1999 - 12/2004
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- Research Intents
- MU Faculty or unit
- Faculty of Science
- Keywords
- Algebraic and geometric structure, category, number field, equational logic, quantale, unification, geometric functor, geometric operation, higher order differential geometric structure, parabolic geometry, topological obstruction.
Results
Publications
Total number of publications: 181
2002
-
A finitely generated variety of combinatorial inverse semigroups having uncountably many subvarieties
Proceedings of the Royal Society of Edinburgh, year: 2002, volume: 132A, edition: 6
-
Algebras over variable theories
Algebra Universalis, year: 2002, volume: 47, edition: 1
-
Covariant pre-quantum operators
Proceedings of the International Conference on "Differential Geometry and Its Applications", eds. O. Kowalski, D. Krupka and J. Slovák, year: 2002
-
Covariant quantum mechanics and quantum symmetries
Proceedings of the International Conference on "Recent Developments in General Relativity", eds. R. Cianci, R. Collina, M. Francaviglia and P. Fre, year: 2002
-
Covariant Schroedinger operator
J. Phys. A: Math. Gen., year: 2002, volume: 35, edition: 40
-
Flat covers and factorizations
Journal of Algebra, year: 2002, volume: 253, edition: 1
-
Injective hulls are not natural
Algebra Universalis, year: 2002, volume: 48, edition: 2
-
Lax factorization algebras
Journal of Pure and Applied Algebra, year: 2002, volume: 175, edition: 3
-
Modal predicates and coequations
Electronic Notes in Theoretical Computer Science, year: 2002, volume: 65, edition: 1
-
More on injectivity in locally presentable categories
Theory and Applications of Categories, year: 2002, volume: 2002, edition: 7