Closed model categories for presheaves of simplicial groupoids and presheaves of 2-groupoids by Zhi-ming Luo

We introduce a notion of join for (augmented) simplicial sets generalising the classical join of geometric simplicial complexes. The definition comes naturally from the ordinal sum on the base simplicial

Closed model categories for presheaves of simplicial groupoids and presheaves of 2-groupoids by Zhi-Ming Luo

The notes were prepared for a series of talks that I gave in Hagen in late June and early July 2003, and, with some changes, in the University of La Laguña, the Canary Islands, in September, 2003. They assume the audience knows some abstract homotopy theory and as Heiner Kamps was in the audience in Hagen, it is safe to assume that the notes assume a reasonable knowledge of our book, [26], or any equivalent text if one can be found! What do the notes set out to do? “Aims and Objectives! ” or should it be “Learning Outcomes”? • To revisit some oldish material on abstract homotopy and simplicially enriched categories, that seems to be being used in today’s resurgence of interest in the area and to try to view it in a new light, or perhaps from new directions; • To introduce Segal categories and various other tools used by the Nice-Toulouse group of abstract homotopy theorists and link them into some of the older ideas; • To introduce Joyal’s quasicategories, (previously called weak Kan complexes but I agree with André that his nomenclature is better so will adopt it) and show how that theory links in with some old ideas of Boardman and Vogt, Dwyer and Kan, and Cordier and myself; • To ask lots of questions of myself and of the reader. The notes include some material from the ‘Cubo ’ article, [35], which was itself based on notes for a course at the Corso estivo Categorie e Topologia in 1991, but the overlap has been kept as small as is feasible as the purpose and the audience of the two sets of notes are different and the abstract homotopy theory has ‘moved on’, in part, to try the new methods out on those same ‘old ’ problems and to attack new ones as well. As usual when you try to specify ‘learning outcomes ’ you end up asking who has done the learning, the audience? Perhaps. The lecturer, most certainly! 1

Abstract. Simplicial formal maps were introduced in the first paper of this series as a tool for studying Homotopy Quantum Field Theories with background a general homotopy 2-type. Here we continue their study, showing how a natural generalisation can handle much more general backgrounds. The question of the geometric interpretation of these formal maps is partially answered in terms of combinatorial bundles. This suggests new interpretations of HQFTs.