Related papers: $2$-stratifolds with fundamental group $\mathbb{Z}…

Motivated by the bijection between Schnyder labelings of a plane triangulation and partitions of its inner edges into three trees, we look for binary labelings for quadrangulations (whose edges can be partitioned into two trees). Our…

This thesis contains various results on unitary 2-representations of finite groups and their 2-characters, as well as on pivotal structures for fusion categories. The motivation is extended topological quantum field theory (TQFT), where the…

We consider the algorithmic complexity of recognizing bipartite temporal graphs. Rather than defining these graphs solely by their underlying graph or individual layers, we define a bipartite temporal graph as one in which every layer can…

We introduce the concept of a graded bundle which is a natural generalization of the concept of a vector bundle and whose standard examples are higher tangent bundles T^nQ playing a fundamental role in higher order Lagrangian formalisms.…

A tuple (s1,t1,s2,t2) of vertices in a simple undirected graph is 2-linked when there are two vertex-disjoint paths respectively from s1 to t1 and s2 to t2. A graph is 2-linked when all such tuples are 2-linked. We give a new and simple…

A crossed module constitutes a strict $2$-groupoid $\mathcal{G}$ and a $\mathcal{G}$-valued cocycle on a manifold defines a $2$-bundle. A $2$-connection on this $2$-bundle is given by a Lie algebra $\mathfrak g$ valued $1$-form $A $ and a…

We introduce the concept of constant $2$-labelling of a weighted graph and show how it can be used to obtain perfect weighted coverings. Roughly speaking, a constant $2$-labelling of a weighted graph is a $2$-colouring of its vertex set…

This article presents families of 7-dimensional closed and simply-connected manifolds and fold maps on them such that squares of 2nd integral cohomology classes may not be divisible by 2. Fold maps are higher dimensional versions of Morse…

A compact K\"ahler manifold is shown to be simply-connected if its `symmetric cotangent algebra' is trivial. Conjecturally, such a manifold should even be rationally connected. The relative version is also shown: a proper surjective…

We introduce a new notation for representing labeled regular bipartite graphs of arbitrary degree. Several enumeration problems for labeled and unlabeled regular bipartite graphs have been introduced. A general algorithm for enumerating all…

Graph manifolds form important classes of $3$-dimensional closed and orientable manifolds. For example, {\it Seifert} manifolds are graph manifolds where hyperbolic manifolds are not. In applying singularity theory of differentiable maps to…

We investigate properties of signed graphs that have few distinct eigenvalues together with a symmetric spectrum. Our main contribution is to determine all signed $(0,2)$-graphs with vertex degree at most $6$ that have precisely two…

A 2-group is a `categorified' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…

The notion of 2-framed three-manifolds is defined. The category of 2-framed cobordisms is described, and used to define a 2-framed three-dimensional TQFT. Using skeletonization and special features of this category, a small set of data and…

A labelling of a graph is an assignment of labels to its vertex or edge sets (or both), subject to certain conditions, a well established concept. A labelling of a graph G of order n is termed a numbering when the set of integers {1,...,n}…

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from…

We present an algorithm for determining whether a bipartite graph $G$ is 2-chordal (formerly doubly chordal bipartite). At its core this algorithm is an extension of the existing efficient algorithm for determining whether a graph is…

Stratifolds are considered from a categorical point of view. We show among others that the category of stratifolds fully faithfully embeds into the category of ${\mathbb R}$-algebras as does the category of smooth manifolds. We prove that a…

A generic smooth map of a closed $2k$-manifold into $(3k-1)$-space has a finite number of cusps ($\Sigma^{1,1}$-singularities). We determine the possible numbers of cusps of such maps. A fold map is a map with singular set consisting of…

Let $\Gamma_g$ be the fundamental group of a closed connected orientable surface of genus $g\geq2$. We introduce a combinatorial structure of "core surfaces", that represent subgroups of $\Gamma_g$. These structures are (usually)…