Contravariance through enrichment (Q4563229): Difference between revisions

@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible limits for 2-categories
@@ Property / cites work: Flexible limits for 2-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of models for \((\infty , n)\)-categories. I
+Normal rank
@@ Property / cites work @@
+A unified framework for generalized multicategories
+Normal rank
@@ Property / cites work @@
+A reflection theorem for closed categories
@@ Property / cites work: A reflection theorem for closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal bicategories and Hopf algebroids
@@ Property / cites work: Monoidal bicategories and Hopf algebroids / rank @@
+Normal rank
@@ Property / cites work @@
+Lawvere theories, finitary monads and Cauchy-completion
+Normal rank
@@ Property / cites work @@
+An embedding theorem for tangent categories
@@ Property / cites work: An embedding theorem for tangent categories / rank @@
+Normal rank
@@ Property / cites work @@
+Enrichment through variation
@@ Property / cites work: Enrichment through variation / rank @@
+Normal rank
@@ Property / cites work @@
+An enriched view on the extended finitary monad--Lawvere theory correspondence
+Normal rank
@@ Property / cites work @@
+Coherence for tricategories
@@ Property / cites work: Coherence for tricategories / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched categories as a free cocompletion
@@ Property / cites work: Enriched categories as a free cocompletion / rank @@
+Normal rank
@@ Property / cites work @@
+Biequivalences in tricategories
@@ Property / cites work: Biequivalences in tricategories / rank @@
+Normal rank
@@ Property / cites work @@
+From coherent structures to universal properties
@@ Property / cites work: From coherent structures to universal properties / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-categories and Kan complexes
@@ Property / cites work: Quasi-categories and Kan complexes / rank @@
+Normal rank
@@ Property / cites work @@
+A coherent approach to pseudomonads
@@ Property / cites work: A coherent approach to pseudomonads / rank @@
+Normal rank
@@ Property / cites work @@
+Codescent objects and coherence
@@ Property / cites work: Codescent objects and coherence / rank @@
+Normal rank
@@ Property / cites work @@
+Enhanced 2-categories and limits for lax morphisms
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+Avoiding the axiom of choice in general category theory
+Normal rank
@@ Property / cites work @@
+A general coherence result
@@ Property / cites work: A general coherence result / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431524
@@ Property / cites work: Q5431524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893912
@@ Property / cites work: Q4893912 / rank @@
+Normal rank
@@ Property / cites work @@
+A Cartesian presentation of weak \(n\)-categories
@@ Property / cites work: A Cartesian presentation of weak \(n\)-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Internal categories, anafunctors and localisations
+Normal rank
@@ Property / cites work @@
+Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
+Normal rank
@@ Property / cites work @@
+Framed bicategories and monoidal fibrations
@@ Property / cites work: Framed bicategories and monoidal fibrations / rank @@
+Normal rank
@@ Property / cites work @@
+Not every pseudoalgebra is equivalent to a strict one
+Normal rank
@@ Property / cites work @@
+Compact Closed Bicategories
@@ Property / cites work: Compact Closed Bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092156
@@ Property / cites work: Q4092156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3314030
@@ Property / cites work: Q3314030 / rank @@
+Normal rank
@@ Property / cites work @@
+Yoneda structures from 2-toposes
@@ Property / cites work: Yoneda structures from 2-toposes / rank @@
+Normal rank