Operads and varieties of algebras defined by polylinear identities.
Operads for -ary algebras – calculations and conjectures
In [8] we studied Koszulity of a family of operads depending on a natural number and on the degree of the generating operation. While we proved that, for , the operad is Koszul if and only if is even, and while it follows from [4] that is Koszul for even and arbitrary , the (non)Koszulity of for odd and remains an open problem. In this note we describe some related numerical experiments, and formulate a conjecture suggested by the results of these computations.
Operads in higher-dimensional category theory.
Operads in iterated monoidal categories.
Operads of decorated trees and their duals
This is an extended version of a talk presented by the second author on the Third Mile High Conference on Nonassociative Mathematics (August 2013, Denver, CO). The purpose of this paper is twofold. First, we would like to review the technique developed in a series of papers for various classes of di-algebras and show how the same ideas work for tri-algebras. Second, we present a general approach to the definition of pre- and post-algebras which turns out to be equivalent to the construction of dendriform...
Operády v současné matematice
Operator valued probability theory.
Opmonoidal monads.
Partial toposes.
Pasting in multiple categories.
Paths in double categories.
Polarized category theory, modules, and game semantics.
Preface to the special volume: “Chu spaces: theory and applications".
Proarrows II
Product preserving bundle functors on fibered fibered manifolds
We investigate the category of product preserving bundle functors defined on the category of fibered fibered manifolds. We show a bijective correspondence between this category and a certain category of commutative diagrams on product preserving bundle functors defined on the category ℳ f of smooth manifolds. By an application of the theory of Weil functors, the latter category is considered as a category of commutative diagrams on Weil algebras. We also mention the relation with natural transformations...
Profinite relational structures
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.
Properads and homological differential operators related to surfaces
We give a biased definition of a properad and an explicit example of a closed Frobenius properad. We recall the construction of the cobar complex and algebra over it. We give an equivalent description of the algebra in terms of Barannikov’s theory which is parallel to Barannikov’s theory of modular operads. We show that the algebra structure can be encoded as homological differential operator. Example of open Frobenius properad is mentioned along its specific properties.
Pseudo algebras and pseudo double categories.
Pseudo-categories.