Related papers: Generalized edgewise subdivisions
Given a planar algebra we show the equivalence of the notions of a module over this algebra (in the operadic sense), and module over a universal annular algebra. We classify such modules, with invariant inner products, in the generic region…
This is the first paper in a series. We develop a general deformation theory of objects in homotopy and derived categories of DG categories. Namely, for a DG module $E$ over a DG category we define four deformation functors $\Def ^{\h}(E)$,…
We relate endotrivial representations of a finite group in characteristic p to equivariant line bundles on the simplicial complex of non-trivial p-subgroups, by means of weak homomorphisms.
By applying simplification operations to categories of multigraphs, several natural graph operations are shown to demonstrate categorical issues. The replacement of an undirected edge with a directed cycle for digraphs admits both a left…
It is shown how double categories provide a direct abstract approach to coloured operads; namely, product-preserving normal lax functors from (Pb C)^op (the opposite of the double category of pullback squares in C) to Cat (the double…
We define an abstract framework called {\it discrete finite differences embedding} which can be used to obtain discrete analogue of formal functional relations in the spirit of category theory. For ordinary differential equations we exhibit…
We provide a framework to triangulate subfactor categories of additive categories with additive endofunctors. It is proved that such a framework is sufficiently flexible to cover many instances in algebra and geometry where abelian, exact…
In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…
In functional programming languages, generalized algebraic data types (GADTs) are very useful as the unnecessary pattern matching over them can be ruled out by the failure of unification of type arguments. In dependent type systems, this is…
In this note, we study the connection between Gray tensor product and suspension. We derive a characterization of weak equivalences as fully faithful and essentially surjective functors. We construct the $co$ duality, a weak involution that…
The Frobenius-Perron theory of an endofunctor of a category was introduced in recent years [12, 13]. We apply this theory to monoidal (or tensor) triangulated structures of quiver representations.
We introduce a general unifying framework for the investigation of pointlike sets. The pointlike functors are considered as distinguished elements of a certain lattice of subfunctors of the power semigroup functor; in particular, we exhibit…
We initiate the systematic study of modular representations of symmetric groups that arise via the braiding in (symmetric) tensor categories over fields of positive characteristic. We determine what representations appear for certain…
It is known that there is a weak-equivalence between the geometric realization of a simplicially enriched small category and its cofibrant replacement [12]. In this paper, we show that when only small categories are considered there exists…
We give the definition of presentations of linear monoidal categories. Our main result is that given a presentation of a linear monoidal category, we can produce a presentation of the same category as a linear category. We apply this result…
We give a categorical treatment, in the spirit of Baez and Fritz, of relative entropy for probability distributions defined on standard Borel spaces. We define a category suitable for reasoning about statistical inference on standard Borel…
A duoidal category is a category equipped with two monoidal structures in which one is (op)lax monoidal with respect to the other. In this paper we introduce duoidal $\infty$-categories which are counterparts of duoidal categories in the…
Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
In this paper we study grouplike monoids, these are monoids that contain a group to which we add an ordered set of idempotents. We classify finite categories with two objects having grouplike endomorphism monoids, and we give a count of…