Related papers: Skew-closed categories
We introduce a notion of parity for formal morphisms between invertible objects and use it to prove a corresponding coherence theorem. Parity is conceptually similar to the sign of underlying permutations, but not defined as such. To give…
We show the existence of families of orthonormal, future directed bases which allow to cast every skew-symmetric endomorphism of $\mathbb{M}^{1,n}$ ($\mathrm{SkewEnd}(\mathbb{M}^{1,n})$) in a single canonical form depending on a minimal…
We study probabilistic variants of the Lusternik--Schnirelmann category and topological complexity, which bound the classical invariants from below. We present a number of computations illustrating both wide agreement and wide disagreement…
The concept of a skew root of a skew polynomial is used to introduce notions of algebraic closedness for $\sigma$-fields, that is, a field equipped with an endomorphism. It is shown that every $\sigma$-field can be embedded in algebraically…
This paper is part of a project that aims to give a homotopy cousin of Kelly's treatment of enriched category theory. After introducing unital co-Segal M-categories, we establish the unital version of a previous theorem that was proven for…
In \cite{LS14} the analogy between the Kleisli construction and the construction of "warping a skew monoidale category" in the sense of \cite{LS12} was outlined. In this note we present the same work in a slightly more formal way.
A new category of algebro-geometric objects is defined. This construction is a vast generalization of existing F1-theories, as it contains the the theory of monoid schemes on the one hand and classical algebraic theory, e.g. Grothendieck…
We introduce a coarse analog of the classical Lusternik-Schnirelmann category which we denote by $\text{c-cat}$, defined for metric spaces in the coarse homotopy category. This provides a new tool for studying large-scale topological…
In this article, we characterize convexity in terms of algebras over a PROP, and establish a tensor-product-like symmetric monoidal structure on the category of convex sets. Using these two structures, and the theory of $\scr{O}$-monoidal…
A unified theory of quantum symmetric pairs is applied to q-special functions. Previous work characterized certain left coideal subalgebras in the quantized enveloping algebra and established an appropriate framework for quantum zonal…
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…
We show that any preadditive infinity category with duality gives rise to a direct sum hermitian K-theory spectrum. This assignment is lax symmetric monoidal, thereby producing E-infinity ring spectra from preadditive symmetric monoidal…
Modern categories of spectra such as that of Elmendorf et al equipped with strictly symmetric monoidal smash products allows the introduction of symmetric monoids providing a new way to study highly coherent commutative ring spectra. These…
In this paper we realize the dynamical categories introduced in our previous paper as categories of modules over bialgebroids; we study the bialgebroids arising in this way. We define quasitriangular structure on bialgebroids and present…
Given an additive equational category with a closed symmetric monoidal structure and a potential dualizing object, we find sufficient conditions that the category of topological objects over that category has a good notion of full…
We propose a recursive definition of V-n-categories and their morphisms. We show that for V k-fold monoidal the structure of a (k-n)-fold monoidal strict (n+1)-category is possessed by V-n-Cat. This article is a completion of the work begun…
Generalized multicategories, also called $T$-monoids, are well known class of mathematical structures, which include diverse set of examples. In this paper we construct a generalization of the adjunction between strict monoidal categories…
We develop the theory of probabilistic variants of the one-category and diagonal topological complexity, which bound the classical LS-category and topological complexity from below. Unlike any other classical or probabilistic invariants,…
We develop a stable analogue to the theory of cosimplicial frames in model cagegories; this is used to enrich all homotopy categories of stable model categories over the usual stable homotopy category and to give a different description of…
Michael Farber introduced the Lusternik-Schnirelmann category cat$(M,\xi)$ for the pair of finite CW complex $M$ and first-order cohomology $\xi$. It is inspired by the Morse-Novikov theory, which is a closed 1-form version of the Morse…