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

Giacomo Tendas

Giacomo Tendas contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CT

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
1topics
1close 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

4 published item(s)

preprint2022arXiv

Flat vs. filtered colimits in the enriched context

The importance of accessible categories has been widely recognized; they can be described as those freely generated in some precise sense by a small set of objects and, because of that, satisfy many good properties. More specifically finitely accessible categories can be characterized as: (a) free cocompletions of small categories under filtered colimits, and (b) categories of flat presheaves on some small category. The equivalence between (a) and (b) is what makes the theory so general and fruitful. Notions of enriched accessibility have also been considered in the literature for various bases of enrichment, such as $\mathbf{Ab},\mathbf{SSet},\mathbf{Cat}$ and $\mathbf{Met}$. The problem in this context is that the equivalence between (a) and (b) is no longer true in general. The aim of this paper is then to: (1) give sufficient conditions on $\mathcal V$ so that (a) $\Leftrightarrow$ (b) holds; (2) give sufficient conditions on $\mathcal V$ so that (a) $\Leftrightarrow $ (b) holds up to Cauchy completion; (3) explore some examples not covered by (1) or (2).

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On continuity of accessible functors

We prove that for each locally $α$-presentable category $\mathcal K$ there exists a regular cardinal $γ$ such that any $α$-accessible functor out of $\mathcal K$ (into another locally $α$-presentable category) is continuous if and only if it preserves $γ$-small limits; as a consequence we obtain a new adjoint functor theorem specific to the $α$-accessible functors out of $\mathcal K$. Afterwards we generalize these results to the enriched setting and deduce, among other things, that a small $\mathcal V$-category is accessible if and only if it is Cauchy complete.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Virtual concepts in the theory of accessible categories

We provide a new characterization of enriched accessible categories by introducing the two new notions of virtual reflectivity and virtual orthogonality as a generalization of the usual reflectivity and orthogonality conditions for locally presentable categories. The word virtual refers to the fact that the reflectivity and orthogonality conditions are given in the free completion of the $\mathcal V$-category involved under small limits, instead of the $\mathcal V$-category itself. In this way we hope to provide a clearer understanding of the theory as well as a useful way of recognizing accessible $\mathcal V$-categories. In the last section we prove that the 2-category of accessible $\mathcal V$-categories, accessible $\mathcal V$-functors, and $\mathcal V$-natural transformations has all flexible limits.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Enriched Regular Theories

Regular and exact categories were first introduced by Michael Barr in 1971; since then, the theory has developed and found many applications in algebra, geometry, and logic. In particular, a small regular category determines a certain theory, in the sense of logic, whose models are the regular functors into Set. Barr further showed that each small and regular category can be embedded in a particular category of presheaves; then in 1990 Makkai gave a simple explicit characterization of the essential image of the embedding, in the case where the original regular category is moreover exact. More recently Prest and Rajani, in the additive context, and Kuber and Rosický, in the ordinary one, described a duality which connects an exact category with its (definable) category of models. Considering a suitable base for enrichment, we define an enriched notion of regularity and exactness, and prove a corresponding version of the theorems of Barr, of Makkai, and of Prest-Rajani/Kuber-Rosický.

0 citations0 reviewsNo code linkedOpen access