Related papers: A coherence theorem for pseudonatural transformati…

We introduce two novel complementary notions of the Lefschetz number for a functor from a finite acyclic category to itself and we prove a Lefschetz fixed-object theorem and a Lefschetz fixed-morphism theorem. In order to do so, we use the…

Modules for sesquiads and congruence schemes are introduced. It is shown that the corresponding categories are belian and that base change functors establish an ascent datum which allows for a cohomology theory to be established.

A well-known result of SGA4 shows how to compute the pseudo-colimit of a category-valued pseudo-functor on a 1-category. The main result of this paper gives a generalization of this computation by constructing the weighted pseudo-colimit of…

We prove existence of equalizers in certain categories of cocomplete cocategories. This allows us to complete the proof of the fact that A-infinity functor categories arise as internal Hom-objects in the category of differential graded…

We provide a new and very short proof of the fact that a spherical functor between certain triangulated categories induces an autoequivalence.

Orbifolds of two-dimensional quantum field theories have a natural formulation in terms of defects or domain walls. This perspective allows for a rich generalisation of the orbifolding procedure, which we study in detail for the case of…

Let $S$ be a right group. Then there exist two congruences $\sim$ and $\equiv$ on $S$ such that $S$ is the product of its quotient semigroups $S/{\sim}$ and $S/{\equiv}$, where $S/{\sim}$ is a group and $S/{\equiv}$ is a right zero…

We formulate semi-classical field theory as an approximate decoherence-free-subspace of a finite-dimensional quantum-gravity hilbert space. A complementarity construction can be realized as a unitary transformation which changes the…

We study algebraic varieties parametrized by topological spaces and enlarge the domains of Lawson homology and morphic cohomology to this category. We prove a Lawson suspension theorem and splitting theorem. A version of Friedlander-Lawson…

We define natural A_infinity-transformations and construct A_infinity-category of A_infinity-functors. The notion of non-strict units in an A_infinity-category is introduced. The 2-category of (unital) A_infinity-categories, (unital)…

Coherence is a familiar concept in physics: It is the driving force behind wavelike phenomena such as the diffraction of light. Moreover, wave-particle duality implies that all quantum objects can exhibit coherence, and this quantum…

Using cohomology of categories with coefficients in natural systems it is proved that a groupoid enrichad category with pseudoproducts is pseudoequivalent to one with strict products.

This paper is an attempt to solve the following problem: given a logic, how to turn it into a paraconsistent one? In other words, given a logic in which \emph{ex falso quodlibet} holds, how to convert it into a logic not satisfying this…

This paper formulates a notion of independence of subobjects of an object in a general (i.e. not necessarily concrete) category. Subobject independence is the categorial generalization of what is known as subsystem independence in the…

Covariant, self-interacting scalar quantum field theories admit solutions for low enough spacetime dimensions, but when additional divergences appear in higher dimensions, the traditional approach leads to results, such as triviality, that…

A construction of Wehrheim and Woodward circumvents the problem that compositions of smooth canonical relations are not always smooth, building a category suitable for functorial quantization. To apply their construction to more examples,…

We recall the notions of a graded cocategory, conilpotent cocategory, morphisms of such (cofunctors), coderivations and define their analogs in $\mathbb L$-filtered setting. The difference with the existing approaches: we do not impose any…

We investigate the relationship between two properties of quantum transformations often studied in popular subtheories of quantum theory: covariance of the Wigner representation of the theory and the existence of a transformation…

The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…

Let $(G,\pmb{+})$ be any given semimodule over a discrete semiring $(R,+,\cdot)$ with a finite coloring, say $G=B_1\cup\dotsm\cup B_q$. By establishing a Regional Multiple Recurrence Theorem for semimodules, we prove that one of the colors…