\documentclass[12pt,titlepage]{article} \usepackage{amsmath} \usepackage{mathrsfs} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsthm} \usepackage{mathtools} \usepackage{graphicx} \usepackage{color} \usepackage{ucs} \usepackage[utf8x]{inputenc} \usepackage{xparse} \usepackage{hyperref} %----Macros---------- % % Unresolved issues: % % \righttoleftarrow % \lefttorightarrow % % \color{} with HTML colorspec % \bgcolor % \array with options (without options, it's equivalent to the matrix environment) % Of the standard HTML named colors, white, black, red, green, blue and yellow % are predefined in the color package. Here are the rest. \definecolor{aqua}{rgb}{0, 1.0, 1.0} \definecolor{fuschia}{rgb}{1.0, 0, 1.0} \definecolor{gray}{rgb}{0.502, 0.502, 0.502} \definecolor{lime}{rgb}{0, 1.0, 0} \definecolor{maroon}{rgb}{0.502, 0, 0} \definecolor{navy}{rgb}{0, 0, 0.502} \definecolor{olive}{rgb}{0.502, 0.502, 0} \definecolor{purple}{rgb}{0.502, 0, 0.502} \definecolor{silver}{rgb}{0.753, 0.753, 0.753} \definecolor{teal}{rgb}{0, 0.502, 0.502} % Because of conflicts, \space and \mathop are converted to % \itexspace and \operatorname during preprocessing. % itex: \space{ht}{dp}{wd} % % Height and baseline depth measurements are in units of tenths of an ex while % the width is measured in tenths of an em. \makeatletter \newdimen\itex@wd% \newdimen\itex@dp% \newdimen\itex@thd% \def\itexspace#1#2#3{\itex@wd=#3em% \itex@wd=0.1\itex@wd% \itex@dp=#2ex% \itex@dp=0.1\itex@dp% \itex@thd=#1ex% \itex@thd=0.1\itex@thd% \advance\itex@thd\the\itex@dp% \makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}} \makeatother % \tensor and \multiscript \makeatletter \newif\if@sup \newtoks\@sups \def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}% \def\reset@sup{\@supfalse\@sups={}}% \def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else% \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}% \else \append@sup#2 \@suptrue \fi% \expandafter\mk@scripts\fi} \def\tensor#1#2{\reset@sup#1\mk@scripts#2_/} \def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2% \reset@sup\mk@scripts#3_/} \makeatother % \slash \makeatletter \newbox\slashbox \setbox\slashbox=\hbox{$/$} \def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$} \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa \copy\slashbox \kern-\@tempdima \box\@tempboxa} \def\slash{\protect\itex@pslash} \makeatother % math-mode versions of \rlap, etc % from Alexander Perlis, "A complement to \smash, \llap, and lap" % http://math.arizona.edu/~aprl/publications/mathclap/ \def\clap#1{\hbox to 0pt{\hss#1\hss}} \def\mathllap{\mathpalette\mathllapinternal} \def\mathrlap{\mathpalette\mathrlapinternal} \def\mathclap{\mathpalette\mathclapinternal} \def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}} \def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}} \def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}} % Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2} \let\oldroot\root \def\root#1#2{\oldroot #1 \of{#2}} \renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}} % Manually declare the txfonts symbolsC font \DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n} \SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n} \DeclareFontSubstitution{U}{txsyc}{m}{n} % Manually declare the stmaryrd font \DeclareSymbolFont{stmry}{U}{stmry}{m}{n} \SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n} % Manually declare the MnSymbolE font \DeclareFontFamily{OMX}{MnSymbolE}{} \DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n} \SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n} \DeclareFontShape{OMX}{MnSymbolE}{m}{n}{ <-6> MnSymbolE5 <6-7> MnSymbolE6 <7-8> MnSymbolE7 <8-9> MnSymbolE8 <9-10> MnSymbolE9 <10-12> MnSymbolE10 <12-> MnSymbolE12}{} % Declare specific arrows from txfonts without loading the full package \makeatletter \def\re@DeclareMathSymbol#1#2#3#4{% \let#1=\undefined \DeclareMathSymbol{#1}{#2}{#3}{#4}} \re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116} \re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117} \re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118} \re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119} \re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46} \re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121} \re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12} \re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64} \re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6} \re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77} \re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77} \makeatother % \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE \makeatletter \def\Decl@Mn@Delim#1#2#3#4{% \if\relax\noexpand#1% \let#1\undefined \fi \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}} \def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}} \def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}} \Decl@Mn@Open{\llangle}{mnomx}{'164} \Decl@Mn@Close{\rrangle}{mnomx}{'171} \Decl@Mn@Open{\lmoustache}{mnomx}{'245} \Decl@Mn@Close{\rmoustache}{mnomx}{'244} \makeatother % Widecheck \makeatletter \DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}} \def\@widecheck#1#2{% \setbox\z@\hbox{\m@th$#1#2$}% \setbox\tw@\hbox{\m@th$#1% \widehat{% \vrule\@width\z@\@height\ht\z@ \vrule\@height\z@\@width\wd\z@}$}% \dp\tw@-\ht\z@ \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@ \setbox\tw@\hbox{% \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box \tw@}}}% {\ooalign{\box\tw@ \cr \box\z@}}} \makeatother % \mathraisebox{voffset}[height][depth]{something} \makeatletter \NewDocumentCommand\mathraisebox{moom}{% \IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{% \IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}% }{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}% \mathpalette\@temp{#4}} \makeatletter % udots (taken from yhmath) \makeatletter \def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.} \mkern2mu\raise4\p@\hbox{.}\mkern1mu \raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}} \makeatother %% Fix array \newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}} %% \itexnum is a noop \newcommand{\itexnum}[1]{#1} %% Renaming existing commands \newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}} \newcommand{\widevec}{\overrightarrow} \newcommand{\darr}{\downarrow} \newcommand{\nearr}{\nearrow} \newcommand{\nwarr}{\nwarrow} \newcommand{\searr}{\searrow} \newcommand{\swarr}{\swarrow} \newcommand{\curvearrowbotright}{\curvearrowright} \newcommand{\uparr}{\uparrow} \newcommand{\downuparrow}{\updownarrow} \newcommand{\duparr}{\updownarrow} \newcommand{\updarr}{\updownarrow} \newcommand{\gt}{>} \newcommand{\lt}{<} \newcommand{\map}{\mapsto} \newcommand{\embedsin}{\hookrightarrow} \newcommand{\Alpha}{A} \newcommand{\Beta}{B} \newcommand{\Zeta}{Z} \newcommand{\Eta}{H} \newcommand{\Iota}{I} \newcommand{\Kappa}{K} \newcommand{\Mu}{M} \newcommand{\Nu}{N} \newcommand{\Rho}{P} \newcommand{\Tau}{T} \newcommand{\Upsi}{\Upsilon} \newcommand{\omicron}{o} \newcommand{\lang}{\langle} \newcommand{\rang}{\rangle} \newcommand{\Union}{\bigcup} \newcommand{\Intersection}{\bigcap} \newcommand{\Oplus}{\bigoplus} \newcommand{\Otimes}{\bigotimes} \newcommand{\Wedge}{\bigwedge} \newcommand{\Vee}{\bigvee} \newcommand{\coproduct}{\coprod} \newcommand{\product}{\prod} \newcommand{\closure}{\overline} \newcommand{\integral}{\int} \newcommand{\doubleintegral}{\iint} \newcommand{\tripleintegral}{\iiint} \newcommand{\quadrupleintegral}{\iiiint} \newcommand{\conint}{\oint} \newcommand{\contourintegral}{\oint} \newcommand{\infinity}{\infty} \newcommand{\bottom}{\bot} \newcommand{\minusb}{\boxminus} \newcommand{\plusb}{\boxplus} \newcommand{\timesb}{\boxtimes} \newcommand{\intersection}{\cap} \newcommand{\union}{\cup} \newcommand{\Del}{\nabla} \newcommand{\odash}{\circleddash} \newcommand{\negspace}{\!} \newcommand{\widebar}{\overline} \newcommand{\textsize}{\normalsize} \renewcommand{\scriptsize}{\scriptstyle} \newcommand{\scriptscriptsize}{\scriptscriptstyle} \newcommand{\mathfr}{\mathfrak} \newcommand{\statusline}[2]{#2} \newcommand{\tooltip}[2]{#2} \newcommand{\toggle}[2]{#2} % Theorem Environments \theoremstyle{plain} \newtheorem{theorem}{Theorem} \newtheorem{lemma}{Lemma} \newtheorem{prop}{Proposition} \newtheorem{cor}{Corollary} \newtheorem*{utheorem}{Theorem} \newtheorem*{ulemma}{Lemma} \newtheorem*{uprop}{Proposition} \newtheorem*{ucor}{Corollary} \theoremstyle{definition} \newtheorem{defn}{Definition} \newtheorem{example}{Example} \newtheorem*{udefn}{Definition} \newtheorem*{uexample}{Example} \theoremstyle{remark} \newtheorem{remark}{Remark} \newtheorem{note}{Note} \newtheorem*{uremark}{Remark} \newtheorem*{unote}{Note} %------------------------------------------------------------------- \begin{document} %------------------------------------------------------------------- \section*{club} \hypertarget{contents}{}\section*{{Contents}}\label{contents} \noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak \noindent\hyperlink{clubs_over_the_permutation_category}{Clubs over the permutation category}\dotfill \pageref*{clubs_over_the_permutation_category} \linebreak \noindent\hyperlink{action_by_substitution_product}{Action by substitution product}\dotfill \pageref*{action_by_substitution_product} \linebreak \noindent\hyperlink{substitution_product_as_monoidal_product}{Substitution product as monoidal product}\dotfill \pageref*{substitution_product_as_monoidal_product} \linebreak \noindent\hyperlink{clubs_over_}{Clubs over $\mathbf{P}$}\dotfill \pageref*{clubs_over_} \linebreak \noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak \noindent\hyperlink{clubs_over_finite_sets}{Clubs over finite sets}\dotfill \pageref*{clubs_over_finite_sets} \linebreak \noindent\hyperlink{clubs_over_cartesian_monads}{Clubs over cartesian monads}\dotfill \pageref*{clubs_over_cartesian_monads} \linebreak \noindent\hyperlink{clubs_with_many_objects}{Clubs with many objects}\dotfill \pageref*{clubs_with_many_objects} \linebreak \noindent\hyperlink{clubs_over__2}{Clubs over $Cat$}\dotfill \pageref*{clubs_over__2} \linebreak \noindent\hyperlink{clubs_as_polynomial_monads}{Clubs as polynomial monads}\dotfill \pageref*{clubs_as_polynomial_monads} \linebreak \noindent\hyperlink{clubs_of_mixed_variance}{Clubs of mixed variance}\dotfill \pageref*{clubs_of_mixed_variance} \linebreak \noindent\hyperlink{extranaturality_graphs}{Extranaturality graphs}\dotfill \pageref*{extranaturality_graphs} \linebreak \noindent\hyperlink{doctrine_of_compact_closed_categories}{Doctrine of compact closed categories}\dotfill \pageref*{doctrine_of_compact_closed_categories} \linebreak \noindent\hyperlink{definition_of_club_of_mixed_variance}{Definition of club of mixed variance}\dotfill \pageref*{definition_of_club_of_mixed_variance} \linebreak \noindent\hyperlink{examples_2}{Examples}\dotfill \pageref*{examples_2} \linebreak \noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak \hypertarget{idea}{}\subsection*{{Idea}}\label{idea} A club is a particular sort of [[doctrine]] or [[monad]] on [[categories]], one which encapsulates the following frequently observed phenomenon: to describe [[free functor|free]] algebras $F(C)$ with respect to the monad, it frequently suffices to describe the free algebra $F(1)$ on the [[terminal category]], and then a certain ``[[categorical wreath product]]'' gives the free algebra on $C$: \begin{displaymath} F(C) \cong F(1) \wr C \end{displaymath} Examples of this phenomenon include the monad for [[monoidal categories]], [[symmetric monoidal categories]], [[braided monoidal categories]], categories with finite [[product]]s, [[closed category|closed symmetric monoidal categories]], and many others. Clubs were introduced by [[Max Kelly]] in a series of papers (see references), and are akin in spirit to [[operad|operads]]. In fact, many (perhaps even all) types of clubs are a special case of [[generalized multicategories|generalized operads]], and also of [[polynomial monads]]. \hypertarget{clubs_over_the_permutation_category}{}\subsection*{{Clubs over the permutation category}}\label{clubs_over_the_permutation_category} This is the most basic sort of club, introduced by Kelly in \hyperlink{KellyMVFC}{MVFC} and \hyperlink{KellyAAC}{AAC}. \hypertarget{action_by_substitution_product}{}\subsubsection*{{Action by substitution product}}\label{action_by_substitution_product} Let $\mathbf{P}$ be the category of finite sets $[n] = \{1, \ldots, n\}$ (including the empty set $[0]$) and permutations between them, and let $Cat$ be the category of small categories. We define a ``wreath product'' action of the category $Cat/\mathbf{P}$ on $Cat$, where $Cat/\mathbf{P}$ is the slice category of $Cat$ over $\mathbf{P}$ \begin{displaymath} \circ: Cat/\mathbf{P} \times Cat \to Cat \end{displaymath} taking a pair $(\Gamma: C \to \mathbf{P}, D)$ to the category whose objects are tuples \begin{displaymath} (c; d_1, \ldots, d_n) \end{displaymath} with $c \in Ob(C)$, $d_i \in Ob(D)$, and $\Gamma(c) = [n]$. A morphism is a tuple \begin{displaymath} (f; g_1, \ldots, g_n) \end{displaymath} consisting of a morphism $f: c \to c'$ in $C$ and morphisms $g_i: d_i \to d_{\Gamma(f)(i)}'$ in $D$, composed in the obvious way. This generalizes the standard notion of wreath product: given a group $G$ and a permutation representation, i.e., a homomorphism $\gamma: G \to Aut([n]) \hookrightarrow \mathbf{P}$, and given a group $H$, the wreath product is defined to be the semidirect product \begin{displaymath} G \int H = G \ltimes H^n \end{displaymath} with the action of $G$ on $H^n$ induced from the action on $[n]$. Another, more abstract, way to describe this substitution product is as follows: there is a [[cartesian monad]] $S$ on $Cat$ whose algebras are symmetric strict monoidal categories, and we have $\mathbf{P} = S 1$, where $1$ is the [[terminal category]]. The substitution product $\Gamma \circ D$ can then be described as the following pullback in $Cat$. \begin{displaymath} \itexarray{\Gamma \circ D & \overset{}{\to} & S D\\ \downarrow && \downarrow^{S !}\\ C & \underset{\Gamma}{\to} & S 1 & = \mathbf{P}} \end{displaymath} See below for a general version of this construction. \hypertarget{substitution_product_as_monoidal_product}{}\subsubsection*{{Substitution product as monoidal product}}\label{substitution_product_as_monoidal_product} We describe how the substitution action $\circ$ lifts to a self-action denoted by the same symbol: \begin{displaymath} \circ: Cat/\mathbf{P} \times Cat/\mathbf{P} \to Cat/\mathbf{P} \end{displaymath} To start, given a pair $(\Gamma: C \to \mathbf{P}, \Delta: D \to \mathbf{P})$, the domain of $\Gamma \circ \Delta$ is the category $\Gamma \circ D$ described above. The functor \begin{displaymath} \Gamma \circ \Delta: \Gamma \circ D \to \mathbf{P} \end{displaymath} sends an object $(c; d_1, \ldots, d_n)$ to $\sum_i \Delta(d_i)$. The effect of $\Gamma \circ \Delta$ on morphisms $(f; g_1, \ldots, g_n)$ may be summarized as ``substituting the permutations $\Delta(g_i)$ into the permutation $\Gamma(f)$''. To describe this more precisely, we give a little preface. The hom-set $\mathbf{P}([n], [n]) = Aut(n)$ of permutations on $n$ may be identified with the set $Lin(n)$ of total (or linear) orders on $[n]$, if we identify the identity element with the standard order on $\{1, 2, \ldots, n\}$. The sets $Aut(n) = Lin(n)$ are components of an [[operad]] $Lin$ where the operadic multiplication \begin{displaymath} \mu(n; k_1, \ldots, k_n): Lin(n) \times Lin(k_1) \times \ldots \times Lin(k_n) \to Lin(k_1 + \ldots + k_n) \end{displaymath} takes a linear ordering of $n$ linearly ordered sets and produces the evident linear ordering on the disjoint sum of the sets. Then, given a morphism $(f; g_1, \ldots, g_n)$ in $\Gamma \circ D$, we define \begin{displaymath} (\Gamma \circ \Delta)(f; g_1, \ldots, g_n) \stackrel{def}{=} \mu(n; k_1, \ldots, k_n)(\Gamma(f), \Delta(g_1), \ldots \Delta(g_n)) \end{displaymath} Given the abstract description above of the substitution product in terms of the cartesian monad $T$, the functor $\Gamma \circ \Delta$ can be described as the composite \begin{displaymath} \Gamma \circ D \to T D \overset{T \Delta}{\to} T T 1 \overset{\mu_1}{\to} T 1 = \mathbf{P} \end{displaymath} where $\mu\colon T T \to T$ is the multiplication of the [[monad]] $T$. The substitution product thus indicated, \begin{displaymath} \circ: Cat/\mathbf{P} \times Cat/\mathbf{P} \to Cat/\mathbf{P}, \end{displaymath} is the product for a [[monoidal category]] structure on $Cat/\mathbf{P}$. The monoidal unit is the functor $I: 1 \to \mathbf{P}$ which names the 1-element set. Abstractly, we can observe that the cartesian monad $T$ induces a [[pseudomonad]] on the [[bicategory]] $Span(Cat)$ of spans in $Cat$, which has a [[Kleisli category|Kleisli bicategory]] $Span(Cat)_T$ in which a 1-cell $A\to B$ is a span $A \leftarrow X \to T B$ in $Cat$. We then have \begin{displaymath} Cat/\mathbf{P} \simeq Cat / (1 \times T 1) \simeq Span(Cat)_T (1, 1) \end{displaymath} and the monoidal structure above is that induced from the bicategory composition in $Span(Cat)_T$. Under this monoidal product, the substitution action indicated earlier, \begin{displaymath} \circ: Cat/\mathbf{P} \times Cat \to Cat, \end{displaymath} carries a structure of [[actegory]] over the monoidal category $Cat/\mathbf{P}$, in the sense that there is a coherent associativity \begin{displaymath} (\Gamma \circ \Delta) \circ E \cong \Gamma \circ (\Delta \circ E) \end{displaymath} for $\Gamma: C \to \mathbf{P}$, $\Delta: D \to \mathbf{P}$, and a category $E$, and similarly coherent left and right unit isomorphisms. \hypertarget{clubs_over_}{}\subsubsection*{{Clubs over $\mathbf{P}$}}\label{clubs_over_} \begin{udefn} A \textbf{club} over $\mathbf{P}$ is a monoid in the monoidal category $(Cat/\mathbf{P}, \circ, I)$. By the abstract characterization above, this is equivalent to a [[monad]] in the bicategory $Span(Cat)_T$ on the object $1$, or equivalently a $T$-[[generalized multicategory|operad]] in the sense of Leinster. \end{udefn} A club over $\mathbf{P}$ induces (via the actegory structure) a 2-monad on $Cat$, and an algebra over the club is an algebra for this monad. That is, an \textbf{algebra} over a club $C$ is a category $D$ together with an action $m: C \circ D \to D$ compatible in the usual way with the monoid structure on $C$. Given a club structure on $\Gamma: C \to \mathbf{P}$, we think of the objects $c$ as formal operations of arity $n = \Gamma(c)$. An algebra $D$ over $C$, $m: C \circ D \to D$, gives in effect an interpretation of each $c$ of arity $n$ as an actual operation $D^n \to D$. The free $C$-algebra over a category $D$ is just $C \circ D$. For the free algebra over the terminal category $1$, notice that \begin{displaymath} C \circ 1 \cong C \end{displaymath} (strictly speaking, the $C$ on the left is a category over $\mathbf{P}$ and the $C$ on the right is just the category). Thus, in a manner of speaking, the free algebra generated by $D$ is obtained by wreathing the free algebra generated by $1$ with $D$, as adumbrated in the idea section above. \hypertarget{examples}{}\subsubsection*{{Examples}}\label{examples} \begin{itemize}% \item The identity $1_{\mathbf{P}}: \mathbf{P} \to \mathbf{P}$ carries a club structure. The multiplication $\mu$ of the club, on the object level, is given by the assignment \begin{displaymath} (n; k_1, \ldots, k_n) \mapsto k_1 + \ldots + k_n \end{displaymath} and on morphisms, it is given by the operad structure on $Aut(n) = Lin(n)$ discussed above. Algebras over this club are symmetric strict monoidal categories. Algebras in the ``pseudo'' sense over the induced 2-monad on $Cat$ are [[unbiased]] non-strict [[symmetric monoidal categories]]. Alternatively, if $F(1)$ is the free (biased, non-strict) symmetric monoidal category on one generator, then the symmetric monoidal equivalence $\Gamma: F(1) \to \mathbf{P}$ carries a club structure whose strict algebras are (biased, non-strict) symmetric monoidal categories. \item Let $\mathbf{B}$ be the [[braid category]], equipped with the usual forgetful functor $\Gamma: \mathbf{B} \to \mathbf{P}$. The club multiplication, at the level of morphisms, is ``substitution'' of $n$ braids into a braid on $n$ elements. Pseudo-algebras over the induced 2-monad on $Cat$ are unbiased braided monoidal categories. Alternatively, as in the previous example, biased non-strict braided monoidal categories are also strict algebras over a club of the form $\Gamma: F(1) \to \mathbf{P}$ where $F(1)$ is the free braided monoidal category on one generator. \item Let $C$ be any (permutative) operad valued in $Set$, with underlying species $\mathbf{P} \to Set$. The [[category of elements]] gives a functor $\Gamma: El(C) \to \mathbf{P}$, and this carries a club structure induced from the operad structure on $C$. In this way, clubs generalize operads. In fact, operads in $Set$ can be identified with those clubs for which the functor $\Gamma\colon C\to \mathbf{P}$ is a [[discrete fibration]]. \end{itemize} \hypertarget{clubs_over_finite_sets}{}\subsection*{{Clubs over finite sets}}\label{clubs_over_finite_sets} Essentially the same construction can be given replacing $\mathbf{P}$ by (a skeleton of) the category $FinSet$ of finite sets and functions, or its opposite. The corresponding cartesian monads are those whose algebras are categories with strictly associative finite coproducts or strictly associative finite products, respectively. Examples of such clubs include categories with (not necessarily strictly associative) finite coproducts or products. Clubs of this sort were also defined in \hyperlink{KellyMVFC}{MVFC} and \hyperlink{KellyAAC}{AAC}, and studied further in \hyperlink{KellyOCD}{OCD}. \hypertarget{clubs_over_cartesian_monads}{}\subsection*{{Clubs over cartesian monads}}\label{clubs_over_cartesian_monads} In fact, the foregoing constructions can be generalized to any [[cartesian monad]] $S$ on $Cat$. Since a monad is a [[monoid]] in the [[monoidal category]] of [[endofunctors]], the [[slice category]] $[Cat,Cat]/S$ inherits a monoidal structure. We also have an ``evaluate at $1$'' functor $[Cat,Cat]/S \to Cat/S1$, which has a right adjoint defined by pulling back: given $A\to S1$, we define an endofunctor $\hat{A}$ of $Cat$ by the following pullbacks: \begin{displaymath} \itexarray{ \hat{A}(X) & \to & A \\ \downarrow && \downarrow\\ S(X) & \to & S(1) } \end{displaymath} This right adjoint is fully faithful and embeds $Cat/S1$ into $[Cat,Cat]/S$ as the endofunctors equipped with a [[cartesian natural transformation]] to $S$. Finally, the cartesianness of $S$ implies that $Cat/S1$ is closed under the monoidal structure of $[Cat,Cat]/S$. This induced monoidal structure on $Cat/S1$ is, in the case when $S$ is the symmetric strict monoidal category monad, exactly the substitution product defined above. Thus, a club is a monoid for this monoidal structure, and the inclusion of $Cat/S1$ into $[Cat,Cat]/S$ thereby sends it to a monad over $S$. Note, however, that this construction depends on no special features of $Cat$; it can be performed for any cartesian monad $S$ on any category with finite limits. This generalization was performed by Kelly in \hyperlink{KellyCDT}{CDT}. More generally, it can be performed for cartesian monads \emph{in} a suitable 2-category; see [[club in a 2-category]]. \hypertarget{clubs_with_many_objects}{}\subsection*{{Clubs with many objects}}\label{clubs_with_many_objects} To describe structures on a family of categories rather than a single category (such as a monoidal functor between two monoidal categories), we can generalize to $Cat^\Lambda$ for any set $\Lambda$. In this case the substitution monoidal product lives on $Cat/(\Lambda \times S\Lambda)$. This generalization can also be found in \hyperlink{KellyMVFC}{MVFC} and \hyperlink{KellyAAC}{AAC}; it amounts to nothing more than considering [[generalized multicategories]] for a cartesian monad (with a [[discrete category]] $\Lambda$ of objects) rather than simply generalized operads (those with the [[terminal category]] of objects). \hypertarget{clubs_over__2}{}\subsection*{{Clubs over $Cat$}}\label{clubs_over__2} In \hyperlink{KellyCDT}{CDT} Kelly described a further generalization of clubs over $FinSet$, in which $FinSet$ is replaced by $Cat$. The crucial feature that allows the substitution product to continue working is the [[Grothendieck construction]] for functors into $Cat$. In fact, Kelly generalized even further to a substitution product that lives not on the ordinary slice category $CAT/Cat$ but on the [[lax slice 2-category]] $CAT\sslash Cat$ (which Kelly denoted $CAT \int^* Cat$). This has the advantage that the resulting functor $Mon(CAT\sslash Cat,\circ) \to Mnd(Cat)$ from clubs to [[monads]] on $Cat$ is [[fully faithful functor|fully faithful]], which it is not for the previous notions of club. There is an analogous generalization of the many-object case, though Kelly did not make this explicit. Similarly, there is a dual notion of club in $CAT\sslash Cat^{op}$ which generalizes clubs over $FinSet^{op}$. Kelly did not give any interesting examples of clubs in this generality, only remarking that one is ``ineluctably led to'' the generalization. But also worth noting is that there could be interesting morphisms between clubs over $FinSet$ that are only visible when they are viewed as clubs in $CAT\sslash Cat$ (or equivalently as monads on $Cat$). \hypertarget{clubs_as_polynomial_monads}{}\subsection*{{Clubs as polynomial monads}}\label{clubs_as_polynomial_monads} The cartesian monads $S$ that are used to define clubs over $\mathbf{P}$, $FinSet$, and $FinSet^{op}$ are in fact [[polynomial monads]] (which immediately implies that they are cartesian). And an endofunctor equipped with a [[cartesian natural transformation]] to a [[polynomial functor]] is itself automatically polynomial. Thus, the subcategory of $[Cat,Cat]/S$ identified with $Cat/S1$ by the ``clubs over cartesian monads'' construction is equivalently the category of polynomial endofunctors of $Cat$ cartesianly-over $S$, and the identification with $Cat/S1$ reduces to the identification of cartesian morphisms between polynomial functors with pullback squares of exponentiable morphisms. Similarly, considering cartesian natural transformations in the [[double category]] of polynomial functors yields a description of clubs with many objects. This suggests that an arbitrary polynomial monad could be regarded as a ``global club'', i.e. one not ``over any base''. A polynomial endofunctor of $Cat$ is determined by a single [[exponentiable morphism]] $f:B\to A$ in $Cat$, i.e. a [[Conduche functor]], which in turn is determined by a [[pseudofunctor]] $A\to$ [[Prof]]. Composition of polynomial endofunctors thus yields a monoidal structure on the ``slice category'' whose objects are categories equipped with a pseudofunctor to $Prof$, monoids with respect to which are polynomial monads; thus a polynomial monad could be viewed as a ``club over $Prof$''. Clubs in $CAT/Cat$ and $CAT/Cat^{op}$ are the obvious special cases when $Cat$ and $Cat^{op}$ are embedded into $Prof$ by [[representable profunctor|representable]] and corepresentable profunctors and the pseudofunctor is strict; these correspond to polynomial endofunctors for which $f:B\to A$ is a [[split opfibration]] or [[split fibration]] respectively. Finally, recall that \emph{non-cartesian} natural transformations between polynomial functors determined by $g:D\to C$ and $f:B\to A$ have a similar description as consisting of a map $h:C\to A$ and a map $C\times_A B \to D$ over $C$. Translated into the classifying maps $A\to Prof$ and $C\to Prof$ this corresponds to a triangle filled by a lax natural transformation whose components are functors. Thus in the cases of split (op)fibrations we recover Kelly's lax slice 2-categories $CAT\sslash Cat$ and $CAT\sslash Cat^{op}$. \hypertarget{clubs_of_mixed_variance}{}\subsection*{{Clubs of mixed variance}}\label{clubs_of_mixed_variance} The clubs described in the preceding sections are all examples of \emph{covariant clubs}: the operations on their algebras $D$ are covariant functors $D^n \to D$. However, many doctrines on $Cat$, such as the doctrine of closed categories, involve functors which are covariant in some arguments and contravariant in others, together with [[extranatural transformations]] between them. For example, in the doctrine for closed monoidal categories, there is an extranatural transformation of the form \begin{displaymath} ev_{X, Y}: [X, Y] \otimes X \to Y \end{displaymath} which is dinatural in $X$ and natural in $Y$. It turns out that many doctrines of ``mixed variance'' can also be described by an extension of the club notion. This applies particularly to closed monoidal, closed symmetric monoidal, and $*$-autonomous categories. But there are some subtleties, some of which can be explained by looking at a non-example: the doctrine of compact closed categories. \hypertarget{extranaturality_graphs}{}\subsubsection*{{Extranaturality graphs}}\label{extranaturality_graphs} The underlying arity of an operation of mixed variance will be a \emph{signed set}, i.e., a finite set $\{1, 2, \ldots, n\}$ where a sign $+$ or $-$ is assigned to each element $j$. The element $j$ is given the sign $+$ (resp., $-$) if $j^{th}$ argument of the operation appears covariantly (resp., contravariantly). For example, for the operation \begin{displaymath} C^{op} \times C \times C \to C: (a, b, c) \mapsto [a, b] \otimes c \end{displaymath} the underlying arity is an ordered list of signs $\{-, +, +\}$. The underlying arity of an extranatural transformation for a given doctrine is an arrow of signed sets $A$, $B$ called a \textbf{graph} (or EKM graph, for Eilenberg, Kelly and Mac Lane), which by definition is a partition of the signed elements of $A \cup B$ into mated pairs, such that \begin{itemize}% \item Mated elements, one in $A$ and one in $B$, have the same sign; \item Mated elements, both in $A$ or both in $B$, have opposite signs. \end{itemize} An EKM graph may be identified with a directed graph whose edges are mated pairs, oriented in the direction from an $A$-element to a $B$-element if the mates have the same sign, or from $+$ to $-$ if the mates are $A$-elements, or from $-$ to $+$ if the mates are $B$-elements. Such a graph may also be considered as an oriented 1-cobordism between oriented 0-manifolds without loops (circles). For example, the arity of the evaluation map in closed monoidal categories, \begin{displaymath} ev_{X, Y}: [X, Y] \otimes X \to Y \end{displaymath} is an arrow with an oriented edge from the third placeholder of the domain to the first placeholder, and an oriented edge from the second placeholder of the domain to the placeholder of the codomain. Hence we obtain a directed graph whose vertices are signed sets and whose edges are EKM graphs between the signed sets. An immediate question is how to compose graphs to form a category, and in particular what to do about ``loops'' or ``islands'' which may arise in composing such 1-cobordisms. The first answer that may come to mind is simply to ignore them (in other words, regard the pairings as morphisms in a bicategory of co-relations, and compose them as such). An answer more relevant to clubs will emerge in the next section. \hypertarget{doctrine_of_compact_closed_categories}{}\subsubsection*{{Doctrine of compact closed categories}}\label{doctrine_of_compact_closed_categories} An example in which loops arise in compositions of extranatural transformations is the doctrine of compact closed (symmetric monoidal) categories. The classic example is the composition \begin{displaymath} 1 \stackrel{\eta}{\to} c^* \otimes c \stackrel{\varepsilon}{\to} 1 \end{displaymath} where $1$ denotes a monoidal unit, $\eta$ is a unit for an adjunction $c \dashv c^*$, and $\varepsilon$ is a counit for $c^* \dashv c$ (in a symmetric monoidal category, such adjunctions are inevitably [[ambidextrous adjunction|ambidextrous]]). This composition obviously does not define an extranatural transformation from a constant functor to itself, precisely because of dependence on $c$ (for example, when interpreted in the compact closed category of finite-dimensional vector spaces, the value is $dim(c)$). In general, the presence of loops in compositions of extranaturality graphs should be seen as reflecting a fatal ill-definedness of composition of the extranatural transformations giving rise to them, and in such situations an alarm should sound: ``\href{http://en.wikipedia.org/wiki/Danger,_Will_Robinson}{Danger, Will Robinson!}''. The lesson learned is that the doctrine of compact closed categories is not describable by a club, and that for the purposes of clubs there is no use for compositions of graphs which produce loops. If one insists on assigning a value to composition in such cases, it might as well be a junk value $*$, and therefore it is justifiable to regard signed sets and arrows between them as carrying a structure of category enriched in the symmetric monoidal category of pointed sets (= category of sets and partially defined functions). \hypertarget{definition_of_club_of_mixed_variance}{}\subsubsection*{{Definition of club of mixed variance}}\label{definition_of_club_of_mixed_variance} Let $\mathbf{G}$ be the category enriched in pointed sets whose objects are finite signed sets, and whose morphisms are graphs as described above, composed as in the bicategory of cospans between sets unless this results in the creation of loops (in which case the composition is defined to be the basepoint of the hom-set it belongs to). There is no harm in thinking of $\mathbf{G}$ as an ordinary category. Let $(Cat/\mathbf{G})'$ be the full subcategory of $Cat/\mathbf{G}$ whose objects are functors $\Gamma: C \to \mathbf{G}$ such that for every morphism $f$ of $C$, $\Gamma(f)$ is \emph{not} the basepoint of the hom-set it belongs to. There is an action \begin{displaymath} \circ: (Cat/\mathbf{G})' \times Cat \to Cat \end{displaymath} for which the objects of $(\Gamma: C \to \mathbf{G}) \circ D$ are pairs $(c, \sigma: \Gamma(c) \to Ob(D) \cup Ob(D^{op}))$ where $c$ is an object of $C$ and $\sigma$ is a lift of $sign: \Gamma(c) \to \{+, -\}$ through the function \begin{displaymath} ! \cup !: Ob(D) \cup Ob(D^{op}) \to \{+\} \cup \{-\} = \{+, -\} \end{displaymath} Morphisms of $(\Gamma: C \to \mathbf{G}) \circ D$ are pairs $(f: c \to c', \phi: \Gamma(f) \to U(D))$ where $\phi$ is a morphism of [[quiver|directed graphs]] to the underlying graph of $D$. Again, this action $\circ$ lifts to a monoidal product \begin{displaymath} \circ: (Cat/\mathbf{G})' \times (Cat/\mathbf{G})' \to (Cat/\mathbf{G})' \end{displaymath} with monoidal unit $I: 1 \to \mathbf{G}$ naming the 1-point set, positively signed. The action of $(Cat/\mathbf{G})'$ on $Cat$ becomes an actegory with respect to the monoidal category structure. \begin{udefn} A \textbf{club} over $\mathbf{G}$ is a monoid in the monoidal category $((Cat/\mathbf{G})', \circ, I)$. \end{udefn} A club over $\mathbf{G}$ induces (via the actegory structure) a monad on $Cat$, and an \textbf{algebra} over the club is an algebra for this monad. Unlike in the covariant cases, this monad is \emph{not} a 2-monad, but it does give a 2-monad if one restricts to the locally groupoidal 2-category of categories, functors, and natural isomorphisms. [[Mike Shulman]]: Is this sort of club also a generalized operad for some cartesian monad on $Cat$? [[Todd Trimble]]: I'm pretty sure that it's a cartesian monad on $Cat$, and actually I don't know any real examples of Kelly's clubs which aren't. \hypertarget{examples_2}{}\subsubsection*{{Examples}}\label{examples_2} As shown above, we cannot expect to describe compact closed categories with a club. However, we can describe various other structures of mixed variance, such as symmetric monoidal \emph{closed} categories. Specifically, let $F(1)$ be the free smc category on one generator. There is a ``graph functor'' $\Gamma: F(1) \to \mathbf{G}$ which takes a morphism of $F(1)$ to its extranaturality graph. The crucial observation is that no basepoint morphism lies in the image of $\Gamma$, i.e., no islands can occur in formal compositions for this doctrine. This fact is nontrivial; its proof relies on a [[cut-elimination theorem]] (see \hyperlink{KellyCET}{KellyCET}) and works for any structure obtained by adding [[multivariable adjunction|multi-variable right adjoints]] to any of the operations of a club over $\mathbf{P}$. A morphism in the free symmetric monoidal closed category on a category $C$ is then given by a morphism of $F(1)$ together with a labeling of the oriented edges of its underlying graph (an oriented 1-cobordism) by morphisms of $C$. Then, you compose morphisms of this ``[[categorical wreath product]]'' in the obvious way, composing the morphism-labels of edges in 1-cobordisms as they get pasted together. \hypertarget{references}{}\subsection*{{References}}\label{references} \begin{itemize}% \item [[Max Kelly]], \emph{Many-variable functorial calculus. I}. In ``Coherence in categories'', LNM 281, p66---105 \end{itemize} \begin{itemize}% \item [[Max Kelly]], \emph{An abstract approach to coherence.} In ``Coherence in categories'', LNM 281, p106---147. \end{itemize} \begin{itemize}% \item [[Max Kelly]], \emph{A cut-elimination theorem.} In ``Coherence in categories'', LNM 281, p196---213. \end{itemize} \begin{itemize}% \item [[Max Kelly]], \emph{On clubs and doctrines}. In ``Category Seminar (Proc. Sem., Sydney, 1972/1973)'', LNM 420, p181---256. \end{itemize} \begin{itemize}% \item [[Max Kelly]], \emph{On clubs and data-type constructors}, Applications of Categories in Computer Science, Proceedings of the London Mathematical Society Symposium, Durham 1991 \end{itemize} [[!redirects club]] [[!redirects clubs]] \end{document}