Related papers: Amalgamable diagram shapes

We extend the notion of graph homomorphism to cellularly embedded graphs (maps) by designing operations on vertices and edges that respect the surface topology; we thus obtain the first definition of map homomorphism that preserves both the…

For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…

A few steps are made towards representation theory of embeddability among uncountable graphs. A monotone class of graphs is defined by forbidding countable subgraphs, related to the graph's end-structure. Using a combinatorial theorem of…

Our work over the past years shows that not only the collection of (for instance) all topological spaces gives rise to a category, but also each topological space can be seen individually as a category by interpreting the convergence…

Let C be an integral fusion category. We study some graphs, called the prime graph and the common divisor graph, related to the Frobenius-Perron dimensions of simple objects in the category C, that extend the corresponding graphs associated…

For $0< \rho < 1/3$ and $\rho \le \lambda \le 1-2\rho$, let $E$ be the self-similar set generated by the iterated function system $$\Phi = \big\{ \varphi_1(x) = \rho x ,\; \varphi_2(x) = \rho x + \lambda, \; \varphi_3(x) = \rho x + 1- \rho…

Let $K_d$ denote the class of all finite graphs and, for graphs $A\subseteq B$, say $A \leq_d B$ if distances in $A$ are preserved in $B$; i.e. for $a, a' \in A$ the length of the shortest path in $A$ from $a$ to $a'$ is the same as the…

Wright showed that, if a 1-ended simply connected locally compact ANR Y with pro-monomorphic fundamental group at infinity admits a proper Z-action, then that fundamental group at infinity can be represented by an inverse sequence of…

This paper is devoted to the construction of norm-preserving maps between bounded cohomology groups. For a graph of groups with amenable edge groups we construct an isometric embedding of the direct sum of the bounded cohomology of the…

Let $E$ be a countable directed graph. We show that $C^*(E)$ is AF-embeddable if and only if no loop in $E$ has an entrance. The proof is constructive and is in the same spirit as the Drinen-Tomforde desingularization.

A relational structure is (connected-)homogeneous if every isomorphism between finite (connected) substructures extends to an automorphism of the structure. We investigate notions which generalise (connected-)homogeneity, where…

We investigate the extent to which the weak equivalences in a model category can be equipped with algebraic structure. We prove, for instance, that there exists a monad T such that a morphism of topological spaces admits T-algebra structure…

Let $\mathcal C$ be the category of finite graphs. Lov\`{a}sz shows that the semi-ring of isomorphism classes of $\mathcal C$ (with coproduct as sum, and product as multiplication) is embedded into the direct product of the semi-ring of…

In the paper we proved that for a compact $X$ inclusion $I_{f}(X)\in ANR$ holds if and only if $X\in ANR$. Further, it is shown that the functor $I_{f}$ preserves property of a compact to be $Q$-manyfold or a Hilbert cube, preserves…

For a given extension $A \subset E$ of associative algebras we describe and classify up to an isomorphism all $A$-complements of $E$, i.e. all subalgebras $X$ of $E$ such that $E = A + X$ and $A \cap X = \{0\}$. Let $X$ be a given…

We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…

Game comonads have brought forth a new approach to studying finite model theory categorically. By representing model comparison games semantically as comonads, they allow important logical and combinatorial properties to be exressed in…

Idempotent analogues of convexity are introduced. It is proved that the category of algebras for the capacity monad in the category of compacta is isomorphic to the category of $(\max,\min)$-idempotent biconvex compacta and their biaffine…

A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…

The notion of homomorphism indistinguishability offers a combinatorial framework for characterizing equivalence relations of graphs, in particular equivalences in counting logics within finite model theory. That is, for certain graph…