Related papers: Lax distributive laws for topology, II

We study random 2-dimensional complexes in the Linial - Meshulam model and find torsion in their fundamental groups at various regimes. We find a simple algorithmically testable criterion for a subcomplex of a random 2-complex to be…

In this article we extend the theory of lax monoidal structures, also known as multitensors, and the monads on categories of enriched graphs that they give rise to. Our first principal result -- the lifting theorem for multitensors --…

We define and study the 2-category of torsors over a Picard groupoid, a central extension of a group by a Picard groupoid, and commutator maps in this central extension. Using it in the context of two-dimensional local fields and…

In this paper we redevelop the foundations of the category theory of quasi-categories (also called infinity-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among…

Using cohomological methods, we prove the existence of a subgroup isomorphic to SL(2,q), q = -1 (mod 4), in the permutation module for PSL(2,q) in characteristic 2 that arises from the action on the projective line. A similar problem for q…

We establish the equivalence between models of enhanced $2$-sketches and algebras over monads, including the (co)lax morphisms. More precisely, for any enhanced limit $2$-sketch $\mathbb{T}$ with tight cones, the enhanced $2$-category…

This paper is a contribution towards a two dimensional extension of the basic ideas and results of Janelidze-Galois theory. In the present paper, we give a suitable counterpart notion to that of \textit{absolute admissible Galois structure}…

We study the bi-dimensional $q$-Potts model with long-range bond correlated disorder. Similarly to [C. Chatelain, Phys. Rev. E 89, 032105], we implement a disorder bimodal distribution by coupling the Potts model to auxiliary…

Given a pseudomonad $\mathcal{T} $, we prove that a lax $\mathcal{T} $-morphism between pseudoalgebras is a $\mathcal{T} $-pseudomorphism if and only if there is a suitable (possibly non-canonical) invertible $\mathcal{T} $-transformation.…

We study four types of (co)cartesian fibrations of $\infty$-bicategories over a given base $\mathcal{B}$, and prove that they encode the four variance flavors of $\mathcal{B}$-indexed diagrams of $\infty$-categories. We then use this…

Motivated by recent work on weak distributive laws and their applications to coalgebraic semantics, we investigate the algebraic nature of semialgebras for a monad. These are algebras for the underlying functor of the monad subject to the…

Containers are used to carve out a class of strictly positive data types in terms of shapes and positions. They can be interpreted via a fully-faithful functor into endofunctors on Set. Monadic containers are those containers whose…

This is the introductory chapter of my PhD Thesis. This thesis consists of one introductory chapter and four single-authored papers written during my PhD studies at the University of Coimbra under supervision of Maria Manuel Clementino. In…

We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives…

Monads are commonplace in computer science, and can be composed using Beck's distributive laws. Unfortunately, finding distributive laws can be extremely difficult and error-prone. The literature contains some general principles for…

Among Thurston maps (orientation-preserving, postcritically finite branched coverings of the 2-sphere to itself), those that arise as subdivision maps of a finite subdivision rule form a special family. For such maps, we investigate…

We analyze the distribution of unitarized L-polynomials Lp(T) (as p varies) obtained from a hyperelliptic curve of genus g <= 3 defined over Q. In the generic case, we find experimental agreement with a predicted correspondence (based on…

Let L be a complete lattice and let Q(L) be the unital quantale of join-continuous endo-functions of L. We prove the following result: Q(L) is an involutive (that is, non-commutative cyclic $\star$-autonomous) quantale if and only if L is a…

We prove the $\mathbb{Q}$-factoriality of a nodal hypersurface in $\mathbb{P}^{4}$ of degree $n$ with at most ${\frac{(n-1)^{2}}{4}}$ nodes and the $\mathbb{Q}$-factoriality of a double cover of $\mathbb{P}^{3}$ branched over a nodal…

In this paper, we present a theory of Poisson deformation of Hamiltonian quasi-Poisson manifolds to Hamiltonian Poisson manifolds that include degenerate cases. More significantly, this theory extends to singular cases arising from…