◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Daniela Petrisan

16 papers hereh-index 15557 citations50 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1
  • middle author10
  • last author5

Across the 16 of 16 papers where every author was matched, so the position is known.

fields
  • cs.LO11
  • cs.FL4
  • math.CT1

identity via Semantic Scholar / OpenAlex

activity
20102025
most citedCoinduction up to in a fibrational setting

40 citations · 108 across the 14 of their papers we have counts for

collaborators
Showing 2012Show all

1 paper · 1 filter

cs.LO2012

Relation Liftings on Preorders and Posets

Marta Bilkova, Alexander Kurz, Daniela Petrisan +1

The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.