Framed bicategories and monoidal fibrations
From MaRDI portal
Publication:3646422
zbMath1192.18005arXiv0706.1286MaRDI QIDQ3646422
Publication date: 21 November 2009
Full work available at URL: https://arxiv.org/abs/0706.1286
homotopy colimit; spectra; fibration; homotopy theory; profunctor; double category; derivator; distributor; equipment; derived Kan extension
18D30: Fibered categories
Related Items
Unnamed Item, The transfer map of free loop spaces, Contravariance through enrichment, The linearity of fixed point invariants, Coarse-Graining Open Markov Processes, Unnamed Item, Unnamed Item, Higher symmetries in abstract stable homotopy theories, Linear Dependent Type Theory for Quantum Programming Languages, A unified framework for notions of algebraic theory, Unnamed Item, Discrete Double Fibrations, Compositional Game Theory, Compositionally, Call-by-name Gradual Type Theory, Segal spaces, spans, and semicategories, Structured Cospans, Unnamed Item, Topological tensor product of bimodules, complete Hopf algebroids and convolution algebras, Free globularily generated double categories, Augmented virtual double categories, Concurrent Process Histories and Resource Transducers, Monoidal reverse differential categories, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Internalization and enrichment via spans and matrices in a tricategory, The third cohomology \(2\)-group, A formal logic for formal category theory, Cornering Optics, Promonads and String Diagrams for Effectful Categories, Protocol choice and iteration for the free cornering, A diagrammatic view of differential equations in physics, Shadows and traces in bicategories, Spectra associated to symmetric monoidal bicategories, The glueing construction and double categories, Triposes, q-toposes and toposes, Monads in double categories, A Thomason model structure on the category of small \(n\)-fold categories, Enhanced 2-categories and limits for lax morphisms, Model structures on the category of small double categories, AQFT from \(n\)-functorial QFT, Networks of open systems, String diagrams for traced and compact categories are oriented 1-cobordisms, Enriched and internal categories: an extensive relationship, Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories, Supersymmetric field theories from twisted vector bundles, A categorical approach to the maximum theorem, Topological Hochschild homology and higher characteristics, Generalized stability for abstract homotopy theories, Heisenberg-picture quantum field theory, Morphisms of open games, The Gray monoidal product of double categories, An algebraic theory for data linkage, A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics, Extending Landau-Ginzburg models to the point, Networks of hybrid open systems, Algebraic theories and commutativity in a sheaf topos, On string topology of classifying spaces, The web monoid and opetopic sets, The multiplicativity of fixed point invariants, Internal enriched categories, On pseudofunctors sending groups to 2-groups, An orthogonal approach to algebraic weak factorisation systems, Algebraic Databases, Unnamed Item, Internalizing decorated bicategories: The globularily generated condition, Monoidal Grothendieck construction