Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1

Discovery Projects - Grant ID: DP130101969

Discovery Projects - Grant ID: DP130101969
ARC | Discovery Projects
Contract (GA) number
Start Date
End Date
Open Access mandate
More information


  • Multiplier bialgebras in braided monoidal categories

    Böhm, Gabriella; Lack, Stephen (2014)
    Projects: ARC | Discovery Projects - Grant ID: DP130101969 (DP130101969)
    Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced functors.

    Combinatorial categorical equivalences of Dold-Kan type

    Lack, Stephen; Street, Ross (2014)
    Projects: ARC | Discovery Projects - Grant ID: DP130101969 (DP130101969)
    In this paper we prove a class of equivalences of additive functor categories that are relevant to enumerative combinatorics, representation theory, and homotopy theory. Let $\mathcal{X}$ denote an additive category with finite direct sums and splitting idempotents. The class includes (a) the Dold-Puppe-Kan theorem that simplicial objects in $\mathcal{X}$ are equivalent to chain complexes in $\mathcal{X}$; (b) the observation of Church-Ellenberg-Farb that $\mathcal{X}$-valued species are equi...

    Generalizations of the Sweedler dual

    Porst, Hans-E.; Street, Ross (2015)
    Projects: ARC | Discovery Projects - Grant ID: DP130101969 (DP130101969)
    As left adjoint to the dual algebra functor, Sweedler's finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over arbitrary rings, shares a number of properties with the finite dual. Nonetheless the requirement that it should map Hopf algebras to Hopf algebras needs the extra assumption that this left adjoint should map an algebra into its linear dual. We identify a condi...

    Semi-localizations of semi-abelian categories

    Gran, Marino; Lack, Stephen (2014)
    Projects: ARC | Discovery Projects - Grant ID: DP130101969 (DP130101969)
    A semi-localization of a category is a full reflective subcategory with the property that the reflector is semi-left-exact. In this article we first determine an abstract characterization of the categories which are semi-localizations of an exact Mal'tsev category, by specializing a result due to S. Mantovani. We then turn our attention to semi-abelian categories, where a special type of semi-localizations are known to coincide with torsion-free subcategories. A new characterisation of protom...

    Skew-monoidal reflection and lifting theorems

    Lack, Stephen; Street, Ross (2014)
    Projects: ARC | Discovery Projects - Grant ID: DP130101969 (DP130101969)
    The Day Reflection Theorem gives conditions under which a reflective subcategory of a closed monoidal category can be equipped with a closed monoidal structure in such a way that the reflection adjunction becomes a monoidal adjunction. We adapt this result to skew monoidal categories. The beauty of this variant is further evidence that the direction choices involved in the skew notion are important for organizing, and adding depth to, certain mathematical phenomena. We also provide conditions...

    Weighted Tensor Products of Joyal Species, Graphs, and Charades

    Motivated by the weighted Hurwitz product on sequences in an algebra, we produce a family of monoidal structures on the category of Joyal species. We suggest a family of tensor products for charades. We begin by seeing weighted derivational algebras and weighted Rota-Baxter algebras as special monoids and special semigroups, respectively, for the same monoidal structure on the category of graphs in a monoidal additive category. Weighted derivations are lifted to the categorical level.

    Wreaths, mixed wreaths and twisted coactions

    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 wreaths to be monads in a 2-category $\mathrm{EM}\CK$ of monads with different 2-cells from $\mathrm{Mnd}\CK$. Mixed distributive laws were also considered by Jon Beck, Mike Barr and, later, various others, they are comonads in $\mathrm{Mnd}\CK$. Actually, as...

    Homotopy locally presentable enriched categories

    Lack, Stephen; Rosicky, Jiri (2013)
    Projects: ARC | Discovery Projects - Grant ID: DP130101969 (DP130101969)
    We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for simplicially-enriched categories, links homotopy locally presentable V-categories with combinatorial model V-categories, in the case where has all objects of V are cofibrant.

    Pointwise extensions and sketches in bicategories

    We make a few remarks concerning pointwise extensions in a bicategory which include the case of bicategories of enriched categories. We show that extensions, pointwise or not, can be replaced by extensions along very special fully faithful maps. This leads us to suggest a concept of limit sketch internal to the bicategory.

    Shapely monads and analytic functors

    International audience; In this paper, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; some prominent examples are operads, polycategories, properads, and PROPs. Building on the established presentation of such structures as algebras for monads on presheaf categories, we describe a characteristic property of the associated monads---the shapeliness of the title---which says that “any two operations of the sa...
  • No project research data found
  • Scientific Results

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.


    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Publications in Repositories

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark

App Box