Add to ORKGThe notion of cartesian bicategory, introduced in [C&W] for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory
Cartesian differential categories come equipped with a differentialcombinator which axiomatizes the ...
We define bicategories internal to 2-categories. When the ambient 2-category is that of symmetric mo...
We present two proofs of coherence for cartesian closed bicat- egories. Precisely, we show that in t...
The notion of cartesian bicategory, introduced in [C&W] for locally ordered bicategories, is extende...
Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eile...
We argue that cartesian bicategories, often used as a general categorical algebra of relations, are ...
tion with its cartesian structure and with sequential multicategories (whose arrows are sequences of...
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type ...
Abstract. In the quest for an elegant formulation of the notion of “polycategory” we develop a more ...
Abstract. We define bicategories internal to 2-categories. When the ambient 2-category is symmetric ...
International audiencePolynomial functors are a categorical generalization of the usual notion of po...
We denote the monoidal bicategory of two-sided modules (also called profunctors, bimodules and distr...
AbstractPolycategories form a rather natural generalization of multicategories. Besides the domains ...
We provide a complete generators and relations presentation of the 2-dimensional extended unoriented...
Abstract We prove a strictification theorem for cartesian closed bicategories. First, we adapt Po...
Cartesian differential categories come equipped with a differentialcombinator which axiomatizes the ...
We define bicategories internal to 2-categories. When the ambient 2-category is that of symmetric mo...
We present two proofs of coherence for cartesian closed bicat- egories. Precisely, we show that in t...
The notion of cartesian bicategory, introduced in [C&W] for locally ordered bicategories, is extende...
Bicategories of spans are characterized as cartesian bicategories in which every comonad has an Eile...
We argue that cartesian bicategories, often used as a general categorical algebra of relations, are ...
tion with its cartesian structure and with sequential multicategories (whose arrows are sequences of...
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type ...
Abstract. In the quest for an elegant formulation of the notion of “polycategory” we develop a more ...
Abstract. We define bicategories internal to 2-categories. When the ambient 2-category is symmetric ...
International audiencePolynomial functors are a categorical generalization of the usual notion of po...
We denote the monoidal bicategory of two-sided modules (also called profunctors, bimodules and distr...
AbstractPolycategories form a rather natural generalization of multicategories. Besides the domains ...
We provide a complete generators and relations presentation of the 2-dimensional extended unoriented...
Abstract We prove a strictification theorem for cartesian closed bicategories. First, we adapt Po...
Cartesian differential categories come equipped with a differentialcombinator which axiomatizes the ...
We define bicategories internal to 2-categories. When the ambient 2-category is that of symmetric mo...
We present two proofs of coherence for cartesian closed bicat- egories. Precisely, we show that in t...