arXiv subjects

Ignacio Lopez Franco

Publications and source records attributed to Ignacio Lopez Franco.

9 recordsLinked to original sources

arXiv2026

Measuring Comodules and Enrichment

This paper extends the theory of universal measuring comonoids to modules and comodules in braided monoidal categories. We generalise the universal measuring comodule Q(M,N), originally introduced for modules over k-algebras when k is a field, to arbitrary braided monoidal categories. In order to establish its existence, we prove a representability theorem for presheaves on opfibred categories and an adjoint functor theorem for opfibred functors. The global categories of modules and comodules, fibred and opfibred over monoids and comonoids respectively, are shown to exhibit an enrichment of modules in comodules. Additionally, we use our framework to study higher derivations of algebras and modules, defining along the way the non-commutative Hasse-Schmidt algebra.

math.CT↗

arXiv2019

Cofibrantly generated lax orthogonal factorisation systems

The present note has three aims. First, to complement the theory of cofibrant generation of algebraic weak factorisation systems (AWFSs) to cover some important examples that are not locally presentable categories. Secondly, to prove that cofibrantly KZ-generated AWFSs (a notion we define) are always lax orthogonal. Thirdly, to show that the two known methods of building lax orthogonal AWFSs, namely cofibrantly KZ-generation and the method of "simple adjunctions", construct different AWFSs. We study in some detail the example of cofibrant KZ-generation that yields representable multicategories, and a counterexample to cofibrant generation provided by continuous lattices.

math.CT↗

arXiv2017

Lax orthogonal factorisations in monad-quantale-enriched categories

We show that, for a quantale $V$ and a $\mathsf{Set}$-monad $\mathbb{T}$ laxly extended to $V$-$\mathsf{Rel}$, the presheaf monad on the category of $(\mathbb{T},V)$-categories is simple, giving rise to a lax orthogonal factorisation system (lofs) whose corresponding weak factorisation system has embeddings as left part. In addition, we present presheaf submonads and study the LOFSs they define. This provides a method of constructing weak factorisation systems on some well-known examples of topological categories over $\mathsf{Set}$.

math.CT↗

arXiv2017

Lax orthogonal factorisations in ordered structures

We give an account of lax orthogonal factorisation systems on order-enriched categories. Among them, we define and characterise the KZ-reflective ones, in a way that mirrors the characterisation of reflective orthogonal factorisation systems. We use simple monads to construct lax orthogonal factorisation systems, such as one on the category of T_0 topological spaces closely related to continuous lattices.

math.CT↗

arXiv2017

Monads on higher monoidal categories

We study the action of monads on categories equipped with several monoidal structures. We identify the structure and conditions that guarantee that the higher monoidal structure is inherited by the category of algebras over the monad. Monoidal monads and comonoidal monads appear as the base cases in this hierarchy. Monads acting on duoidal categories constitute the next case. We cover the general case of $n$-monoidal categories and discuss several naturally occurring examples in which $n\leq 3$.

math.CT↗

arXiv2016

Lax orthogonal factorisation systems

This paper introduces lax orthogonal algebraic weak factorisation systems on 2-categories and describes a method of constructing them. This method rests in the notion of simple 2-monad, that is a generalisation of the simple reflections studied by Cassidy, Hébert and Kelly. Each simple 2-monad on a finitely complete 2-category gives rise to a lax orthogonal algebraic weak factorisation system, and an example of a simple 2-monad is given by completion under a class of colimits. The notions of KZ lifting operation, lax natural lifting operation and lax orthogonality between morphisms are studied.

math.CT↗

arXiv2016

Hopf measuring comonoids and enrichment

We study the existence of universal measuring comonoids $P(A,B)$ for a pair of monoids $A$, $B$ in a braided monoidal closed category, and the associated enrichment of a category of monoids over the monoidal category of comonoids. In symmetric categories, we show that if $A$ is a bimonoid and $B$ is a commutative monoid, then $P(A,B)$ is a bimonoid; in addition, if $A$ is a cocommutative Hopf monoid then $P(A,B)$ always is Hopf. If $A$ is a Hopf monoid, not necessarily cocommutative, then $P(A,B)$ is Hopf if the fundamental theorem of comodules holds; to prove this we give an alternative description of the dualizable $P(A,B)$-comodules and use the theory of Hopf (co)monads. We explore the examples of universal measuring comonoids in vector spaces and graded spaces.

math.CT↗

arXiv2012

Tensor products of finitely cocomplete and abelian categories

The purpose of this article is to study the existence of Deligne's tensor product of abelian categories by comparing it with the well-known ten- sor product of finitely cocomplete categories. The main result states that the former exists precisely when the latter is an abelian category, and moreover in this case both tensor products coincide. An example of two abelian categories whose Deligne tensor product does not exist is given.

math.CT↗

arXiv2008

Monoidal categories of comodules for coquasi Hopf algebras and Radford's formula

We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the category of Hopf modules. We present a categorical proof of Radford's $S^4$ formula for the case of a finite dimensional coquasi Hopf algebra, by establishing a monoidal isomorphism between certain double dual functors.

math.QA↗