Related papers: The Equivalence Extension Property and Model Struc…

We discuss gauge theories of the Yang-Mills kind in finite regions with boundaries, and in particular the definition of the corresponding quasi-local degrees of freedom and their gluing upon composition of the underlying regions. Although…

We construct a model structure on the category of small categories enriched over a combinatorial closed symmetric monoidal model category satisfying the monoid axiom. Weak equivalences are Dwyer-Kan equivalences, i.e. enriched functors…

We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to…

A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proof-structures that are…

After discussing some general problems for heterotic compactifications involving fivebranes we construct bundles, built as extensions, over an elliptically fibered Calabi-Yau threefold. For these we show that it is possible to satisfy the…

We propose a general method for constructing boundary integrable Gaudin models associated with (twisted) affine algebras ${\cal G}^{(k)} (k=1, 2)$, where ${\cal G}$ is a simple Lie algebra or superalgebra. Many new integrable Gaudin models…

In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…

We present a general procedure for constructing triangulated categories, linear over a field, with distinct enhancements. Some of our examples can be equipped with a (non-degenerate) t-structure, thereby showing that the existence of a…

In this short \'etude, we observe that the full structure of a recollement on a stable infinity-category can be reconstructed from minimal data: that of a reflective and coreflective full subcategory. The situation has more symmetry than…

We establish a functor $Kan$ from local Kan simplicial manifolds to weak Kan simplicial manifolds. It gives a solution to the problem of extending local Lie groupoids to Lie 2-groupoids.

We prove that four different ways of defining Cartesian fibrations and the Cartesian model structure are all Quillen equivalent: On marked simplicial sets, on bisimplicial spaces, on bisimplicial sets, on marked simplicial spaces. The main…

We prove that the projective model structure on the category of unbounded cochain complexes extends naturally to the category of contractions. The proof is completely elementary and we do not assume familiarity with model categories.

Using the machinery of weak fibration categories due to Schlank and the first author, we construct a convenient model structure on the pro-category of separable $C^*$-algebras $\mathrm{Pro}(\mathtt{SC^*})$. The opposite of this model…

Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison…

Interpreting entwining structures as special instances of J. Beck's distributive law, the concept of entwining module can be generalized for the setting of arbitrary monoidal category. In this paper, we use the distributive law formalism to…

Basic aspects of the equiaffine geometry of level sets are developed systematically. As an application there are constructed families of $2n$-dimensional nondegenerate hypersurfaces ruled by $n$-planes, having equiaffine mean curvature…

We glue two manifolds which have curvature operators at least k (in the sense of eigenvalues) along their common boundary. We show that if the sum of the second fundamental forms of the boundary is positive semidefinite, then the curvature…

We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and…

We develop the notions of connections and curvature for general Lie-Rinehart algebras without using smoothness assumptions on the base space. We present situations when a connection exists. E.g., this is the case when the underlying module…

We consider the construction of $SU(2)_{L}\otimes SU(2)_{R}\otimes SU(4)$ partial unification models as an example of phenomenologically acceptable unification models in the absence of supersymmetry in non-commutative geometry. We exploit…