Related papers: Scientific Modelling with Coalgebra-Algebra Homomo…

The origin and interplay of products and dualities in algebraic (co)homology theories is ascribed to a $\times_A$-Hopf algebra structure on the relevant universal enveloping algebra. This provides a unified treatment for example of results…

We compute the geometric part of algebraic cobordism over Dedekind domains of mixed characteristic after inverting the positive residue characteristics and prove cases of a Conjecture of Voevodsky relating this geometric part to the Lazard…

The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set. Sambin's notion of an overlap algebra, although…

In this Master of Science Thesis I introduce geometric algebra both from the traditional geometric setting of vector spaces, and also from a more combinatorial view which simplifies common relations and operations. This view enables us to…

We explore an application of homological algebra to set theoretic objects by developing a cohomology theory for Hausdorff gaps. The cohomology theory is introduced with enough generality to be applicable to other questions in set theory.…

We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of…

In this paper, we investigate *-homomorphisms between C*-algebras associated to \'etale groupoids. First, we prove that such a *-homomorphism can be described by closed invariant subsets, groupoid homomorphisms and cocycles under some…

Developing ideas of \cite{Fei}, we introduce canonical cosimplicial cohomology of meromorphic functions for infinite-dimensional Lie algebra formal series with prescribed analytic behavior on domains of a complex manifold $M$. Graded…

Homotopy is an important feature of associative and Jordan algebraic structures: such structures always come in families whose members need not be isomorphic among other, but still share many important properties. One may regard homotopy as…

This text surveys cohomological properties of pairs $(U,f)$ consisting of a smooth complex quasi-projective variety $U$ together with a regular function on~it. On the one hand, one tries to mimic the case of a germ of holomorphic function…

We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…

Based on the properties of the poset of those equivalence relations of a multialgebra for which the factor multialgebra is a universal algebra, we give a characterization for the fundamental relations of a multialgebra. We point out the…

We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of…

A simply colored coalgebra is a coassociative counital coalgebra $C$ over an arbitrary ring $R$, which can be decomposed into a direct sum of two $R$-modules: one generated by set-like elements and another consisting of conilpotent…

We introduce the concept of comodule Hom-coalgebras and show that comodule Hom-coalgebras can be deformed from comodule coalgebras via endomorphisms.

We study dualities between classes of relational topological structures, given by Hom-functors. We show that there exists a 2-element structure with infinitely many relations, which reconstructs all other structures generated by a 2-element…

We construct relative abelian categories in the sense of MacLane for models of algebraic systems in (co)complete abelian categories. As an example, we consider an analogue of Hochschild-Mitchell cohomology for the functor of Yoneda…

We show that for any smooth Hausdorff manifolds M and N, which are not necessarily second countable, paracompact or connected, any isomorphism from the algebra of smooth (real or complex) functions on N to the algebra of smooth functions on…

We introduce the concept of finitely coloured equivalence for unital *-homomorphisms between C*-algebras, for which unitary equivalence is the 1-coloured case. We use this notion to classify *-homomorphisms from separable, unital, nuclear…

We establish and explore the correspondence between positive functionals and cocycles in higher unitary cohomology. We generalize the classical cocycle version of the Gelfand-Naimark-Segal construction to higher degrees and apply it to…