Showing math.CTShow all
2 papers · 1 filter
math.CT2003
Paracategories I: internal parategories and saturated partial algebras
Claudio Hermida, Paulo Mateus
Based on the monoid classifier, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a…
math.CT2000
From Coherent Structures to Universal Properties
Claudio Hermida
Given a 2-category $\twocat{K}$ admitting a calculus of bimodules, and a 2-monad T on it compatible with such calculus, we construct a 2-category $\twocat{L}$ with a 2-monad S on i…