scientific article; zbMATH DE number 3950781

MaRDI QIDQ3720767zbMATH OpenFDO

Authors Stephen H. Schanuel, Ross H. Street

Publication date 1986

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

zbMATH Keywords

2-categoryadjunctionfree adjunction

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Recommendations

• Adjunction in 2-categories
• Double ad junctions and free monads
• Free adjunction of morphisms
• Pre-adjunctions and lambda-algebraic theories
• Adjoining adjoints

Cites work

• Adjoint Functors
• scientific article; zbMATH DE number 3680046 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 3567036 (Why is no real title available?)
• Limits indexed by category-valued 2-functors
• Standard constructions in Abelian categories

Cited in

(28)

• Adjoining adjoints
• A coherent approach to pseudomonads
• General categorical framework for topologically free normed modules
• Accessible aspects of 2-category theory
• Ordinals in Frobenius monads
• A Graphical Foundation for Schedules
• scientific article; zbMATH DE number 4144224 (Why is no real title available?)
• scientific article; zbMATH DE number 3946391 (Why is no real title available?)
• scientific article; zbMATH DE number 1178243 (Why is no real title available?)
• Pseudo-Kan extensions and descent theory
• Natural transformations as rewrite rules and monad composition
• Homotopical resolutions associated to deformable adjunctions
• A graphical foundation for interleaving in game semantics
• scientific article; zbMATH DE number 2114479 (Why is no real title available?)
• On lax transformations, adjunctions, and monads in (,2)-categories
• Freely adjoining monoidal duals
• Multimodal dependent type theory
• Classifiers for monad morphisms and adjunction morphisms
• On the ∞$\infty$‐topos semantics of homotopy type theory
• UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
• What is an equivalence in a higher category?
• Spherical adjunctions of stable -categories and the relative S-construction
• Hypertoric 2-categories \(\mathcal{O}\) and symplectic duality
• Towards 2-derivators for formal -category theory
• Shadows are bicategorical traces
• Enriched Kleisli objects for pseudomonads
• Absolute colimits
• Homotopy coherent adjunctions and the formal theory of monads

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 Q3720767)