Related papers: Free globularily generated double categories

This paper contains results from two areas -- formal theory of Kan extensions and concrete categories. The contribution to the former topic is based on the extension of the concept of Kan extension to the cones and we prove that limiting…

In this paper we discuss gauging noninvertible zero-form symmetries in two dimensions. We specialize to certain gaugeable cases, specifically, fusion categories of the form Rep(H) for H a suitable Hopf algebra (which includes the special…

In the author's Ph.D., a version of the tangential LS category for foliated spaces depending on a transverse invariant measure, called the measured category, was introduced. Unfortunately, the measured category vanishes easily. When it is…

We show that a free product of a II_1-factor and a finite von Neumann algebra with amalgamation over a finite dimensional subalgebra is always a II_1-factor, and provide an algorithm for describing it in terms of free products (with…

In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical…

Fong developed `decorated cospans' to model various kinds of open systems: that is, systems with inputs and outputs. In this framework, open systems are seen as the morphisms of a category and can be composed as such, allowing larger open…

We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V. This includes classical enriched categories, indexed and fibered…

The free product of an arbitrary pair of finite hyperfinite von Neumann algebras is examined, and the result is determined to be the direct sum of a finite dimensional algebra and an interpolated free group factor $L(\freeF_r)$. The finite…

We classify the finite groups $G$ such that the group of units of the integral group ring ${\mathbb Z} G$ has a subgroup of finite index which is a direct product of free-by-free groups.

We develop a first order formalism for constructing gravitational duals of conformal defects in a bottom up approach. Similarly as for the flat domain walls a single function specifies the solution completely. Using this formalism we…

In this paper we consider categories over a commutative ring provided either with a free action or with a grading of a not necessarily finite group. We define the smash product category and the skew category and we show that these…

We adapt the Ping-Pong Lemma, which historically was used to study free products of groups, to the setting of the homeomorphism group of the unit interval. As a consequence, we isolate a large class of generating sets for subgroups of…

We construct a long exact sequence computing the obstruction space, pi_1(BrPic(C_0)), to G-graded extensions of a fusion category C_0. The other terms in the sequence can be computed directly from the fusion ring of C_0. We apply our result…

It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…

In this paper we develop a duality theory for all finite-dimensional near-vector spaces and introduce a notion of inner product tailored to the broad and natural class of strongly regular near-vector spaces. This generalized construction…

The fully matricial generalization in part I, of the difference quotient derivation on holomorphic functions, in which ${\mathbb C}$ is replaced by a Banach algebra $B$, is extended from the affine case to a Grassmannian completion. The…

A complete classification of finitely generated involutive commutative two-valued groups is obtained. Three series of such two-valued groups are constructed: principal, unipotent and special, and it is shown that any finitely generated…

The aim is the theorems of the title and the corollary that the tensor product of two free crossed resolutions of groups or groupoids is also a free crossed resolution of the product group or groupoid. The route to this corollary is through…

In this work, I address a primary issue with adapting categorical and algebraic concepts to functional analytic settings, the lack of free objects. Using a "normed set" and associated categories, I describe constructions of normed objects,…

Orthogonality is a notion based on the duality between programs and their environments used to determine when they can be safely combined. For instance, it is a powerful tool to establish termination properties in classical formal systems.…