Results 11 to 20 of about 1,838,152 (282)
Monoidal Categories Enriched in Braided Monoidal Categories [PDF]
International Mathematics Research Notices, 2017 AbstractWe introduce the notion of a monoidal category enriched in a braided monoidal category $\mathcal{V}$. We set up the basic theory, and prove a classification result in terms of braided oplax monoidal functors to the Drinfeld centre of some monoidal category $\mathcal{T}$.Even the basic theory is interesting; it shares many characteristics with ...
Morrison, Scott, Penneys, David
openaire +3 more sources
Univalent Enriched Categories and the Enriched Rezk Completion [PDF]
Logical Methods in Computer ScienceEnriched categories are categories whose sets of morphisms are enriched with extra structure. Such categories play a prominent role in the study of higher categories, homotopy theory, and the semantics of programming languages. In this paper, we study univalent enriched categories.
van der Weide, Niels
core +11 more sources
Convergence and quantale-enriched categories [PDF]
Categories and General Algebraic Structures with Applications, 2018 Generalising Nachbin's theory of ``topology and order'', in this paper we continue the study of quantale-enriched categories equipped with a compact Hausdorff topology.
Dirk Hofmann, Carla D. Reis
doaj +2 more sources
Enriched accessible categories [PDF]
Bulletin of the Australian Mathematical Society, 1996 We consider category theory enriched in a locally finitely presentable symmetric monoidal closed category ν. We define the ν-filtered colimits as those colimits weighted by a ν-flat presheaf and consider the corresponding notion of ν-accessible category.
Borceaux, Francis, Quinteriro, Carmen
openaire +2 more sources
A duality of quantale-enriched categories [PDF]
Journal of Pure and Applied Algebra, 2012 We describe a duality for quantale-enriched categories that extends the Lawson duality for continuous dcpos: for any saturated class J of modules that commute with certain weighted limits, and under an appropriate choice of morphisms, the category of J-cocomplete and J-continuous quantale-enriched categories is self-dual.
Hofmann, Dirk, Waszkiewicz, Paweł
openaire +4 more sources
Internal enriched categories [PDF]
, 2019 EPSRC - covering university and college fees Cambridge Trust - covering living ...
openaire +3 more sources
Barr’s embedding theorem for enriched categories [PDF]
Journal of Pure and Applied Algebra, 2011 11 ...
Dimitri Chikhladze, Chikhladze, Dimitri
openaire +3 more sources
Enriched $\infty$-categories as marked module categories [PDF]
We prove that an enriched $\infty$-category is completely determined by its enriched presheaf category together with a `marking\u27 by the representable presheaves. More precisely, for any presentably monoidal $\infty$-category $\mathcal{V}$ we construct
Zetto, Markus, Reutter, David
core +9 more sources
What is a categorical model of arrows? [PDF]
, 2011 We investigate what the correct categorical formulation of Hughes’ Arrows should be. It has long been folklore that Arrows, a functional programming construct, and Freyd categories, a categorical notion due to Power, Robinson and Thielecke, are somehow ...
Robert Atkey, Atkey, Robert
core +4 more sources
Enriched monoidal categories I: Centers [PDF]
Quantum TopologyThis work is the first one in a series, in which we develop a mathematical theory of enriched (braided) monoidal categories and their representations. In this work, we introduce the notion of the E_{0} -center (
Liang Kong +3 more
openaire +4 more sources