Related papers: On $\infty$-cosmoi of bicategories
We apply the theory of weighted bicategorical colimits to study the problem of existence and computation of such colimits of birepresentations of finitary bicategories. The main application of our results is the complete classification of…
We introduce a bicategory that refines the localization of the category of dg categories with respect to quasi-equivalences and investigate its properties via formal category theory. Concretely, we first introduce the bicategory of dg…
We describe some of the basic properties of the 2-category of 2-term complexes in an abelian category, using butterflies as morphisms.
We formulate and prove a twofold generalisation of Lie's second theorem that integrates homomorphisms between formal group laws to homomorphisms between Lie groups. Firstly we generalise classical Lie theory by replacing groups with…
The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of…
A 2-group is a `categorified' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…
We give a formal concept of (right) wide Morita context between two 0-cells in arbitrary bicategory. We then construct a new bicategory with the same 0-cells as the oldest one, and with 1-cells all these (right) wide Morita contexts. An…
We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means…
A general theory of topological classification of defects is introduced. We illustrate the application of tools from algebraic topology, including homotopy and cohomology groups, to classify defects including several explicit calculations…
We show that for any uncountable cardinal $\lambda$, the category of sets of cardinality at least $\lambda$ and monomorphisms between them cannot appear as the category of point of a topos, in particular is not the category of models of a…
We further develop Weber's notion of elementary 2-topos by proposing certain new axioms. We show that in a 2-category C satisfying these axioms, the "discrete opfibration (DOF) classifier" S is always an internal elementary 1-topos, in an…
Operads often arise from geometry. The standard $A_\infty$ operad can be derived from the cellular chains on the Stasheff associahedra, and an $A_\infty$ algebra is an algebra over this operad. The notion of an $\mathbf{fc}$-multicategory,…
Homotopy Quantum Field Theories (HQFTs) were introduced by the second author to extend the ideas and methods of Topological Quantum Field Theories to closed $d$-manifolds endowed with extra structure in the form of homotopy classes of maps…
The comparison of the Standard Cosmological Model (SCM) with astronomical observations, i.e. theory versus experiment, and with the Minimal Standard Model (MSM) in particle physics, i.e. theory versus theory, is discussed. The main issue of…
There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps. One has quantum systems as objects, whereas the other also allows classical…
Derivators, introduced independently by Grothendieck and Heller in the 1980s, provide a categorical framework for studying homotopy theory. They are based on the idea that, while the homotopy 1-category of a single model category or…
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then present an efficient method to define pseudomonas on the…
We study the relationship between presheaf constructions and free cocompletions in the context of formal category theory, elucidating the coincidence between the two concepts in familiar settings. We show that, in a virtual equipment…
Since categories are graphs with additional "structure", one should start from fuzzy graphs in order to define a theory of fuzzy categories. Thus is makes sense to introduce categories whose morphisms are associated with a plausibility…
This paper introduces a categorification of $k$-algebras called 2 -algebras, where k is a commutative ring. We define the 2-algebras as a 2-category with single object in which collections of all 1-morphisms and all 2-morphisms are…