\def\cprime{$'$} \def\cprime{$'$}
\begin{thebibliography}{23}
\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\expandafter\ifx\csname urlstyle\endcsname\relax
  \providecommand{\doi}[1]{doi: #1}\else
  \providecommand{\doi}{doi: \begingroup \urlstyle{rm}\Url}\fi

\bibitem[Berger and Moerdijk()]{BM2}
Clemens Berger and Ieke Moerdijk.
\newblock Resolution of coloured operads and rectification of homotopy
  algebras.
\newblock \url{arXiv:math.AT/0512576}.

\bibitem[Boardman and Vogt(1973)]{BoardmanVogt}
J.~M. Boardman and R.~M. Vogt.
\newblock \emph{Homotopy invariant algebraic structures on topological spaces}.
\newblock Springer-Verlag, Berlin, 1973.

\bibitem[Bunge(1974)]{lax}
Marta~C. Bunge.
\newblock Coherent extensions and relational algebras.
\newblock \emph{Trans. Amer. Math. Soc.}, 197:\penalty0 355--390, 1974.

\bibitem[Costello(2007)]{Costello}
Kevin Costello.
\newblock Topological conformal field theories and {C}alabi-{Y}au categories.
\newblock \emph{Adv. Math.}, 210\penalty0 (1):\penalty0 165--214, 2007.

\bibitem[Day(1970)]{Day}
Brian Day.
\newblock On closed categories of functors.
\newblock In \emph{Reports of the Midwest Category Seminar, IV}, Lecture Notes
  in Mathematics, Vol. 137, pages 1--38. Springer, Berlin, 1970.

\bibitem[Dubuc(1970)]{Dubuc}
Eduardo~J. Dubuc.
\newblock \emph{Kan extensions in enriched category theory}.
\newblock Lecture Notes in Mathematics, Vol. 145. Springer-Verlag, Berlin,
  1970.

\bibitem[Enriquez and Etingof(2005)]{EE}
Benjamin Enriquez and Pavel Etingof.
\newblock On the invertibility of quantization functors.
\newblock \emph{J. Algebra}, 289\penalty0 (2):\penalty0 321--345, 2005.

\bibitem[Fiedorowicz()]{braided}
Zbigniew Fiedorowicz.
\newblock The symmetric bar construction.
\newblock \url{http://www.math.ohio-state.edu/~fiedorow/symbar.ps.gz}.

\bibitem[Gan(2003)]{dioperad}
Wee~Liang Gan.
\newblock Koszul duality for dioperads.
\newblock \emph{Math. Res. Lett.}, 10\penalty0 (1):\penalty0 109--124, 2003.

\bibitem[Getzler(1994)]{bv}
E.~Getzler.
\newblock Batalin-{V}ilkovisky algebras and two-dimensional topological field
  theories.
\newblock \emph{Comm. Math. Phys.}, 159\penalty0 (2):\penalty0 265--285, 1994.

\bibitem[Getzler and Kapranov(1998)]{modular}
E.~Getzler and M.~M. Kapranov.
\newblock Modular operads.
\newblock \emph{Compositio Math.}, 110\penalty0 (1):\penalty0 65--126, 1998.

\bibitem[Hovey et~al.(2000)Hovey, Shipley, and Smith]{HSS}
Mark Hovey, Brooke Shipley, and Jeff Smith.
\newblock Symmetric spectra.
\newblock \emph{J. Amer. Math. Soc.}, 13\penalty0 (1):\penalty0 149--208, 2000.

\bibitem[Im and Kelly(1986)]{IK}
Geun~Bin Im and G.~M. Kelly.
\newblock A universal property of the convolution monoidal structure.
\newblock \emph{J. Pure Appl. Algebra}, 43\penalty0 (1):\penalty0 75--88, 1986.

\bibitem[Johnstone(2002)]{elephant}
Peter~T. Johnstone.
\newblock \emph{Sketches of an elephant: a topos theory compendium. {V}ol. 1},
  volume~43 of \emph{Oxford Logic Guides}.
\newblock The Clarendon Press Oxford University Press, New York, 2002.

\bibitem[Kelly(1982)]{enriched}
G.~M. Kelly.
\newblock Structures defined by finite limits in the enriched context. {I}.
\newblock \emph{Cahiers Topologie G\'eom. Diff\'erentielle}, 23\penalty0
  (1):\penalty0 3--42, 1982.
\newblock Third Colloquium on Categories, Part VI (Amiens, 1980).

\bibitem[Linton(1969)]{Linton}
F.~E.~J. Linton.
\newblock Coequalizers in categories of algebras.
\newblock In \emph{Sem. on Triples and Categorical Homology Theory (ETH,
  Z\"urich, 1966/67)}, pages 75--90. Lecture Notes in Math., Vol. 80. Springer,
  Berlin, 1969.

\bibitem[Mac~Lane(1965)]{MacLane}
Saunders Mac~Lane.
\newblock Categorical algebra.
\newblock \emph{Bull. Amer. Math. Soc.}, 71:\penalty0 40--106, 1965.

\bibitem[Markl et~al.(2002)Markl, Shnider, and Stasheff]{MSS}
Martin Markl, Steve Shnider, and Jim Stasheff.
\newblock \emph{Operads in algebra, topology and physics}, volume~96 of
  \emph{Mathematical Surveys and Monographs}.
\newblock American Mathematical Society, Providence, RI, 2002.

\bibitem[Marmolejo(1999)]{Marmolejo}
F.~Marmolejo.
\newblock Distributive laws for pseudomonads.
\newblock \emph{Theory Appl. Categ.}, 5:\penalty0 No. 5, 91--147 (electronic),
  1999.

\bibitem[Merkulov()]{Merkulov}
Sergei Merkulov.
\newblock {PROP} profile of deformation quantization and graph complexes with
  loops and wheels.
\newblock \url{arXiv:math.QA/0412257}.

\bibitem[Moore and Seiberg(1989)]{MS}
Gregory Moore and Nathan Seiberg.
\newblock Classical and quantum conformal field theory.
\newblock \emph{Comm. Math. Phys.}, 123\penalty0 (2):\penalty0 177--254, 1989.

\bibitem[Morita(1958)]{Morita}
Kiiti Morita.
\newblock Duality for modules and its applications to the theory of rings with
  minimum condition.
\newblock \emph{Sci. Rep. Tokyo Kyoiku Daigaku Sect. A}, 6:\penalty0 83--142,
  1958.

\bibitem[Street(1974)]{pseudo}
Ross Street.
\newblock Fibrations and {Y}oneda's lemma in a {$2$}-category.
\newblock In \emph{Category Seminar (Proc. Sem., Sydney, 1972/1973)}, pages
  104--133. Lecture Notes in Math., Vol. 420. Springer, Berlin, 1974.

\end{thebibliography}
