Related papers: General 2-Dimensional Adjunctions, Universal Monad…
In this article, the author analyses distributive and mixed distributive laws and some of their equivalences through the use of 2-adjunctions of the type $\Adj$-$\Mnd$. As far as the distributive laws are concerned, the equivalence between…
Some aspects of two-dimensional gravity coupled to matter fields, especially to the Sine-Gordon-model are examined. General properties and boundary conditions of possible soliton-solutions are considered. Analytic soliton-solutions are…
We categorify cocompleteness results of monad theory, in the context of pseudomonads. We first prove a general result establishing that, in any 2-category, weighted bicolimits can be constructed from oplax bicolimits and bicoequalizers of…
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…
Monads are well known to be equivalent to lax functors out of the terminal category. Morita contexts are here shown to be lax functors out of the chaotic category with two objects. This allows various aspects in the theory of Morita…
The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…
General static solutions of effectively 2-dimensional Einstein-Dilaton-Maxwell-Scalar theories are obtained. Our model action includes a class of 2-d dilaton gravity theories coupled with a $U(1)$ gauge field and a massless scalar field.…
Coherence theorems are fundamental to how we think about monoidal categories and their generalizations. In this paper we revisit Mac Lane's original proof of coherence for monoidal categories using the Grothendieck construction. This…
The symmetric space sine-Gordon models arise by conformal reduction of ordinary 2-dim $\sigma$-models, and they are integrable exhibiting a black-hole type metric in target space. We provide a Lagrangian formulation of these systems by…
We generalize the generating formula for plane partitions known as MacMahon's formula as well as its analog for strict plane partitions. We give a 2-parameter generalization of these formulas related to Macdonald's symmetric functions. The…
This thesis focuses on topics in 2-category theory: in particular on double categories, pseudomonads and codescent objects. In Chapter 2 we recall all the necessary notions. In Chapter 3 we show that factorization systems can be…
We prove a biadjoint triangle theorem and its strict version, which are $2$-dimensional analogues of the adjoint triangle theorem of Dubuc. Similarly to the $1$-dimensional case, we demonstrate how we can apply our results to get the…
The Maxwell group in 2+1 dimensions is given by a particular extension of a semi-direct product. This mathematical structure provides a sound framework to study different generalizations of the Maxwell symmetry in three space-time…
We generalize the notion of an anomaly for a symmetry to a noninvertible symmetry enacted by surface operators using the framework of condensation in 2-categories. Given a multifusion 2-category, potentially with some additional levels of…
It is known that the so-called monadic decomposition, applied to the adjunction connecting the category of bialgebras to the category of vector spaces via the tensor and the primitive functors, returns the usual adjunction between…
We define Frobenius-Eilenberg-Moore objects for a dagger Frobenius monad in an arbitrary dagger 2-category, and extend to the dagger context a well-known universal property of the formal theory of monads. We show that the free completion of…
We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunctors in the category of locales. The left adjoint takes a…
We develop the theory of strong and commutative monads in the 2-dimensional setting of bicategories. This provides a framework for the analysis of effects in many recent models which form bicategories and not categories, such as those based…
Recent work has shown that two-dimensional non-linear $\sigma$-models on group manifolds with Poisson-Lie symmetry can be understood within generalised geometry as exemplars of generalised parallelisable spaces. Here we extend this idea to…
We give an overview of the parts of arXiv:2004.04279 that deal with 2-categories, up to and including adjunction, and explain how the Segal-type approach to 2-categories adopted there is related to the more standard approaches. As an…