Contents

Definition

An imploid is a preordered set $(X,\le)$ equipped with:

1. a binary operation $\multimap$ (called implication) which is contravariant in its first argument and covariant in its second argument:
   (1)$$\array{ \arrayopts{\rowlines{solid}} a_2 \le a_1 \quad b_1 \le b_2 \\ a_1\multimap b_1 \le a_2\multimap b_2 }$$

   and which satisfies the composition law:

   (2)$$b \multimap c \le (a \multimap b) \multimap (a \imp c)$$

   for all $a,b,c \in X$; and

2. an element $I \in X$ (called unit) satisfying identity and unit laws:
   (3)$$I \le a \multimap a$$
   (4)$$I \multimap a \le a$$

   for all $a \in X$.

An imploid is said to be undirected if the underlying preorder is symmetric, so that (2)-(4) also hold in the converse direction. On the other hand, the imploid is said to be commutative if it additionally satisfies an exchange law:

for all $a,b,c \in X$. Finally, in any imploid we have that $a \le b$ implies $I \le a \multimap b$; we say that the imploid is normalized if the converse is also true.

Examples

From a group

Any group $G = (G,\cdot,I,(-)^{-1})$ can be seen as an undirected (normalized) imploid, by taking the preorder to be the equality relation and defining $a \multimap b \mathbin{:=} b\cdot a^{-1}$. In this case, the composition law (2) holds because

while the identity and unit laws (3) and (4) likewise follow immediately from the group axioms.

Relating imploids and dmonoids

(See article dmonoid for the definition.)

Via existence of left/right adjoints

It is well-known that if $C$ has the structure of a monoidal category and for every object $a \in C$, the tensor functor $-\otimes a : C \to C$ has a right adjoint $-\otimes a\dashv [a,-]$, then $C$ can also be given the structure of a closed category. But what about the converse? In other words, if $C$ is a closed category and every functor $[a,-]$ has a left adjoint, is $C$ also a monoidal category? It turns out that the answer is no, because in general the associator maps

are not necessarily invertible, i.e., they only establish associativity up to natural transformation, and not up to natural isomorphism.

Dual yoneda embeddings

Related concepts

• dmonoid

• nlab: closed category

References

• B. J. Day and M. L. Laplaza, On Embedding Closed Categories, Bull. Austral. Math. Soc. 18 (1978), 357-371.

• Ross Street. Skew-closed categories. Journal of Pure and Applied Algebra 217(6) (June 2013), arXiv:1205.6522

• Kornel Szlachanyi. Skew-monoidal categories and bialgebroids. arXiv:1201.4981