Related papers: Generalized nerves of monads

The Serre construction of rank two holomorphic bundles with a section is adapted to construct generalized holomorphic bundles on a generalized complex 4-manifold from the data of a set of points on an elliptic curve. The motivation is the…

This is a short note on generalized $G_2$-structures obtained as a consequence of a $T$-dual construction given in a previous work of the authors together with Leonardo Soriani. Given classical $G_2$-structure on certain seven dimensional…

In this article we give a construction of a polynomial 2-monad from an operad and describe the algebras of the 2-monads which then arise. This construction is different from the standard construction of a monad from an operad in that the…

We establish a Galois connection between sub-monads of an augmented monad and sub-functors of the forgetful functor from its Eilenberg-Moore category. This connection is given in terms of invariants and stabilizers defined through universal…

We describe a procedure that creates an explicit complex-valued polynomial function of three-dimensional space, whose nodal lines are the three-twist knot $5_2$. The construction generalizes a similar approach for lemniscate knots: a braid…

We introduce necklicial nerve functors from enriched categories to simplicial sets, which include Cordier's homotopy coherent, Lurie's differential graded and Le Grignou's cubical nerves. It is shown that every necklicial nerve can be…

We construct a nerve functor parametrized by a choice of quantale, exhibiting both the Vietoris-Rips complex and the magnitude nerve as instances of this nerve for different choices of monoidal structure on $\mathbb{R}$. Furthermore, the…

The aim of the paper is to build a connection between two approaches towards categorical language theory: the coalgebraic and algebraic language theory for monads. For a pair of monads modelling the branching and the linear type we defined…

Multirelations provide a semantic domain for computing systems that involve two dual kinds of nondeterminism. This paper presents relational formalisations of Kleisli, Parikh and Peleg compositions and liftings of multirelations. These…

In a group, a non-trivial element is called a generalized torsion element if some non-empty finite product of its conjugates equals to the identity. We say that a knot has generalized torsion if its knot group admits such an element. For a…

We define a general notion of centrally $\Gamma$-graded sets and groups and of their graded products, and prove some basic results about the corresponding categories: most importantly, they form braided monoidal categories. Here, $\Gamma$…

We show that a regular cover of a general topological space provides structure similar to a triangulation. In this general setting we define analogues of simplicial maps and prove their existence and uniqueness up to homotopy. As an…

We describe a fully faithful embedding of projective geometries, given in terms of closure operators, into $\mathbb{F}_1$-modules, in the sense of Connes and Consani. This factors through a faithful functor out of simple pointed matroids.…

The subject of this paper is a nerve construction for bicategories introduced by Leinster, which defines a fully faithful functor from the category of bicategories and normal pseudofunctors to the category of presheaves over Joyal's…

This is a short introduction to categories with some emphasis on coalgebras. We start from introducing basic notions (categories, functors, natural transformations), move to Kleisli tripels and monads, with a short discussion of monads in…

In this technical report we describe a general class of monoids for which (sub)sequential rational can be characterised in terms of a congruence relation in the flavour of Myhill-Nerode relation. The class of monoids that we consider can be…

The node set of a two-mode network consists of two disjoint subsets and all its links are linking these two subsets. The links can be weighted. We developed a new method for identifying important sub-networks in two-mode networks. The…

Certain aspects of Street's formal theory of monads in 2-categories are extended to multimonoidal monads in symmetric strict monoidal 2-categories. Namely, any symmetric strict monoidal 2-category $\mathcal M$ admits a symmetric strict…

We suggest a further generalization of the hypergeometric-like series due to M. Noumi and J. Shiraishi by substituting the Pochhammer symbol with a nearly arbitrary function. Moreover, this generalization is valid for the entire Shiraishi…

We extend Barwick's and Haugseng's construction of the double $\infty$-category of spans in a pullback-complete $\infty$-category $\mathfrak{C}$ to more general shapes: for a large class of algebraic patterns $\mathfrak{P}$, we define a…