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