Add to ORKGBicategories of spans are characterized as cartesian bicategories in which every comonad has an Eilenberg-Moore object and every left adjoint arrow is comonadic.24 page(s
Spans are pairs of arrows with a common domain. Despite their symmetry, spans are frequently viewed ...
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type ...
Polycategories are structures generalising categories and multicategories by letting both the domain...
Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eile...
The notion of cartesian bicategory, introduced in [C&W] for locally ordered bicategories, is extende...
This paper investigates some key algebraic properties of the categories of spans and cospans (up to ...
tion with its cartesian structure and with sequential multicategories (whose arrows are sequences of...
We argue that cartesian bicategories, often used as a general categorical algebra of relations, are ...
Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comon...
Theoretical thesis.Bibliography: pages [61]-62.1. Introduction -- 2. Background -- 3. Local reflecti...
We present two proofs of coherence for cartesian closed bicat- egories. Precisely, we show that in t...
Recently, there has been growing interest in bicategorical models of programming languages, which ar...
Abstract. In the quest for an elegant formulation of the notion of “polycategory” we develop a more ...
Abstract We prove a strictification theorem for cartesian closed bicategories. First, we adapt Po...
AbstractPolycategories form a rather natural generalization of multicategories. Besides the domains ...
Spans are pairs of arrows with a common domain. Despite their symmetry, spans are frequently viewed ...
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type ...
Polycategories are structures generalising categories and multicategories by letting both the domain...
Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eile...
The notion of cartesian bicategory, introduced in [C&W] for locally ordered bicategories, is extende...
This paper investigates some key algebraic properties of the categories of spans and cospans (up to ...
tion with its cartesian structure and with sequential multicategories (whose arrows are sequences of...
We argue that cartesian bicategories, often used as a general categorical algebra of relations, are ...
Maps (left adjoint arrows) between Frobenius objects in a cartesian bicategory B are precisely comon...
Theoretical thesis.Bibliography: pages [61]-62.1. Introduction -- 2. Background -- 3. Local reflecti...
We present two proofs of coherence for cartesian closed bicat- egories. Precisely, we show that in t...
Recently, there has been growing interest in bicategorical models of programming languages, which ar...
Abstract. In the quest for an elegant formulation of the notion of “polycategory” we develop a more ...
Abstract We prove a strictification theorem for cartesian closed bicategories. First, we adapt Po...
AbstractPolycategories form a rather natural generalization of multicategories. Besides the domains ...
Spans are pairs of arrows with a common domain. Despite their symmetry, spans are frequently viewed ...
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type ...
Polycategories are structures generalising categories and multicategories by letting both the domain...
