Introduction to bicategories
From MaRDI portal
Publication:4596052
DOI10.1007/BFb0074299zbMath1375.18001OpenAlexW158035142MaRDI QIDQ4596052
Publication date: 8 December 2017
Published in: Reports of the Midwest Category Seminar (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0074299
Related Items
Eilenberg-Watts theorem for 2-categories and quasi-monoidal structures for module categories over bialgebroid categories, An introduction to quantaloid-enriched categories, Modulated bicategories, A universal property of the convolution monoidal structure, Weakly globular \(\text{cat}^n\)-groups and Tamsamani's model, Categorical aspects of data type constructors, Completeness results for intuitionistic and modal logic in a categorical setting, Cartesian bicategories. I, Nerves and classifying spaces for bicategories, Logical systems. I: Internal calculi., A model structure à la Thomason on 2-Cat, The Serre spectral sequence of a noncommutative fibration for de Rham cohomology, Monoidal bicategories and Hopf algebroids, Categories of partial maps, On rational pairings of functors, Conceptual completeness for first-order intuitionistic logic: An application of categorical logic, Strong conceptual completeness for first-order logic, Local adjunctions, Two-dimensional monad theory, Covering homology, Shadows and traces in bicategories, The fundamental pro-groupoid of an affine 2-scheme, Length 3 complexes of abelian sheaves and Picard 2-stacks, Classifying spaces for braided monoidal categories and lax diagrams of bicategories, Butterflies in a semi-abelian context, Functoriality of the center of an algebra, Toward weakly enriched categories: co-Segal categories, Monoidal 2-structure of bimodule categories, Monad transformers as monoid transformers, Constructing process categories, Cleft and Galois extensions associated with a weak Hopf quasigroup, Tensor products of finitely cocomplete and abelian categories, Higher central extensions and cohomology, Factorisations of distributive laws, Equivariance in higher geometry, Intermutation, Spectra associated to symmetric monoidal bicategories, Categorical foundations for structured specifications in \(\mathsf{Z}\), Enriched categories as a free cocompletion, Adjunctions and defects in Landau-Ginzburg models, The 2-group of symmetries of a split chain complex, Preordered sets valued in a GL-monoid, Duals invert, On the 1-homotopy type of Lie groupoids, A bicategorical version of Masuoka's theorem., The combinatorics of n-categorical pasting, Conspectus of variable categories, A 2-categorical pasting theorem, The cohomology of homotopy categories and the general linear group, Pseudo-commutativity of KZ 2-monads, Mealy morphisms of enriched categories, Elementary characterisation of small quantaloids of closed cribles, Sheaves on sites as Cauchy-complete categories, Crossed product tensor categories, Co-Frobenius corings and adjoint functors., Idempotent splittings, colimit completion, and weak aspects of the theory of monads, Lax monads. Indexed monoidal monads, Bicategories of processes, Intercategories: a framework for three-dimensional category theory, A coherence theorem for pseudonatural transformations, (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories, A bigroupoid's topology (or, topologising the homotopy bigroupoid of a space), Weak Hopf algebras and weak Yang-Baxter operators., Trace decategorification of categorified quantum \(\mathfrak {sl}_2\), On monoids in the category of sets and relations, On the geometry and algebra of networks with state, Algebraic classification of equivariant homotopy 2-types. I, Morita theory for Hopf algebroids, principal bibundles, and weak equivalences, Galois theory in variable categories, Deformation theory of objects in homotopy and derived categories. II: Pro-representability of the deformation functor, Monads in double categories, On the regular representation of an (essentially) finite 2-group, A non-commutative and non-idempotent theory of quantale sets, On Morita contexts in bicategories, A cellular nerve for higher categories, The Picard groupoid in deformation quantization, Doctrines on 2-categories, A remark on Mackey-functors, Homomorphisms of higher categories, Central extensions of gerbes, Icons, On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular, Adjunctions in monoidal categories, Model structures on the category of small double categories, Crossed module actions on continuous trace \(C^*\)-algebras, Comparing geometric realizations of tricategories, Nerves of bicategories as stratified simplicial sets, Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories), Nerves of trigroupoids as Duskin-Glenn's 3-hypergroupoids, Butterflies. I: Morphisms of 2-group stacks, Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes, Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories, A categorical outlook on relational modalities and simulations, On the equivariant \(2\)-type of a \(G\)-space, The quantum double and related constructions, Coherence for bicategories and indexed categories, Variation through enrichment, Bicategories of spans and relations, Braided monoidal 2-categories and Manin-Schechtman higher braid groups, Limits for lax morphisms, Finitary birepresentations of finitary bicategories, Coextension of scalars in operad theory, The bicategories of corings., The \(H\)-covariant strong Picard groupoid, Representation theory of 2-groups on Kapranov and Voevodsky's 2-vector spaces, Continuous probability distributions in concurrent games, The Catalan simplicial set II, Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones, Bicategories for boundary conditions and for surface defects in 3-d TFT, Unnamed Item, Maps. I: Relative to a factorisation system, Tori detect invertibility of topological field theories, Semistrict higher gauge theory, On module categories over finite-dimensional Hopf algebras., Grothendieck categories as a bilocalization of linear sites, Some mathematical and computational relations between timbre and color, Actads, Pointed Drinfeld center functor, Avoiding the axiom of choice in general category theory, Right saturations and induced pseudofunctors between bicategories of fractions, An odd Khovanov homotopy type, Fraction, restriction, and range categories from stable systems of morphisms, Centrally free actions of amenable \(\mathrm{C}^*\)-tensor categories on von Neumann algebras, Real sets, A homotopy coherent cellular nerve for bicategories, Virtual classes of parabolic \(\operatorname{SL}_2(\mathbb{C})\)-character varieties, A lax monoidal topological quantum field theory for representation varieties, Model bicategories and their homotopy bicategories, The Gray tensor product via factorisation, Every rig with a one-variable fixed point presentation is the Burnside rig of a prextensive category, Enriched and internal categories: an extensive relationship, Universal properties of bicategories of polynomials, Restriction categories II: Partial map classification, Realization of rigid \(C^\ast \)-bicategories as bimodules over type \(\mathrm{II}_1\) von Neumann algebras, Relative full completeness for bicategorical Cartesian closed structure, Constructing span categories from categories without pullbacks, Absolute lax 2-categories, The cut operation on matrix factorisations, Extending Landau-Ginzburg models to the point, Comonadic base change for enriched categories, \(G_\infty\)-ring spectra and Moore spectra for \(\beta\)-rings, Obstruction theory in action accessible categories, Actions of monoidal categories and generalized Hopf smash products., Cohomology and deformation theory of monoidal 2-categories. I., DG quotients of DG categories., \(\pi\)-twist and orientability in braided categories., Invertible bimodule categories over the representation category of a Hopf algebra, The moonshine anomaly, Lie 2-algebras of vector fields, Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories, Bayesian strategies: probabilistic programs as generalised graphical models, Generic representations of orthogonal groups: the mixed functors, Dendroidal sets, Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\), Operations on categories of modules are given by Schur functors, Representation and character theory in 2-categories, Logic programming: laxness and saturation, Generic representations of orthogonal groups: The functor category \({\mathcal F}_{\text{quad}}\), Elements of a theory of algebraic theories, Category theoretic structure of setoids, Topological Hochschild homology and higher characteristics, A skew-duoidal Eckmann-Hilton argument and quantum categories, Contractible exact squares, 2-nerves for bicategories, Bicategorical homotopy fiber sequences, Galois functors and generalised Hopf modules, Khovanov homotopy type, Burnside category and products, Ultrafilters, finite coproducts and locally connected classifying toposes, Morita contexts as lax functors, The functor category \(\mathcal F_{\text{quad}}\) over quadratic spaces over \(\mathbb F_2\), 2-groups, 2-characters, and Burnside rings, 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\), Crossed semimodules of categories and Schreier 2-categories, Morphismen von Funktoren, Eine Bemerkung über Monaden und adjungierte Funktoren, Spreads and the symmetric topos, Coxeter categories and quantum groups, An axiomatics for bicategories of modules, Towards a globular path object for weak \(\infty\)-groupoids, Representable multicategories, A coherent approach to pseudomonads, Finite groups, spherical 2-categories, and 4-manifold invariants, Coisotropic triples, reduction and classical limit, On weak higher dimensional categories. I: Part 1, Categories of representations of coalgebroids, The Toda bracket in the homotopy category of a track bicategory, The formal theory of monads. II, A Picard-Brauer exact sequence of categorical groups, Bicategories of fractions for groupoids in monadic categories, Functoriality of groupoid quantales. I., Relational presheaves, change of base and weak simulation, Bimodules in bordered Heegaard Floer homology, Quotients of span categories that are allegories and the representation of regular categories, Semantic factorization and descent, A 2-categorical extension of the Reshetikhin-Turaev theory, Fused Mackey functors, Boundary conditions for topological quantum field theories, anomalies and projective modular functors, From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories, Metric, topology and multicategory -- a common approach, Nets with mana: a framework for chemical reaction modelling, A bicategorical approach to actions of monoidal categories, Weak units, universal cells, and coherence via universality for bicategories, Internalization and enrichment via spans and matrices in a tricategory, Simple transitive 2‐representations of Soergel bimodules for finite Coxeter types, The algebra of the Feistel-Toffoli construction, A formal logic for formal category theory, Natural transformations for quasigroupoids, On continuous time agents, Locally (co)Cartesian fibrations as realisation fibrations and the classifying space of cospans, Unnamed Item, Fully extended \(r\)-spin TQFTs, Bicategorical type theory: semantics and syntax, Dependent Optics, Promonads and String Diagrams for Effectful Categories, Liftable pairs of functors and initial objects, Higher derivations of modules and the Hasse-Schmidt module, The Catalan simplicial set, Pre-rigid monoidal categories, Unnamed Item, What is an equivalence in a higher category?, Categorification: tangle invariants and TQFTs, On operads, bimodules and analytic functors, Unnamed Item, Unnamed Item, Two-dimensional algebra in lattice gauge theory, Unnamed Item, Some exact sequences associated with adjunctions in bicategories. Applications, Unnamed Item, Unnamed Item, STATES AND REPRESENTATIONS IN DEFORMATION QUANTIZATION, Categorical aspects of generating functions. I: Exponential formulas and Krull-Schmidt categories, A bicategory of decorated cospans, A duality for modules over monoidal categories of representations of semisimple Hopf algebras, Categories enriched on two sides, Tannaka duality for Maschkean categories, Elementary remarks on units in monoidal categories, Pivotal tricategories and a categorification of inner-product modules, THE COVARIANT PICARD GROUPOID IN DIFFERENTIAL GEOMETRY, Two-color Soergel Calculus and Simple Transitive 2-representations, Coherence in three-dimensional category theory(Cambridge Tracts in Mathematics 201)ByNick Gurski, Frobenius objects in the category of spans, Cartesian inclusion: locales and topgses∗, Van Kampen Colimits as Bicolimits in Span, Unnamed Item, Feynman categories and representation theory, Indecomposability of weak Hopf algebras, A categorical framework for congruence of applicative bisimilarity in higher-order languages, Unnamed Item, Unnamed Item, An (∞,2)-categorical pasting theorem, Bicategories in univalent foundations, Unnamed Item, Hom weak ω-categories of a weak ω-category, Unnamed Item, Strictification tensor product of 2-categories, Unnamed Item, Some Results on Locally Finitely Presentable Categories, String Diagram Rewrite Theory I: Rewriting with Frobenius Structure, Coherence for bicategorical cartesian closed structure, Descent Data and Absolute Kan Extensions, A bicategorical approach to Morita equivalence for von Neumann algebras, Span composition using fake pullbacks, Unnamed Item, Unnamed Item, An abstract formulation for rewrite systems, Non-semisimple extended topological quantum field theories, Unnamed Item, Variation on a comprehensive theme, Two-Sided Localization of Bimodules, The 2-Hilbert space of a prequantum bundle gerbe, Unnamed Item, Real representation theory of finite categorical groups, Unnamed Item, Many-Valued Preorders I: The Basis of Many-Valued Mathematics, Lax Functors, Cospans, and the Center Construction, Unnamed Item, Koszul Duality for $$E_n$$-Algebras in a Filtered Category, Morita equivalence for continuous groups, The cube and the Burnside category, Unnamed Item, Unnamed Item, Introduction to gestural similarity in music. An application of category theory to the orchestra, Liftable derived equivalences and objective categories, Minimal realization for fuzzy behaviour: A bicategory-theoretic approach, Internalizing decorated bicategories: The globularily generated condition, Adjunction in 2-categories, Segal spaces, spans, and semicategories, Centre of Monoids, Centralisers, and Localisation, On lifting of biadjoints and lax algebras, Unnamed Item, Unnamed Item, Unnamed Item, Cauchy characterization of enriched categories, Unnamed Item, Pseudo-Kan Extensions and Descent Theory, Spans of cospans, Theory of interleavings on categories with a flow, Unnamed Item, On the Rosenberg-Zelinsky sequence in abelian monoidal categories, ENRICHED CATEGORIES AND COHOMOLOGY, Coalgebroids in monoidal bicategories and their comodules, The Lusternik-Schnirelmann category of a Lie groupoid, Comodules and Corings, Unnamed Item, Unnamed Item, Unnamed Item, Lax familial representability and lax generic factorizations, A compositional framework for Markov processes, Morita Contexts of Enriched Categories, Higher symmetries in abstract stable homotopy theories, Towards a Formal Theory of Graded Monads, The low-dimensional structures formed by tricategories, Graphical Conjunctive Queries., On Compositionality of Dinatural Transformations, Open systems in classical mechanics, Simple transitive 2-representations via (co)algebra 1-morphisms, An Algebra of Automata That Includes Both Classical and Quantum Entities, Unnamed Item, A 2-Categories Companion, An Australian Conspectus of Higher Categories, Topological tensor product of bimodules, complete Hopf algebroids and convolution algebras, A bicategorical interpretation for relative Cuntz-Pimsner algebras, The Arf-Brown TQFT of pin⁻ surfaces, Unnamed Item, Paths and Simulations, Unnamed Item, Coarse-Graining Open Markov Processes, Further remarks on group-2-groupoids, Unnamed Item, Burnside rings for Real 2-representation theory: The linear theory, Corelations are the prop for extraspecial commutative Frobenius monoids, Unnamed Item, Extended TQFTs from non-semisimple modular categories, The Bicategory-Theoretic Solution of Recursive Domain Equations, Causal sites as quantum geometry, A recipe for black box functors, Normality and quotient in crossed modules over groupoids and 2-Groupoids, Two-Categorical Bundles and their Classifying Spaces, On Bicategories of Relations and Pullback Spans, Coherent Extensions and Relational Algebras, Free globularily generated double categories
