ﻻ يوجد ملخص باللغة العربية
These are lecture notes for a 1-semester undergraduate course (in computer science, mathematics, physics, engineering, chemistry or biology) in applied categorical meta-language. The only necessary background for comprehensive reading of these notes are first-year calculus and linear algebra.
Parallel transport of a connection in a smooth fibre bundle yields a functor from the path groupoid of the base manifold into a category that describes the fibres of the bundle. We characterize functors obtained like this by two notions we introduce:
We give an elementary and direct combinatorial definition of opetopes in terms of trees, well-suited for graphical manipulation and explicit computation. To relate our definition to the classical definition, we recast the Baez-Dolan slice constructio
We prove that a quasi-bialgebra admits a preantipode if and only if the associated free quasi-Hopf bimodule functor is Frobenius, if and only if the relative (opmonoidal) monad is a Hopf monad. The same results hold in particular for a bialgebra, tig
It is known that the Grothendieck group of the category of Schur functors is the ring of symmetric functions. This ring has a rich structure, much of which is encapsulated in the fact that it is a plethory: a monoid in the category of birings with it
For two DG-categories A and B we define the notion of a spherical Morita quasi-functor A -> B. We construct its associated autoequivalences: the twist T of D(B) and the co-twist F of D(A). We give powerful sufficiency criteria for a quasi-functor to