Contravariance through enrichment
From MaRDI portal
Publication:4563229
zbMath1393.18002arXiv1606.05058MaRDI QIDQ4563229
Publication date: 7 June 2018
Full work available at URL: https://arxiv.org/abs/1606.05058
opposite categorycoherence theoremcontravarianceduality involutionenriched bicategorygeneralized multicategoryopposite object
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions ⋮ A formal logic for formal category theory ⋮ Real representation theory of finite categorical groups ⋮ Burnside rings for Real 2-representation theory: The linear theory
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Comparison of models for \((\infty , n)\)-categories. I
- Enhanced 2-categories and limits for lax morphisms
- Not every pseudoalgebra is equivalent to a strict one
- Enriched categories as a free cocompletion
- A Cartesian presentation of weak \(n\)-categories
- A general coherence result
- Two-dimensional monad theory
- Flexible limits for 2-categories
- Monoidal bicategories and Hopf algebroids
- Enrichment through variation
- A coherent approach to pseudomonads
- An embedding theorem for tangent categories
- Quasi-categories and Kan complexes
- Codescent objects and coherence
- Avoiding the axiom of choice in general category theory
- Lawvere theories, finitary monads and Cauchy-completion
- A reflection theorem for closed categories
- The formal theory of monads
- Yoneda structures from 2-toposes
- Compact Closed Bicategories
- Internal categories, anafunctors and localisations
- Biequivalences in tricategories
- Framed bicategories and monoidal fibrations
- An enriched view on the extended finitary monad--Lawvere theory correspondence
- Coherence for tricategories
- A unified framework for generalized multicategories
- Higher Topos Theory (AM-170)
- From coherent structures to universal properties
This page was built for publication: Contravariance through enrichment
