Related papers: Generalized nerves of monads
We study the duplicial objects of Dwyer and Kan, which generalize the cyclic objects of Connes. We describe duplicial objects in terms of the decalage comonads, and we give a conceptual account of the construction of duplicial objects due…
We describe a Cat-valued nerve of bicategories, which associates to every bicategory a simplicial object in Cat, called the 2-nerve. We define a 2-category NHom whose objects are bicategories and whose 1-cells are normal homomorphisms of…
In generalization of knot quandles we introduce similar algebraic structures associated with arbitrary pairs consisting of a path-connected topological space and its path-connected subspace.
In this article, we develop a general technique for gluing subcategories of $\infty$-categories. We obtain categorical equivalences between simplicial sets associated to certain multisimplicial sets. Such equivalences can be used to…
In this paper we introduce a functor, called the simplicial nerve of an A-infinity category, defined on the category of (small) A-infinity categories with values in simplicial sets. We prove that the simplicial nerve of any A-infinity…
Coalgebras in a Kleisli category yield a generic definition of trace semantics for various types of labelled transition systems. In this paper we apply this generic theory to generative probabilistic transition systems, short PTS, with…
In this paper we study a general class of conics starting from a quotient field. We give a group structure over these conics generalizing the construction of a group over the Pell hyperbola. Furthermore, we generalize the definition of…
We establish a duality between monads and monadic morphisms in any $(\infty,2)$-category and characterize monadic morphisms in a wide class of examples. This duality unifies several dualities between algebraic structures and their…
The category $\mathbf{Rel}$ is the category of sets (objects) and relations (morphisms). Equipped with the direct product of sets, $\mathbf{Rel}$ is a monoidal category. Moreover, $\mathbf{Rel}$ is a locally posetal 2-category, since every…
We show that for many classical knots one can find generalized torsion in the fundamental group of its complement, commonly called the knot group. It follows that such a group is not bi-orderable. Examples include all torus knots, the…
One way of interpreting a left Kan extension is as taking a kind of "partial colimit", whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the "partial evaluations" sitting in the so-called…
Distributive laws between two monads in a 2-category $\CK$, as defined by Jon Beck in the case $\CK=\mathrm{Cat}$, were pointed out by the author to be monads in a 2-category $\mathrm{Mnd}\CK$ of monads. Steve Lack and the author defined…
After a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere's algebraic…
We construct various multiple categories, based on generalised Ehresmann quintets. The main construction is a multiple category whose objects are all the `lax' multiple categories; the transversal arrows are their strict multiple functors…
Coalgebras for an endofunctor provide a category-theoretic framework for modeling a wide range of state-based systems of various types. We provide an iterative construction of the reachable part of a given pointed coalgebra that is inspired…
Transseries in the sense of \'Ecalle are constructed using a topological approach. A general contractive mapping principle is formulated and proved, showing the closure of transseries under a wide class of operations. In the second part we…
We introduce contextads and the Ctx construction, unifying various structures and constructions in category theory dealing with context and contextful arrows -- comonads and their Kleisli construction, actegories and their Para…
We define a type of biquandle which is a generalization of symplectic quandles. We use the extra structure of these bilinear biquandles to define new knot and link invariants and give some examples.
In this article the 2-adjunction that relates universal arrows and extensive monads is constructed explicitly. This 2-adjunction resembles the one that relates adjunctions and monads since the 2-category of universal arrows is isomorphic to…
Knop constructed a tensor category associated to a finitely-powered regular category equipped with a degree function. In recent work with Harman, we constructed a tensor category associated to an oligomorphic group equipped with a measure.…