scientific article
From MaRDI portal
Publication:3986541
zbMath0747.18008MaRDI QIDQ3986541
Richard J. Wood, G. M. Kelly, Aurelio Carboni
Publication date: 27 June 1992
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1991__32_1_47_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
2-categoriesadjointnessenriched categorylax functorbiadjunctionbicategories of relations in regular categoriesCartesian bicategoriesOrd-categories
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (16)
A recursion theorem for predicate transformers on inductive data types ⋮ Constructive complete distributivity. IV ⋮ Relation lifting, a survey ⋮ Maps. I: Relative to a factorisation system ⋮ Transport of finiteness structures and applications ⋮ Lax naturality through enrichment ⋮ Lax Liftings and Lax Distributive Laws ⋮ Lax monads. Indexed monoidal monads ⋮ Inductive data types for predicate transformers ⋮ Simulations in coalgebra ⋮ A coalgebraic presentation of structured transition systems ⋮ On the structure of categories of coalgebras ⋮ Automata and fixed point logic: a coalgebraic perspective ⋮ Extending set functors to generalised metric spaces ⋮ An Australian Conspectus of Higher Categories ⋮ Towards Weak Bisimulation For Coalgebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Cofibrations in the bicategory of topoi
- Order ideals in categories
- Bicategories of spans and relations
- Cartesian bicategories. I
- Local adjunctions
- Proarrows and cofibrations
- Closed categories, lax limits and homotopy limits
- Sheaves on sites as Cauchy-complete categories
- Braided tensor categories
- Formal category theory: Adjointness for 2-categories
- An extension of the Galois theory of Grothendieck
- Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
- Metric spaces, generalized logic, and closed categories
- Introduction to bicategories
- Monomorphisms, Epimorphisms, and Pull-Backs
This page was built for publication:
