Related papers: Pseudo-functors modelling higher structures
We introduce a new way to encode semicyclic structures using a stack of broken cycles. (We also prove an analogue for paracyclic structures.) This was motivated not only by higher algebra but also by Fukaya-categorical considerations. We…
Classification is a core topic in functional data analysis. A large number of functional classifiers have been proposed in the literature, most of which are based on functional principal component analysis or functional regression. In…
In a previous paper, we developed general techniques for constructing a variety of pseudo-collars, as defined by Guilbault and Tinsley, with roots in earlier work by Chapman and Siebenmann. As an application of our techniques, we exhibited…
Two novel descriptions of weak {\omega}-categories have been recently proposed, using type-theoretic ideas. The first one is the dependent type theory CaTT whose models are {\omega}-categories. The second is a recursive description of a…
In this article, we present a geometric theoretical analysis of semidefinite feasibility problems (SDFPs). This is done by decomposing a SDFP into smaller problems, in a way that preserves most feasibility properties of the original…
We introduce a notion of quasi-weak equivalences associated with weak-equivalences in an exact category. It gives us a delooping for (idempotent complete) exact categories and a condition that the negative $K$-group of an exact category…
Fold functions are a general mechanism for computing over recursive data structures. First-order folds compute results bottom-up. With higher-order folds, computations that inherit attributes from above can also be expressed. In this paper,…
Interest in weak cubical n-categories arises in various contexts, in particular in topological field theories. In this paper, we describe a concept of double bicategory, namely a strict model of the theory of bicategories in Bicat. We show…
We construct a cubical analogue of the rigidification functor from quasi-categories to simplicial categories present in the work of Joyal and Lurie. We define a functor from the category of cubical sets of Doherty-Kapulkin-Lindsey-Sattler…
We introduce a new concept called uncertainty spaces which is an extended concept of probability spaces. Then, we express n-layer uncertainty which we call hierarchical uncertainty by a hierarchically constructed sequence of uncertainty…
By revisiting the notion of generalized second fundamental form originally introduced by Hutchinson for a special class of integral varifolds, we define a weak curvature tensor that is particularly well-suited for being extended to general…
In this paper we explore some properties of H-structures. We describe a construction of H-structures based on one-dimensional asymptotic classes which preserves pseudo-finiteness. That is, the H-structures we construct are ultraproducts of…
In this paper, we study the structure of a generalized near-group fusion category and classified it when it is slightly degenerate.
We generalize the notion of an exact category and introduce weakly exact categories. A proof of the snake lemma in this general setting is given. Some applications are given to illustrate how one can do homological algebra in a weakly exact…
The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) $\infty$-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. We show how to endow the…
We develop a new approach to highest weight categories $\cal{C}$ with good (and cogood) posets of weights via pseudocompact algebras by introducing ascending (and descending) quasi-hereditary pseudocompact algebras. For $\cal{C}$ admitting…
We present a definition of a (super)-modular functor which includes certain interesting cases that previous definitions do not allow. We also introduce a notion of topological twisting of a modular functor, and construct formally a…
For a collection of subcategories satisfying a fixed set of conditions, for example thick subcategories of a triangulated category, we define a topological space called classifying space of subcategories. We show that this space classifies…
We study the higher derived functors of the inverse limit of a functor F: D --> Z_{(p)}-mod, where D is one of the standard categories which arise when studying the homotopy theory of the classifying space of a finite group G, e.g., the…
We investigate fibrancy conditions in the Thomason model structure on the category of small categories. In particular, we show that the category of weak equivalences of a partial model category is fibrant. Furthermore, we describe…