Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work has shown that one can formulate and prove a wide variety of definitions and results from differential geometry in an arbitrary tangent category, including generalizations of vector fields and their Lie bracket, vector bundles, and connections.
In this paper we investigate differential and sector forms in tangent categories. We show that sector forms in any tangent category have a rich structure: they form a symmetric cosimplicial object. This appears to be a new result in differential geometry, even for smooth manifolds. In the category of smooth manifolds, the resulting complex of sector forms has a subcomplex isomorphic to the de Rham complex of differential forms, which may be identified with alternating sector forms. Further, the symmetric cosimplicial structure on sector forms arises naturally through a new equational presentation of symmetric cosimplicial objects, which we develop herein.
The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy theories, giving a Quillen equivalence between the model structures for quasi-categories and simplicial categories. The functor C also gives a cofibrant replacement for ordinary categories, regarded as trivial simplicial categories. However, the hom-spaces of the simplicial category CX arising from a quasi-category X are not well understood. We show that when X is…
Tangent categories are categories equipped with a tangent functor: an endofunctor with certain natural transformations which make it behave like the tangent bundle functor on the category of smooth manifolds. They provide an abstract setting for differential geometry by axiomatizing key aspects of the subject which allow the basic theory of these geometric settings to be captured. Importantly, they have models not only in classical differential geometry and its extensions, but also in algebraic geometry, combinatorics, computer science, and physics. This paper develops the theory of "different…
In this paper, we compare several functors which take simplicial categories or model categories to complete Segal spaces, which are particularly nice simplicial spaces which, like simplicial categories, can be considered to be models for homotopy theories. We then give a characterization, up to weak equivalence, of complete Segal spaces arising from these functors.
It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively.
In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.
We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and Riehl. We then construct a Quillen equivalent model based on simplicial presheaves over a category that can facilitate the comparison with other established models.
Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial monoids is Quillen equivalent to an appropriate model category structure on the category of simplicial spaces with a single point in degree zero. In this second model structure, the fibrant objects are reduced Segal categories. We then generalize the proof to relate simplicial categories with a fixed object set to Segal categories with the same fixed set in de…
Connections are an important tool of differential geometry. This paper investigates their definition and structure in the abstract setting of tangent categories. At this level of abstraction we derive several classically important results about connections, including the Bianchi identities, identities for curvature and torsion, almost complex structure, and parallel transport.
We define involution algebroids which generalise Lie algebroids to the abstract setting of tangent categories. As a part of this generalisation the Jacobi identity which appears in classical Lie theory is replaced by an identity similar to the Yang-Baxter equation. Every classical Lie algebroid has the structure of an involution algebroid and every involution algebroid in a tangent category admits a Lie bracket on the sections of its underlying bundle. As an illustrative application we take the first steps in developing the homotopy theory of involution algebroids.
We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of $(\infty,1)$-categories and $\infty$-operads. We give a characterization of the weak equivalences in terms of simplicial presheaves, simplicial algebras and slice categories. In the case of the Morita model structure for simplicial categories and simplicial operads, we also show that each of these model structures can be obtained as an explicit left Bousfield localization of the Bergner model structu…
We consider four categories: the category of diagrams of small categories indexed by a given small category O, the (comma) category of small categories over O, the category of diagrams of simplicial sets indexed by O, and the category of simplicial sets over the nerve of O. Fritsch and Golasinski claimed that these four categories have equivalent homotopy categories but, in fact, their proof contains an error and the homotopy categories are not equivalent with the weak equivalences they use in the comma categories. We show here that the correct weak equivalences are the ``weak fibre homotopy e…
In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a relative category that has the two out of six property and admits a 3-arrow calculus. We then show that Charles Rezk's result that the simplicial space obtained from a simplicial model category by taking a Reedy fibrant replacement of its simplicial nerve is a complete Segal space also holds for these partial model categories. We also note that conversely ever…
In this work we propose a realization of Lurie's prediction that inner fibrations $p: X \rightarrow A$ are classified by $A$-indexed diagrams in a ``higher category" whose objects are $\infty$-categories, morphisms are correspondences between them and higher morphisms are higher correspondences. We will obtain this as a corollary of a more general result which classifies all simplicial maps between ordinary simplicial sets in a similar fashion. Correspondences between simplicial sets (and $\infty$-categories) are a generalization of the concept of profunctor (or bimodule) pertaining to categor…
We put a model structure on the category of categories internal to simplicial sets whose weak equivalences are reflected by the nerve functor to bisimplicial sets with Rezk's model structure. This model structure is shown to be Quillen equivalent to Rezk's model structure, thus internal category are another model for $(\infty,1)$-categories.
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having an affine structure on a manifold is equivalent to having a flat torsion-free connection on its tangent bundle. This equivalence allows us to define a category of affine objects associated to a tangent category and we show that the resulting category is also a tangent category, as are several related categories. As a consequence of some of these ideas we al…
The present paper is devoted to study the homotopy category associated with a simplicial descent category (D,s,E) (arXiv:0808.3684v2). We prove that the class E of equivalences has a calculus of left fractions over a quotient category of D modulo homotopy. We study the fiber/cofiber sequences induced by a (co)simplicial descent structure. Examples of such fiber/cofiber sequences are deduced for (commutative) differential graded algebras, simplicial sets or topological spaces. We prove that the homotopy category of a stable simplicial descent category is triangulated. In addition, these triangu…
We show that the category of internal groupoids in an exact Mal'tsev category is reflective, and in fact a Birkhoff subcategory of the category of simplicial objects. We then characterize the central extensions of the corresponding Galois structure, and show that regular epimorphisms admit a relative monotone-light factorization system in the sense of Chikhladze. We also draw some comparison with Kan complexes. By comparing the reflections of simplicial objects and reflexive graphs into groupoids, we exhibit a connection with weighted commutators (as defined by Gran, Janelidze and Ursini).
This is the last part of a series of three strongly related papers in which three equivalent structures are studied: - internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans - crossed modules of monoids relative to this class of spans - simplicial monoids of so-called Moore length 1 relative to this class of spans. The most important examples of monoids that are covered are small categories (treated as monoids in categories of spans) and bimonoids in symmetric monoidal categories (regarded as monoids in categories of comonoids). In this …
Many monoidal-type objects are known to be classified by maps from the Catalan simplicial set $\mathbb{C}$ to various nerves of categories and higher categories. There are, for example, three different nerves of the 2-category of categories $\mathsf{Cat}$ with the property that maps from $\mathbb{C}$ into them are in one to one correspondence with strict monoidal, monoidal, and skew monoidal categories. In this last case, the classification result can be understood as justifying the definition of skew monoidal categories intrinsically in terms of the structure of $\mathbb{C}$. In this paper, w…
The aim of this paper is to prove a generalization of the famous Theorem A of Quillen for strict $\infty$-categories. This result is central to the homotopy theory of strict $\infty$-categories developed by the authors. The proof presented here is of a simplicial nature and uses Steiner's theory of augmented directed complexes. In a subsequent paper, we will prove the same result by purely $\infty$-categorical methods.
We put a Quillen model structure on the category of small categories enriched in simplicial $k$-modules and non-negatively graded chain complexes of $k$-modules, where $k$ is a commutative ring. The model structure is obtained by transfer from the model structure on simplicial categories due to J. Bergner.
This paper continues the development of a simplicial theory of weak omega-categories, by studying categories which are enriched in weak complicial sets. These complicial Gray-categories generalise both the Kan complex enriched categories of homotopy theory and the Gray-categories of weak 3-category theory. We derive a simplicial nerve construction, which is closely related to Cordier and Porter's homotopy coherent nerve, and show that this faithfully represents complicial Gray-categories as weak complicial sets. The category of weak complicial sets may itself be canonically enriched to a compl…
We characterize simplicial localization functors among relative functors from relative categories to simplicial categories as any choice of homotopy inverse to the delocalization functor of Dwyer and the second author.
We establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model category of simplicial operads to the model category structure for infinity-operads on the category of dendroidal sets. By slicing over the monoidal unit, this also gives the Quillen equivalence between Segal categories and simplicial categories proved by J. Bergner, as well as the Quillen equivalence between quasi-categories and simplicial categories proved by …
Tangent categories were introduced by Rosicky as a categorical setting for differential structures in algebra and geometry; in recent work of Cockett, Crutwell and others, they have also been applied to the study of differential structure in computer science. In this paper, we prove that every tangent category admits an embedding into a representable tangent category---one whose tangent structure is given by exponentiating by a free-standing tangent vector, as in, for example, any model of Kock and Lawvere's synthetic differential geometry. The key step in our proof uses a coherence theorem fo…
We address the (pointed) homotopy of crossed module morphisms in modified categories of interest; which generalizes the groups and various algebraic structures. We prove that, the homotopy relation gives rise to an equivalence relation; furthermore a groupoid structure, without any restriction on neither domain nor co-domain of the crossed module morphism. Additionally, we consider the particular cases such as associative algebras, Leibniz algebras, Lie algebras and dialgebras of crossed modules of this generalized homotopy definition. Then as the main part of the paper, we prove that the func…
In this note we show that a semisimplicial set with the weak Kan condition admits a simplicial structure, provided any object allows an idempotent self-equivalence. Moreover, any two choices of simplicial structures give rise to equivalent quasi-categories. The method is purely combinatorial and extends to semisimplicial objects in other categories; in particular to semi-simplicial spaces satisfying the Segal condition (semi-Segal spaces).
Theorem (after Giraud, SGA 4): Suppose $A$ is a simplicial category. The following conditions are equivalent: (i) There is a cofibrantly generated closed model category $M$ such that $A$ is equivalent to the Dwyer-Kan simplicial localization $L(M)$; (ii) $A$ admits all small homotopy colimits, and there is a small subset of objects of $A$ which are $A$-small, and which generate $A$ by homotopy colimits; (iii) There exists a small 1-category $C$ and a morphism $g:C\to A$ sending objects of $C$ to $A$-small objects, which induces a fully faithful inclusion $i:A\to \hat{C}$, such that $i$ admits …
The basic data for a skew-monoidal category are the same as for a monoidal category, except that the constraint morphisms are no longer required to be invertible. The constraints are given a specific orientation and satisfy Mac Lane's five axioms. Whilst recent applications justify the use of skew-monoidal structure, they do not give an intrinsic justification for the form the structure takes (the orientation of the constraints and the axioms that they satisfy). This paper provides a perspective on skew-monoidal structure which, amongst other things, makes it quite apparent why this particular…
Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and combinatorics. Generalizing the notion of (linear) connection on a smooth vector bundle, Cockett and Cruttwell have defined a notion of connection on a differential bundle in an arbitrary tangent category. Herein, we establish equivalent formulations of this notion of connection that reduce the amount of specified structure required. Further, one of our equ…
This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically meaningful. The most well-known two-fold structures are double categories, typically used to organize bimodules in various contexts. However there is no double category of spaces even though notions of bimodule are conceivable. We first remedy this defect of double category theory by constructing a meaningful simplicial category of spaces. Then we develop the a…
Thomason's Homotopy Colimit Theorem has been extended to bicategories and this extension can be adapted, through the delooping principle, to a corresponding theorem for diagrams of monoidal categories. In this version, we show that the homotopy type of the diagram can be also represented by a genuine simplicial set nerve associated with it. This suggests the study of a homotopy colimit theorem, for diagrams $\b$ of braided monoidal categories, by means of a simplicial set {\em nerve of the diagram}. We prove that it is weak homotopy equivalent to the homotopy colimit of the diagram, of simplic…
Both simplicial sets and simplicial spaces are used pervasively in homotopy theory as presentations of spaces, where in both cases we extract the "underlying space" by taking geometric realization. We have a good handle on the category of simplicial sets in this capacity; this is due to the existence of a suitable model structure thereon, which is particularly convenient to work with since it enjoys the technical properties of being *proper* and of being *cofibrantly generated*. This paper is devoted to showing that, if one is willing to work $\infty$-categorically, then one can manipulate sim…
The data of a physical experiment can be represented as a presheaf of probability distributions. A striking feature of quantum theory is that those probability distributions obtained in quantum mechanical experiments do not always admit a joint probability distribution, a celebrated observation due to Bell. Such distributions are called contextual. Simplicial distributions are combinatorial models that extend presheaves of probability distributions by elevating sets of measurements and outcomes to spaces. Contextuality can be defined in this generalized setting. This paper introduces the notio…
For a small category $\mathcal{D}$ we define fibrations of simplicial presheaves on the category $\mathcal{D}\timesΔ$, which we call localized $\mathcal{D}$-left fibration. We show these fibrations can be seen as fibrant objects in a model structure, the localized $\mathcal{D}$-covariant model structure, that is Quillen equivalent to a category of functors valued in simplicial presheaves on $\mathcal{D}$, where the Quillen equivalence is given via a generalization of the Grothendieck construction. We use our understanding of this construction to give a detailed characterization of fibrations a…
Much of the homotopical and homological structure of the categories of chain complexes and topological spaces can be deduced from the existence and properties of the 'simple' functors Tot : {double chain complexes} -> {chain complexes} and geometric realization : {sSets} -> {Top}, or similarly, Tot : {simplicial chain complexes} -> {chain complexes} and | | : {sTop} -> {Top}. The purpose of this thesis is to abstract this situation, and to this end we introduce the notion of '(co)simplicial descent category'. It is inspired by Guillen-Navarros's '(cubical) descent categories'. The key ingredie…
This paper develops the foundations of a simplicial theory of weak omega-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. The resulting theory of weak complicial sets provides a common generalisation of the theories of (strict) omega-categories, Kan complexes and Joyal's quasi-categories. We generalise a number of results due to the current author with regard to complicial sets and strict omega-categories to provide an armoury of well behaved technical devices, such as joins and Gray tensor products, which will be used to s…
We establish a Quillen model category structure on the category of symmetric simplicial multicategories. This model structure extends the model structure on simplicial categories due to J. Bergner.
We provide proofs of two properties of the model category dgCat of dg-categories (with the Morita or Dwyer-Kan model structure): When working over a field the category dgCat is left proper. Natural simplicial resolutions in dgCat are given by dg-categories of Maurer-Cartan elements.
Following the pattern from linear logic, the coKleisli category of a differential category is a Cartesian differential category. What then is the coEilenberg-Moore category of a differential category? The answer is a tangent category! A key example arises from the opposite of the category of Abelian groups with the free exponential modality. The coEilenberg-Moore category, in this case, is the opposite of the category of commutative rings. That the latter is a tangent category captures a fundamental aspect of both algebraic geometry and Synthetic Differential Geometry. The general result appli…
