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

Jason Parker

Jason Parker contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CTApplicationsLogic in Computer ScienceQuantitative Methods

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
4topics
4close 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

6 published item(s)

preprint2022arXiv

Exponentiability in categories of relational structures

For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such categories, which have found recent applications in the study of programming language semantics, include the categories of preordered sets and (extended) metric spaces. As a consequence, we obtain useful sufficient conditions for $\mathbb{T}\text{-}\mathsf{Mod}$ to be cartesian closed, locally cartesian closed, and even a quasitopos; in particular, we provide two different explanations for the cartesian closure of the categories of preordered and partially ordered sets. Our results recover (the sufficiency of) certain conditions that have been shown by Niefield and Clementino--Hofmann to characterize exponentiability in the category of partially ordered sets and the category $V\text{-}\mathsf{Cat}$ of small $V$-categories for certain commutative unital quantales $V$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Extensivity of categories of relational structures

We prove that the category of models of any relational Horn theory satisfying a mild syntactic condition is infinitely extensive. Central examples of such categories include the categories of preordered sets and partially ordered sets, and the categories of small $\mathscr{V}$-categories, (symmetric) pseudo-$\mathscr{V}$-metric spaces, and (symmetric) $\mathscr{V}$-metric spaces for a commutative unital quantale $\mathscr{V}$. We also explicitly characterize initial sources and final sinks in such categories, and in particular embeddings and quotients.

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
preprint2021arXiv

Polymorphic Automorphisms and the Picard Group

We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant isotropy group) associated with an algebraic theory to the wider class of quasi-equational theories. We apply this characterization to prove that the isotropy group of a strict monoidal category is precisely its Picard group of invertible objects. Furthermore, we obtain an explicit description of the covariant isotropy group of a presheaf category.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Variation in correlation between prognosis and histologic feature based on biopsy selection

Glioblastoma multiform carries a dismal prognosis with poor response to gold standard treatment. Innovative data analysis methods have been developed to characterize tumor genomic expression with histologic features. In a clinical setting, biopsy selection methods may be constrained by time and financial burden to the patient. Thus, we investigate the impact biopsy selection has on correlation between prognostic and histologic features in 35 patients with GBM. We compared methods using limited volumes, moderate volumes, and enblock tumor volumes. Additionally, we investigated the impact of random versus strategic methods for limited and moderate volume biopsies. Finally, we compared correlation results by selecting one to five small biopsy. We observed a wide range in correlation significance across selection methods. These findings may aid clinical management of GBM and direct better biopsy selection necessary for the development and deployment of targeted therapies.

0 citations0 reviewsNo code linkedOpen access