2000 character limit reached
An ordered framework for partial multivalued functors (1511.00746v1)
Published 3 Nov 2015 in math.CT
Abstract: The category Rel of sets and relations intimately ties the notions of function, partial multivalued function, and direct image under a function through the description of Rel as the Kleisli category of the covariant power set functor on Set. We present a suitable framework to obtain a similar relationship between the concepts of functor, partial multivalued functor, and the direct image under a functor.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run paper prompts using GPT-5.
