BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Rory B. B. Lucyshyn-Wright

Rory B. B. Lucyshyn-Wright contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CTmath.FALogic in Computer Sciencemath.LOmath.ACmath.AGmath.GNmath.KT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
8topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

Bifold algebras and commutants for enriched algebraic theories

Commuting pairs of algebraic structures on a set have been studied by several authors and may be described equivalently as algebras for the tensor product of Lawvere theories, or more basically as certain bifunctors that here we call bifold algebras. The much less studied notion of commutant for Lawvere theories was first introduced by Wraith and generalizes the notion of centralizer clone in universal algebra. Working in the general setting of enriched algebraic theories for a system of arities, we study the interaction of the concepts of bifold algebra and commutant. We show that the notion of commutant arises via a universal construction in a two-sided fibration of bifold algebras over various theories. On this basis, we study special classes of bifold algebras that are related to commutants, introducing the notions of commutant bifold algebra and balanced bifold algebra. We establish several adjunctions and equivalences among these categories of bifold algebras and related categories of algebras over various theories, including commutative, contracommutative, saturated, and balanced algebras. We also survey and develop examples of commutant bifold algebras, including examples that employ Pontryagin duality and a theorem of Ehrenfeucht and Łoś on reflexive abelian groups. Along the way, we develop a functorial treatment of fundamental aspects of bifold algebras and commutants, including tensor products of theories and the equivalence of bifold algebras and commuting pairs of algebras. Because we work relative to a (possibly large) system of arities in a closed category $\mathcal{V}$, our main results are applicable to arbitrary $\mathcal{V}$-monads on a finitely complete $\mathcal{V}$, the enriched theories of Borceux and Day, the enriched Lawvere theories of Power relative to a regular cardinal, and other notions of algebraic theory.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Locally bounded enriched categories

We define and study the notion of a locally bounded enriched category over a (locally bounded) symmetric monoidal closed category, generalizing the locally bounded ordinary categories of Freyd and Kelly. In addition to proving several general results for constructing examples of locally bounded enriched categories and locally bounded closed categories, we demonstrate that locally bounded enriched categories admit fully enriched analogues of many of the convenient results enjoyed by locally bounded ordinary categories. In particular, we prove full enrichments of Freyd and Kelly's reflectivity and local boundedness results for orthogonal subcategories and categories of models for sketches and theories. We also provide characterization results for locally bounded enriched categories in terms of enriched presheaf categories, and we show that locally bounded enriched categories admit useful adjoint functor theorems and a representability theorem. We also define and study the notion of $α$-bounded-small weighted limit enriched in a locally $α$-bounded closed category, which parallels Kelly's notion of $α$-small weighted limit enriched in a locally $α$-presentable closed category, and we show that enriched categories of models of $α$-bounded-small weighted limit theories are locally $α$-bounded.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Presentations and algebraic colimits of enriched monads for a subcategory of arities

We develop a general framework for studying signatures, presentations, and algebraic colimits of enriched monads for a subcategory of arities, even when the base of enrichment $\mathcal{V}$ is not locally presentable. When $\mathcal{V}$ satisfies the weaker requirement of local boundedness, the resulting framework is sufficiently general to apply to the $Φ$-accessible monads of Lack and Rosický and the $\mathcal{J}$-ary monads of the first author, while even without local boundedness our framework captures in full generality the presentations of strongly finitary monads of Lack and Kelly as well as Wolff's presentations of $\mathcal{V}$-categories by generators and relations. Given any small subcategory of arities $j : \mathcal{J} \hookrightarrow \mathcal{C}$ in an enriched category $\mathcal{C}$, satisfying certain assumptions, we prove results on the existence of free $\mathcal{J}$-ary monads, the monadicity of $\mathcal{J}$-ary monads over $\mathcal{J}$-signatures, and the existence of algebraic colimits of $\mathcal{J}$-ary monads. We study a notion of presentation for $\mathcal{J}$-ary monads and show that every such presentation presents a $\mathcal{J}$-ary monad. Certain of our results generalize earlier results of Kelly, Power, and Lack for finitary enriched monads in the locally finitely presentable setting, as well as analogous results of Kelly and Lack for strongly finitary monads on cartesian closed categories. Our main results hold for a wide class of subcategories of arities in locally bounded enriched categories.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Enriched algebraic theories and monads for a system of arities

Under a minimum of assumptions, we develop in generality the basic theory of universal algebra in a symmetric monoidal closed category $\mathcal{V}$ with respect to a specified system of arities $j:\mathcal{J} \hookrightarrow \mathcal{V}$. Lawvere's notion of algebraic theory generalizes to this context, resulting in the notion of single-sorted $\mathcal{V}$-enriched $\mathcal{J}$-cotensor theory, or $\mathcal{J}$-theory for short. For suitable choices of $\mathcal{V}$ and $\mathcal{J}$, such $\mathcal{J}$-theories include the enriched algebraic theories of Borceux and Day, the enriched Lawvere theories of Power, the equational theories of Linton's 1965 work, and the $\mathcal{V}$-theories of Dubuc, which are recovered by taking $\mathcal{J} = \mathcal{V}$ and correspond to arbitrary $\mathcal{V}$-monads on $\mathcal{V}$. We identify a modest condition on $j$ that entails that the $\mathcal{V}$-category of $\mathcal{T}$-algebras exists and is monadic over $\mathcal{V}$ for every $\mathcal{J}$-theory $\mathcal{T}$, even when $\mathcal{T}$ is not small and $\mathcal{V}$ is neither complete nor cocomplete. We show that $j$ satisfies this condition if and only if $j$ presents $\mathcal{V}$ as a free cocompletion of $\mathcal{J}$ with respect to the weights for left Kan extensions along $j$, and so we call such systems of arities eleutheric. We show that $\mathcal{J}$-theories for an eleutheric system may be equivalently described as (i) monads in a certain one-object bicategory of profunctors on $\mathcal{J}$, and (ii) $\mathcal{V}$-monads on $\mathcal{V}$ satisfying a certain condition. We prove a characterization theorem for the categories of algebras of $\mathcal{J}$-theories, considered as $\mathcal{V}$-categories $\mathcal{A}$ equipped with a specified $\mathcal{V}$-functor $\mathcal{A} \rightarrow \mathcal{V}$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Derivations in Codifferential Categories

Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain monoidal categories, called codifferential categories. Differential categories were introduced as the categorical framework for modelling differential linear logic. The deriving transform of a differential category, which models the differentiation inference rule, is a derivation in the dual category. We here explore that derivation's universality. One of the key structures associated to a codifferential category is an algebra modality. This is a monad $T$ such that each object of the form $TC$ is canonically an associative, commutative algebra. Consequently, every $T$-algebra has a canonical commutative algebra structure, and we show that universal derivations for these algebras can be constructed quite generally. It is a standard result that there is a bijection between derivations from an associative algebra $A$ to an $A$-module $M$ and algebra homomorphisms over $A$ from $A$ to $A\oplus M$, with $A\oplus M$ being considered as an infinitesimal extension of $A$. We lift this correspondence to our setting by showing that in a codifferential category there is a canonical $T$-algebra structure on $A\oplus M$. We call $T$-algebra morphisms from $TA$ to this $T$-algebra structure Beck $T$-derivations. This yields a novel, generalized notion of derivation. The remainder of the paper is devoted to exploring consequences of that definition. Along the way, we prove that the symmetric algebra construction in any suitable symmetric monoidal category provides an example of codifferential structure, and using this, we give an alternative definition for differential and codifferential categories.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Relative symmetric monoidal closed categories I: Autoenrichment and change of base

Symmetric monoidal closed categories may be related to one another not only by the functors between them but also by enrichment of one in another, and it was known to G. M. Kelly in the 1960s that there is a very close connection between these phenomena. In this first part of a two-part series on this subject, we show that the assignment to each symmetric monoidal closed category $V$ its associated $V$-enriched category $\underline{V}$ extends to a 2-functor valued in an op-2-fibred 2-category of symmetric monoidal closed categories enriched over various bases. For a fixed $V$, we show that this induces a 2-functorial passage from symmetric monoidal closed categories $\textit{over}$ $V$ (i.e., equipped with a morphism to $V$) to symmetric monoidal closed $V$-categories over $\underline{V}$. As a consequence, we find that the enriched adjunction determined a symmetric monoidal closed adjunction can be obtained by applying a 2-functor and, consequently, is an adjunction in the 2-category of symmetric monoidal closed $V$-categories.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory

Given a monad T on a suitable enriched category B equipped with a proper factorization system (E,M), we define notions of T-completion, T-closure, and T-density. We show that not only the familiar notions of completion, closure, and density in normed vector spaces, but also the notions of sheafification, closure, and density with respect to a Lawvere-Tierney topology, are instances of the given abstract notions. The process of T-completion is equally the enriched idempotent monad associated to T (which we call the idempotent core of T), and we show that it exists as soon as every morphism in B factors as a T-dense morphism followed by a T-closed M-embedding. The latter hypothesis is satisfied as soon as B has certain pullbacks as well as wide intersections of M-embeddings. Hence the resulting theorem on the existence of the idempotent core of an enriched monad entails Fakir's existence result in the non-enriched case, as well as adjoint functor factorization results of Applegate-Tierney and Day.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Enriched factorization systems

In a paper of 1974, Brian Day employed a notion of factorization system in the context of enriched category theory, replacing the usual diagonal lifting property with a corresponding criterion phrased in terms of hom-objects. We set forth the basic theory of such enriched factorization systems. In particular, we establish stability properties for enriched prefactorization systems, we examine the relation of enriched to ordinary factorization systems, and we provide general results for obtaining enriched factorizations by means of wide (co)intersections. As a special case, we prove results on the existence of enriched factorization systems involving enriched strong monomorphisms or strong epimorphisms.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Riesz-Schwartz extensive quantities and vector-valued integration in closed categories

We develop aspects of functional analysis in an abstract axiomatic setting, through monoidal and enriched category theory. We work in a given closed category, whose objects we call spaces, and we study R-module objects therein (or algebras of a commutative monad), which we call linear spaces. Building on ideas of Lawvere and Kock, we study functionals on the space of scalar-valued maps, including compactly-supported Radon measures and Schwartz distributions. We develop an abstract theory of vector-valued integration with respect to these scalar functionals and their relatives. We study three axiomatic approaches to vector integration, including an abstract Pettis-type integral, showing that all are encompassed by an axiomatization via monads and that all coincide in suitable contexts. We study the relation of this vector integration to relative notions of completeness in linear spaces. One such notion of completeness, defined via enriched orthogonality, determines a symmetric monoidal closed reflective subcategory consisting of exactly those separated linear spaces that support the vector integral. We prove Fubini-type theorems for the vector integral. Further, we develop aspects of several supporting topics in category theory, including enriched orthogonality and factorization systems, enriched associated idempotent monads and adjoint factorization, symmetric monoidal adjunctions and commutative monads, and enriched commutative algebraic theories.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A general Fubini theorem for the Riesz paradigm

We prove an abstract Fubini-type theorem in the context of monoidal and enriched category theory, and as a corollary we establish a Fubini theorem for integrals on arbitrary convergence spaces that generalizes (and entails) the classical Fubini theorem for Radon measures on compact Hausdorff spaces. Given a symmetric monoidal closed adjunction satisfying certain hypotheses, we show that an associated monad of natural distributions D is commutative. Applying this result to the monoidal adjunction between convergence spaces and convergence vector spaces, the commutativity of D amounts to a Fubini theorem for continuous linear functionals on the space of scalar functions on an arbitrary convergence space.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Algebraic theory of vector-valued integration

We define a monad M on a category of measurable bornological sets, and we show how this monad gives rise to a theory of vector-valued integration that is related to the notion of Pettis integral. We show that an algebra X of this monad is a bornological locally convex vector space endowed with operations which associate vectors \int f dm in X to incoming maps f:T --> X and measures m on T. We prove that a Banach space is an M-algebra as soon as it has a Pettis integral for each incoming bounded weakly-measurable function. It follows that all separable Banach spaces, and all reflexive Banach spaces, are M-algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Totally distributive toposes

A locally small category E is totally distributive (as defined by Rosebrugh-Wood) if there exists a string of adjoint functors t -| c -| y, where y : E --> E^ is the Yoneda embedding. Saying that E is lex totally distributive if, moreover, the left adjoint t preserves finite limits, we show that the lex totally distributive categories with a small set of generators are exactly the injective Grothendieck toposes, studied by Johnstone and Joyal. We characterize the totally distributive categories with a small set of generators as exactly the essential subtoposes of presheaf toposes, studied by Kelly-Lawvere and Kennett-Riehl-Roy-Zaks.

0 citations0 reviewsNo code linkedOpen access