scientific article; zbMATH DE number 29047

MaRDI QIDQ3986541zbMATH OpenFDO

Authors A. Carboni, Max Kelly, R. J. Wood

Publication date 27 June 1992

Full work available at URL http://www.numdam.org/item?id=CTGDC_1991__32_1_47_0, https://eudml.org/doc/91471

zbMATH Keywords

enriched category2-categorieslax functoradjointnessbiadjunctionbicategories of relations in regular categoriesCartesian bicategoriesOrd-categories

Mathematics Subject Classification ID

Categories of spans/cospans, relations, or partial maps (18B10) Enriched categories (over closed or monoidal categories) (18D20)

Recommendations

• scientific article; zbMATH DE number 4087890
• Adjunction in the absence of identity
• The core of adjoint functors
• scientific article; zbMATH DE number 2125657
• Cartesian bicategories. I
• scientific article; zbMATH DE number 918292
• scientific article; zbMATH DE number 3857344
• Soft adjunction between 2-categories
• Cartesian Bicategories II
• scientific article; zbMATH DE number 3927164

Cites work

• scientific article; zbMATH DE number 3933292 (Why is no real title available?)
• scientific article; zbMATH DE number 4087890 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3779586 (Why is no real title available?)
• scientific article; zbMATH DE number 3783245 (Why is no real title available?)
• scientific article; zbMATH DE number 3522182 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• An extension of the Galois theory of Grothendieck
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Bicategories of spans and relations
• Braided tensor categories
• Cartesian bicategories. I
• Closed categories, lax limits and homotopy limits
• Cofibrations in the bicategory of topoi
• Formal category theory: Adjointness for 2-categories
• Introduction to bicategories
• Local adjunctions
• Metric spaces, generalized logic, and closed categories
• Monomorphisms, Epimorphisms, and Pull-Backs
• Order ideals in categories
• Proarrows and cofibrations
• Sheaves on sites as Cauchy-complete categories

Cited in

(27)

• Inductive data types for predicate transformers
• On the structure of categories of coalgebras
• A recursion theorem for predicate transformers on inductive data types
• Cartesian Bicategories II
• Lax monads. Indexed monoidal monads
• scientific article; zbMATH DE number 3933292 (Why is no real title available?)
• Relation lifting, a survey
• Maps. I: Relative to a factorisation system
• Change of base, Cauchy completeness and reversibility
• Cartesian bicategories. I
• Simulations in coalgebra
• scientific article; zbMATH DE number 1740252 (Why is no real title available?)
• Lax naturality through enrichment
• Lax Liftings and Lax Distributive Laws
• Automata and fixed point logic: a coalgebraic perspective
• Adjunction in the absence of identity
• scientific article; zbMATH DE number 937370 (Why is no real title available?)
• On lifting of biadjoints and lax algebras
• Constructive complete distributivity. IV
• scientific article; zbMATH DE number 2125645 (Why is no real title available?)
• Cartesian double theories: a double-categorical framework for categorical doctrines
• Towards weak bisimulation for coalgebras
• A coalgebraic presentation of structured transition systems
• An Australian conspectus of higher categories
• Transport of finiteness structures and applications
• F‐Morphismen
• Extending set functors to generalised metric spaces

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3986541)