Related papers: Limits of bimorphic lenses

We study the optic control for birefringence of a polarized light by an atomic ensemble with a tripod configuration, which is mediated by the electromagnetically induced transparency with a spatially inhomogeneous laser. The atom ensemble…

We give necessary and sufficient conditions for Riemannian maps to be biharmonic. We also define pseudo umbilical Riemannian maps as a generalization of pseudo-umbilical submanifolds and show that such Riemannian maps put some restrictions…

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category…

This paper proves three different coherence theorems for symmetric monoidal bicategories. First, we show that in a free symmetric monoidal bicategory every diagram of 2-cells commutes. Second, we show that this implies that the free…

Structured light illumination is an active 3-D scanning technique based on projecting/capturing a set of striped patterns and measuring the warping of the patterns as they reflect off a target object's surface. As designed, each pixel in…

This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically…

System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the…

We give a complete classification of local and global conformal biharmonic maps between any two space forms by proving that a conformal map between two space forms is proper biharmonic if and only if the dimension is 4, the domain is flat,…

To a bicomplex one can associate two natural filtrations, the column and row filtrations, and then two associated spectral sequences. This can be generalized to $N$-multicomplexes. We present a family of model category structures on the…

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 define a simpler notion of symmetric topological complexity more ad hoc to the motion planning problem which was the original motivation for the definition of topological complexity. This is a homotopy invariant that we call…

Semibiproducts of monoids are introduced here as a common generalization to biproducts (of abelian groups) and to semidirect products (of groups) for exploring a wide class of monoid extensions. More generally, abstract semibiproducts exist…

We develop a theory of limits for sequences of dense abstract simplicial complexes, where a sequence is considered convergent if its homomorphism densities converge. The limiting objects are represented by stacks of measurable [0,1]-valued…

We consider the structures given by repeatedly generalising the definition of finite state automata by symmetry considerations, and constructing analogues of transition monoids at each step. This approach first gives us non-deterministic…

A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…

Spin glasses are disordered magnetic systems that exhibit a variety of properties that are characteristic of complex systems. After a brief review of basic spin glass concepts, their use in areas such as computer science, biology, and other…

If $\mathbf{C}$ is a category with pullbacks then there is a bicategory with the same objects as $\mathbf{C}$, spans as morphisms, and maps of spans as 2-morphisms, as shown by Benabou. Fong has developed a theory of "decorated" cospans,…

We define a tensor product for permutative categories and prove a number of key properties. We show that this product makes the 2-category of permutative categories closed symmetric monoidal as a bicategory.

Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…

We show that 2-categories of the form $\mathscr{B}\mbox{-}\mathbf{Cat}$ are closed under slicing, provided that we allow $\mathscr{B}$ to range over bicategories (rather than, say, monoidal categories). That is, for any…