Category: Pfn

Pfn is the category whose objects are sets and arrows are partial maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: Pfn

This data as json

name objects_hr arrows_hr
Pfn sets partial maps

Links from other tables