Tensor-triangulated categories and dualities.
TFT Construction of RCFT correlators. V: Proof of modular invariance and factorisation.
The affineness criterion for quantum Hom-Yetter-Drinfel'd modules
Quantum integrals associated to quantum Hom-Yetter-Drinfel’d modules are defined, and the affineness criterion for quantum Hom-Yetter-Drinfel’d modules is proved in the following form. Let (H,α) be a monoidal Hom-Hopf algebra, (A,β) an (H,α)-Hom-bicomodule algebra and . Under the assumption that there exists a total quantum integral γ: H → Hom(H,A) and the canonical map , , is surjective, we prove that the induction functor is an equivalence of categories.
The algebraic groups leading to the Roth inequalities
We determine the algebraic groups which have a close relation to the Roth inequalities.
The associative operad and the weak order on the symmetric groups.
The Brauer and Brauer-Taylor groups of a symmetric monoidal category
The cartesian closed hull of the category of approach spaces
The cartesian closed topological hull of the category of completely regular filterspaces
The category of disintegration
The category of opetopes and the category of opetopic sets.
The catgorical theory of self-similarity.
The Chu construction.
The Chu construction: history of an idea.
The classifying topos of a continuous groupoid. II
The compositional construction of Markov processes II
We add sequential operations to the categorical algebra of weighted and Markov automata introduced in [L. de Francesco Albasini, N. Sabadini and R.F.C. Walters, arXiv:0909.4136]. The extra expressiveness of the algebra permits the description of hierarchical systems, and ones with evolving geometry. We make a comparison with the probabilistic automata of Lynch et al. [SIAM J. Comput. 37 (2007) 977–1013].
The compositional construction of Markov processes II
We add sequential operations to the categorical algebra of weighted and Markov automata introduced in [L. de Francesco Albasini, N. Sabadini and R.F.C. Walters, arXiv:0909.4136]. The extra expressiveness of the algebra permits the description of hierarchical systems, and ones with evolving geometry. We make a comparison with the probabilistic automata of Lynch et al. [SIAM J. Comput.37 (2007) 977–1013].
The convergence approach to exponentiable maps.
The existence and construction of Lax limits
The extensive completion of a distributive category.
The free adjunction