Related papers: On Hofmann-Streicher universes
In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…
We study $\infty$-categories in the synthetic simplicial type theory developed by Riehl and Shulman. In particular, we define cocartesian fibrations and prove their closure properties using a novel equivalence between LARI adjunctions and…
The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…
We study a commutant-closed collection of von Neumann algebras acting on a common Hilbert space indexed by a poset with an order-reversing involution. We give simple geometric axioms for the poset which allow us to construct a braided…
We show that genus-one fibrations lacking a global section fit naturally into the geometric moduli space of Weierstrass models. Elliptic fibrations with multiple sections (nontrivial Mordell-Weil rank), which give rise in F-theory to…
Recent work on Euler hierarchies of field theory Lagrangians iteratively constructed {}from their successive equations of motion is briefly reviewed. On the one hand, a certain triality structure is described, relating arbitrary field…
Given an operad $\mathcal{O}$, we define a notion of weak $\mathcal{O}$-monoids -- which we term $\mathcal{O}$-pseudomonoids -- in a 2-category. In the special case with the 2-category in question is the 2-category $\mathsf{Cat}$ of…
The goal of the present paper is to compare, in a precise way, two notions of operads up to homotopy which appear in the literature. Namely, we construct a functor from the category of strict unital homotopy colored operads to the category…
Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…
We study a generalization of the Svarc genus of a fiber map. For an arbitrary collection E of spaces and a map f:X-->Y, we define a numerical invariant, the E-sectional category of f, in terms of open covers of Y. We obtain several basic…
The aim of this paper is to generalize Grothendieck's theory of smooth functors in order to include within this framework the theory of fibered categories. We obtain in particular a new characterization of fibered categories.
We introduce a topological variant of the Grothendieck construction which serves to represent every fiber bundle over an Alexandroff space. Using this result we give a classification theorem for fiber bundles over Alexandroff spaces with…
In this work we construct a compactly generated tensor-triangulated stable category for a large class of infinite groups, including those in Kropholler's hierarchy $\mathrm{LH}\mathfrak{F}$. This can be constructed as the homotopy category…
We introduce a diagram category, study its structure, and investigate some of its applications to the representation theory of Lie algebras and Lie superalgebras. The morphisms of the category, which contains a subcategory isomorphic to the…
We study the unitarizability of premodular categories constructed from representations of quantum group at roots of unity. We introduce \emph{Grothendieck unitarizability} as a natural generalization of unitarizability to any class of…
Cofibrations are defined in the category of Fr\"olicher spaces by weakening the analog of the classical definition to enable smooth homotopy extensions to be more easily constructed, using flattened unit intervals. We later relate smooth…
Let $\mathcal{C}$ be a small category, $\mathfrak{A}$ be a precosheaf of unital $k$-algebras on $\mathcal{C}$ and $\mathfrak{M}$ be an $\mathfrak{A}$-bimodule. We introduce two new notions, namely, the Grothendieck construction…
We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular,…
By an $\ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$-groups, those $\ell$-groups having a distinguished order-unit $u$. Using the duality…
This paper constructs a novel Hopf algebra $\mathsf{cf}(\mathrm{UT}_{\bullet})$ on the class functions of the unipotent upper triangular groups $\mathrm{UT}_{n}(\mathbb{F}_{q})$ over a finite field. This construction is representation…