nLab regular semicategory

Contents

Context

Category theory

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

The notion of a regular semicategory generalizes the notion of a regular algebra from ring theory to (semi-)category theory. Just like regular algebras are (in general) non-unital algebras that nevertheless “behave” in many respects like unital ones, regular semicategories are semicategories on the verge of being categories.

Note that regular semicategories that are categories are not (necessarily) regular categories in the usual sense. In this case there is a clash of terminology between category theory and algebra.

Preliminaries

For convenience let us first recall a couple of concepts

Definition

Let 𝒢\mathcal{G}, \mathcal{H} be semicategories. A morphism F:𝒢F:\mathcal{G}\to\mathcal{H} of semicategories assigns to all objects X𝒢X\in\mathcal{G} an object F(X)F(X)\in\mathcal{H} and to every morphism f:XYf:X\to Y in 𝒢\mathcal{G} a morphism F(f):F(X)F(Y)F(f):F(X)\to F(Y) in \mathcal{H} such that F(fg)=F(f)F(g)F(f\circ g)=F(f)\circ F(g).

A natural transformation α:𝒢\alpha:\mathcal{G}\Rightarrow\mathcal{H} consists of a family {α X:F(X)G(X)} X|𝒢|\{\alpha_X:F(X)\to G(X)\}_{X\in|\mathcal{G}|} in \mathcal{H} indexed by the objects of 𝒢\mathcal{G} such that for all f:XYf:X\to Y in 𝒢\mathcal{G} the following diagram commutes:

F(X) F(f) F(Y) α X α Y G(X) G(f) G(Y) \array{ F(X)& \overset{F(f)}{\longrightarrow} & F(Y) \\ {}_{\alpha_X}\downarrow & & \downarrow _{\alpha_Y} \\ G(X)& \overset{G(f)}{\longrightarrow} & G(Y) }
Definition

A presheaf on a semicategory 𝒢\mathcal{G} is a morphism of semicategories F:𝒢 opSetF:\mathcal{G}^{op}\to Set. The category Prsh(𝒢)Prsh(\mathcal{G}) has objects presheaves on 𝒢\mathcal{G} and morphisms the natural transformations and is the called the category of presheaves of the semicategory 𝒢\mathcal{G}.

Prsh(𝒢)Prsh(\mathcal{G}) is indeed a category! Denoting 𝒢¯\overline{\mathcal{G}} the category resulting from 𝒢\mathcal{G} by adding the missing identity morphisms, it is easy to check that Prsh(𝒢)PrSh(𝒢¯)Prsh(\mathcal{G})\simeq PrSh(\overline{\mathcal{G}}) and that the latter coincides with the usual presheaf category hence Prsh(𝒢)Prsh(\mathcal{G}) is even a Grothendieck topos.

Given 𝒢\mathcal{G} there is also a Yoneda morphism Y 𝒢:𝒢Prsh(𝒢)Y_\mathcal{G}:\mathcal{G}\to Prsh(\mathcal{G}) defined on objects as usual by XHom 𝒢( ,X)X\mapsto Hom_\mathcal{G}({}_-,X). Since semicategories embed into categories only iff they are categories themselves it follows that Y 𝒢Y_\mathcal{G} is fully-faithful iff 𝒢\mathcal{G} is a category!

Definition

Example

Properties

The most striking result is that although for a general regular semicategory 𝒢\mathcal{G} regular presheaves will not be Yoneda presheaves and vice versa nevertheless the subcategories RegPsh(𝒢)RegPsh(\mathcal{G}) and YonPsh(𝒢)YonPsh(\mathcal{G}) are identical in an identity-and-unity of opposites in the sense of Lawvere i.e. both are equivalent and occur in an essential localization of Prsh(𝒢)Prsh(\mathcal{G}).

Theorem

Let 𝒢\mathcal{G} be a regular semicategory. The functor k:RegPsh(𝒢)Prsh(𝒢)k:RegPsh(\mathcal{G})\to Prsh(\mathcal{G}) defined on objects by FNat(Y 𝒢( ),F)F\mapsto Nat(Y_\mathcal{G}({}_-),F) is fully-faithful and part of an adjoint string

ijk:RegPsh(𝒢)Prsh(𝒢) i\dashv j\dashv k:RegPsh(\mathcal{G})\hookrightarrow Prsh(\mathcal{G})

with kk identifying the regular presheaves with the Yoneda presheaves and ii identifying them with the presheaves that are colimits of representables.

For the proof see Moens et al. (2002, p.179).

References

Regular semicategories were introduced in

  • M.-A. Moens, U. Bernani-Canani, F. Borceux, On regular presheaves and regular semi-categories , Cah. Top. Géom. Diff. Cat. XLIII no.3 (2002) pp.163-190. (numdam)

Their quantaloid-enriched theory is studied in

  • Isar Stubbe, Categorical structures enriched in a quantaloid : regular presheaves, regular semicategories , Cah. Top. Géom. Diff. Cat. XLVI no.2 (2005) pp.99-121. (numdam)

For the origins in algebra of the concept see

  • F. Grandjean, E. M. Vitale, Morita equivalence for regular algebras , Cah. Top. Géom. Diff. Cat. XXXIX (1998) pp.137-153. (numdam)

Last revised on May 30, 2018 at 09:04:53. See the history of this page for a list of all contributions to it.