ISSN 1201-561X

TAC 6   THEORY AND APPLICATIONS OF CATEGORIES

Volume 29, 2014

Some stability properties of epimorphism classes Dali Zangurashvili 1 Erratum to ‘Towards a homotopy theory of higher dimensional transition systems’ Philippe Gaucher 17 On the image of the almost strict Morse n-category under almost strict n-functors Sonja Hohloch 21 Obvious natural morphisms of sheaves are unique Ryan Cohen Reich 48 Mapping Spaces of Gray-Categories Bj¨ornGohla 100 Analytic spectrum of rig categories Frederic Paugam 188 A Galois theory for monoids Andrea Montoli, Diana Rodelo and Tim Van der Linden 198 Twisted actions of categorical groups Saikat Chatterjee, Amitabha Lahiri, and Ambar N. Sengupta 215 The theory and practice of Reedy categories Emily Riehl and Dominic Verity 256 Finite products in partial morphism categories S.N. Hosseini, A.R. Shir Ali Nasab 302 Duality in non-abelian algebra I. From cover relations to Grandis ex2-categories Zurab Janelidze and Thomas Weighill 315

c The Editors of Theory and Applications of Categories 2014. Permission to copy for private use granted. Theory and Applications of Categories, Vol. 29 ii On the infinity category of homotopy Leibniz algebras David Khudaverdyan, Norbert Poncin, Jian Qiu 332 Projective lines as groupoids with projection structure Anders Kock 371 Toward categorical risk measure theory Takanori Adachi 389 Topological functors as total categories Richard Garner 406 A Bayesian characterization of relative entropy John C. Baez and Tobias Fritz 422 Extending obstructions to noncommutative functorial spectra Benno van den Berg and Chris Heunen 457 Enriched factorization systems Rory B. B. Lucyshyn-Wright 475 Sequential multicategories Claudio Pisani 496 Continuous cohesion over sets Matias Menni 542 On deformations of pasting diagrams, II Tej Shrestha and D. N. Yetter 569 Realizable homotopy colimits Beatriz Rodriguez Gonzalez 609 Constructing model categories with prescribed fibrant objects Alexandru E. Stanculescu 635 Stacks and sheaves of categories as fibrant objects, I Alexandru E. Stanculescu 654 The weakly globular double category of fractions of a category Simona Paoli, Dorette Pronk 696 Diagrammatic characterisation of enriched absolute colimits Richard Garner 775 On pointwise Kan extensions in double categories Seerp Roald Koudenburg 781 A Serre-Swan theorem for gerbe modules on ´etaleLie groupoids Christoph Schweigert, Christopher Tropp and Alessandro Valentino 819 Theory and Applications of Categories, Vol. 29 iii Bicategorical fibration structures and stacks Dorette A. Pronk and Michael A. Warren 836 More on geometric morphisms between realizability toposes Eric Faber and Jaap van Oosten 874 Completion, closure, and density relative to a monad, with examples in functional anal- ysis and sheaf theory Rory B. B. Lucyshyn-Wright 896 Iterated icons and Nick Gurski 929 THEORY AND APPLICATIONS OF CATEGORIES (ISSN 1201-561X) will disseminate articles that significantly advance the study of categorical algebra or methods, or that make significant new contribu- tions to mathematical science using categorical methods. The scope of the journal includes: all areas of pure , including higher dimensional categories; applications of category theory to algebra, geometry and topology and other areas of ; applications of category theory to computer science, physics and other mathematical sciences; contributions to scientific knowledge that make use of categorical methods. Articles appearing in the journal have been carefully and critically refereed under the responsibility of members of the Editorial Board. Only papers judged to be both significant and excellent are accepted for publication. Full text of the journal is freely available in .dvi, Postscript and PDF from the journal’s server at http://www.tac.mta.ca/tac/ and by ftp. It is archived electronically and in printed paper format. Subscription information. Individual subscribers receive by e-mail abstracts of articles by e-mail as they are published. To subscribe, send e-mail to [email protected] including a full name and postal address. For institutional subscription, send enquiries to the Managing Editor. Information for authors. The typesetting language of the journal is TEX, and LATEX 2ε is strongly encouraged. Articles should be submitted by e-mail directly to a Transmitting Editor. Please obtain detailed information on submission format and style files from http://www.tac.mta.ca/tac/. Managing editor. Robert Rosebrugh, Mount Allison University: [email protected] TEXnical editor. Michael Barr, McGill University: [email protected] Assistant TEX editor. Gavin Seal, Ecole Polytechnique F´ed´eralede Lausanne: gavin [email protected] Transmitting editors. Clemens Berger, Universit´ede Nice-Sophia Antipolis: [email protected] Richard Blute, Universit´ed’ Ottawa: [email protected] Lawrence Breen, Universit´ede Paris 13: [email protected] Ronald Brown, University of North Wales: ronnie.profbrown(at)btinternet.com : [email protected] Ezra Getzler, Northwestern University: getzler(at)northwestern(dot)edu Kathryn Hess, Ecole Polytechnique F´ed´eralede Lausanne: [email protected] Martin Hyland, : [email protected] Anders Kock, University of Aarhus: [email protected] Stephen Lack, Macquarie University: [email protected] F. William Lawvere, State University of New York at Buffalo: [email protected] Tom Leinster, University of Edinburgh: [email protected] Ieke Moerdijk, Radboud University Nijmegen: [email protected] Susan Niefield, Union College: [email protected] Robert Par´e,Dalhousie University: [email protected] Jiri Rosicky, Masaryk University: [email protected] Giuseppe Rosolini, Universit`adi Genova: [email protected] Alex Simpson, University of Edinburgh: [email protected] James Stasheff, University of North Carolina: [email protected] Ross Street, Macquarie University: [email protected] Walter Tholen, York University: [email protected] Myles Tierney, Rutgers University: [email protected] Robert F. C. Walters, University of Insubria: [email protected] R. J. Wood, Dalhousie University: [email protected]