Related papers: Generalized Enrichment for Categories and Multicat…

We show that the category of numerically generated pointed spaces is complete, cocomplete, and monoidally closed with respect to the smash product, and then utilize these features to establish a simple but flexible method for constructing…

We develop the theory of tricategorical limits and colimits, and show that they can be modelled up to biequivalence via certain homotopically well-behaved limits and colimits enriched over the monoidal model category $\mathbf{Gray}$ of…

It is well-known that combinatorial circuits are modeled mathematically by string diagrams in a monoidal category. Given a gate set $\Sigma$, the circuits over $\Sigma$ can be thought of as string diagrams in the free monoidal category…

We introduce some classes of genuine higher categories in homotopy type theory, defined as well-behaved subcategories of the category of types. We give several examples, and some techniques for showing other things are not examples. While…

This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically…

For a monoidal $\infty$-category $\mathcal{M}$ with colimits, we study colimits of $\mathcal{M}$-functors $\mathcal{A}\to\mathcal{B}$ where $\mathcal{B}$ is left-tensored over $\mathcal{M}$ and $\mathcal{A}$ is an $\mathcal{M}$-enriched…

Mackey functors provide the coefficient systems for equivariant cohomology theories. More generally, enriched presheaf categories provide a classification and organization for many stable model categories of interest. Changing enrichments…

The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed…

We show how the notion of intercategory encompasses a wide variety of three-dimensional structures from the literature, notably duoidal categories, monoidal double categories, cubical bicategories, double bicategories and Gray categories.…

Based on the monoid classifier, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and…

It is well known that the existence of a braiding in a monoidal category V allows many structures to be built upon that foundation. These include a monoidal 2-category V-Cat of enriched categories and functors over V, a monoidal bicategory…

This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule…

In previous work, categories of algebras of endofunctors were shown to be enriched in categories of coalgebras of the same endofunctor, and the extra structure of that enrichment was used to define a generalization of inductive data types.…

We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…

Building on our previous work on enriched regular logic, we introduce an enriched version of positive logic and relate it to enriched cone-injectivity classes and enriched accessible categories. To do this, we need a factorization system on…

We construct a symmetric monoidal category $LIE^{MC}$ whose objects are shifted L-infinity algebras equipped with a complete descending filtration. Morphisms of this category are "enhanced" infinity morphisms between shifted L-infinity…

The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric…

We generalize the constructions of [17,19] to layered semirings, in order to enrich the structure and provide finite examples for applications in arithmetic (including finite examples). The layered category theory of [19] is extended…

In a bicategory of spans (an example of a 'generic bicategory') the factorization of a span (s,t) as the span (s,1) followed by (1,t) satisfies a simple universal property with respect to all factorizations in terms of the generic…

The notion of pseudocategory, as considered in [11], is extended from the context of a 2-category to the more general one of a sesquicategory, which is considered as a category equipped with a 2-cell structure. Some particular examples of…