Related papers: A Report on Subobject Classifiers and Monads
This seminar report contains a detailed account of the proof of the main results in Monod and Ozawa's recent JFA paper on the Dixmier unitarizability problem. The proof is exactly identical to their proof, but our more pedestrian…
The purpose of this paper is to introduce the theory of presentations of monoids acts. We aim to construct `nice' general presentations for various act constructions pertaining to subacts and Rees quotients. More precisely, given an $M$-act…
The different notions of matings of pairs of equal degree polynomials are introduced and are related to each other as well as known results on matings. The possible obstructions to matings are identified and related. Moreover the relations…
As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…
An introduction to algebras for graphs, based on Courcelle's algebras of hyperedge replacement and vertex replacement. The paper uses monad notation.
In this paper we present the notions of trail (pseudo-)division, generalized subresultants and generalized subresultant algorithm.
We define biprops as a generalization of coloured props and of symmetric weak multicategories. These are bicategories whose objects form a free monoid. They are equipped with some structure resembling a symmetric strict tensor product. We…
We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. Indeed, any monoidal adjunction between autonomous…
We establish a set of general results to study how the Galois action on modular tensor categories interacts with fusion subcategories. This includes a characterization of fusion subcategories of modular tensor categories which are closed…
A mostly expository account of old questions about the relationship between polyhedra and topological manifolds. Topics are old topological results, new gauge theory results (with speculations about next directions), and history of the…
In this survey paper we give account of several approaches to the strictification and non-strictification of monoidal categories, which are constructions that turn a monoidal category into a (non-)strict one monoidally equivalent to the…
We provide the full classification of equidistant decomposition of a two-dimensional Euclidean plane and a two-dimensional sphere.
The monadic second-order theory of trees allows quantification over elements and over arbitrary subsets. We classify the class of trees with respect to the question: does a tree T have a definable choice function (by a monadic formula with…
We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $\Lambda$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of…
We establish a bi-equivalence between the bi-category of topoi with enough points and a localisation of a bi-subcategory of topological groupoids
We present an approach to learning multi-sense word embeddings relying both on monolingual and bilingual information. Our model consists of an encoder, which uses monolingual and bilingual context (i.e. a parallel sentence) to choose a…
This is an extended version of my earlier articel "Projective and injective objects in symmetric categorical groups. arXiv:1007.0121v1." Several new facts added, including the material on the derived 2-functors and the proof of the…
Rejoinder: Classifier Technology and the Illusion of Progress [math.ST/0606441]
A transduction provides us with a way of using the monadic second-order language of a structure to make statements about a derived structure. Any transduction induces a relation on the set of these structures. This article presents a…
Many classification problems can be difficult to formulate directly in terms of the traditional supervised setting, where both training and test samples are individual feature vectors. There are cases in which samples are better described…