scientific article; zbMATH DE number 29047
From MaRDI portal
Publication:3986541
zbMATH Open0747.18008MaRDI QIDQ3986541FDOQ3986541
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
Title of this publication is not available (Why is that?)
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
enriched category2-categorieslax functoradjointnessbiadjunctionbicategories of relations in regular categoriesCartesian bicategoriesOrd-categories
Categories of spans/cospans, relations, or partial maps (18B10) Enriched categories (over closed or monoidal categories) (18D20)
Cites Work
- Braided tensor categories
- An extension of the Galois theory of Grothendieck
- Title not available (Why is that?)
- Metric spaces, generalized logic, and closed categories
- Introduction to bicategories
- Cartesian bicategories. I
- Sheaves on sites as Cauchy-complete categories
- Title not available (Why is that?)
- Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Monomorphisms, Epimorphisms, and Pull-Backs
- Closed categories, lax limits and homotopy limits
- Formal category theory: Adjointness for 2-categories
- Local adjunctions
- Cofibrations in the bicategory of topoi
- Order ideals in categories
- Bicategories of spans and relations
- Proarrows and cofibrations
- Title not available (Why is that?)
Cited In (27)
- On the structure of categories of coalgebras
- Inductive data types for predicate transformers
- A recursion theorem for predicate transformers on inductive data types
- Cartesian Bicategories II
- Title not available (Why is that?)
- Lax monads. Indexed monoidal monads
- Maps. I: Relative to a factorisation system
- Relation lifting, a survey
- Change of base, Cauchy completeness and reversibility
- Cartesian bicategories. I
- Simulations in coalgebra
- Title not available (Why is that?)
- Lax Liftings and Lax Distributive Laws
- Lax naturality through enrichment
- Automata and fixed point logic: a coalgebraic perspective
- Title not available (Why is that?)
- Adjunction in the absence of identity
- On lifting of biadjoints and lax algebras
- Constructive complete distributivity. IV
- Cartesian double theories: a double-categorical framework for categorical doctrines
- Title not available (Why is that?)
- A coalgebraic presentation of structured transition systems
- Towards weak bisimulation for coalgebras
- 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)
