Related papers: Kernels, lax algebras, d\'ecalage, and supercohere…

We give an explicit handy (and cocycle-free) description of the groupoid of weak maps between two crossed-modules in terms of certain digrams of groups which we we call a {\em butterflies}. We define composition of butterflies and this way…

We study discrete opfibration classifiers in enhanced 2-categories and show how, under suitable hypotheses, such classifiers can be endowed with the structure of a (lax or pseudo-)T-algebra and classify strict discrete opfibrations in…

We consider the possibility of semisimple tensor categories whose fusion rule includes exactly one noninvertible simple object. Conditions are given for the existence or nonexistence of coherent associative structures for such fusion rules,…

Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for…

We study track categories (i.e., groupoid-enriched categories) endowed with additive structure similar to that of a 1-truncated DG-category, except that composition is not assumed right linear. We show that if such a track category is right…

Let H be a compact quantum group with faithful Haar measure and bounded counit. If H acts on a C*-algebra A, we show that A is nuclear if and only if its fixed-point subalgebra is nuclear. As a consequence H is a nuclear C*-algebra.

A duality between the category of convex spaces and measurable spaces arises from the existence of the unit interval, which is an object in both these categories. The full subcategory of the category of convex spaces, consisting of just the…

For a fixed simple digraph $H$ without isolated vertices, we consider the problem of deleting arcs from a given tournament to get a digraph which does not contain $H$ as an immersion. We prove that for every $H$, this problem admits a…

A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…

The purpose of this short and elementary note is to identify some classes of exact categories introduced in L. Previdi's thesis. Among other things we show: (1) An exact category is partially abelian exact if and only if it is abelian. (2)…

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…

This thesis is devoted to the proof of a theorem showing the existence of a closed model category structure for weakly enriched categories. It requires first of all the definitions of weakly enriched categories and equivalences of weakly…

2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…

We develop a method of constructing a kernel of Lie algebra weight system. A main tool we use in the analysis is Vogel's $\Lambda$ algebra and the surrounding framework. As an example of a developed technique we explicitly provide all…

Unlike the Hochschild chain complex of an algebra, the Hochschild cochain complex of an algebra is not functorial. Nonetheless, we show that the Hochschild cochain complex of an algebra even a dg category is of lax functoriality, i.e.,…

This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…

In this article we extend the theory of lax monoidal structures, also known as multitensors, and the monads on categories of enriched graphs that they give rise to. Our first principal result -- the lifting theorem for multitensors --…

General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…

Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…

It is well known that determining if a digraph has a kernel is an NP-complete problem. However, Topp proved that when subdividing every arc of a digraph we obtain a digraph with a kernel. In this paper we define the kernel subdivision…