scientific article
From MaRDI portal
Publication:3816229
zbMath0665.18007MaRDI QIDQ3816229
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
homotopy theoryenriched categoryhomotopy limitadjunction between bicategorieslocal adjunctionlocally ordered bicategories
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (8)
A recursion theorem for predicate transformers on inductive data types ⋮ The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ Doctrines, modalities and comonads ⋮ Data refinement, call by value and higher order programs ⋮ Pre-adjunctions in order enriched categories ⋮ Enriched and internal categories: an extensive relationship ⋮ Unnamed Item ⋮ Lax familial representability and lax generic factorizations
This page was built for publication: