DeepAI AI Chat
Log In Sign Up

Optics for Premonoidal Categories

by   James Hefford, et al.

We further the theory of optics or "circuits-with-holes" to encompass premonoidal categories: monoidal categories without the interchange law. Every premonoidal category gives rise to an effectful category (i.e. a generalised Freyd-category) given by the embedding of the monoidal subcategory of central morphisms. We introduce "pro-effectful" categories and show that optics for premonoidal categories exhibit this structure. Pro-effectful categories are the non-representable versions of effectful categories, akin to the generalisation of monoidal to promonoidal categories. We extend a classical result of Day to this setting, showing an equivalence between pro-effectful structures on a category and effectful structures on its free conical cocompletion. We also demonstrate that pro-effectful categories are equivalent to prostrong promonads.


page 1

page 2

page 3

page 4


Univalent Monoidal Categories

Univalent categories constitute a well-behaved and useful notion of cate...

Categories for Me, and You?

A non-self-contained gathering of notes on category theory, including th...

On bifibrations of model categories

In this article, we develop a notion of Quillen bifibration which combin...

Forest Categories

We extend Tilson's theory of the algebra of finite categories, in partic...

On the Existence of Coproducts in Categories of q-Matroids

q-Matroids form the q-analogue of classical matroids. In this paper we i...

Dynamic categories, dynamic operads: From deep learning to prediction markets

Natural organized systems adapt to internal and external pressures and t...

Relational Semigroups and Object-Free Categories

This note relates axioms for partial semigroups and monoids with those f...