Enriched indexed categories

MaRDI QIDQ2847374zbMATH OpenFDO

Authors Michael Shulman

Publication date 4 September 2013

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1212.3914, http://www.emis.de/journals/TAC/volumes/28/21/28-21abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

enriched categoryfibered categoryindexed categorymonoidal category

Mathematics Subject Classification ID

Enriched categories (over closed or monoidal categories) (18D20) Fibered categories (18D30)

Abstract: We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V. This includes classical enriched categories, indexed and fibered categories, and internal categories as special cases. We then describe the appropriate notion of "limit" for such enriched indexed categories, and show that they admit "free cocompletions" constructed as usual with a Yoneda embedding.

Recommendations

• Internal enriched categories
• Enriched categories as a free cocompletion
• Variation through enrichment
• scientific article; zbMATH DE number 1512858
• scientific article; zbMATH DE number 1167911

Cited in

(17)

• On completeness of locally-internal categories
• Enhancing the filtered derived category
• Bundle functors and fibrations
• Algebraic theories and commutativity in a sheaf topos
• Restriction categories as enriched categories
• Internal enriched categories
• External Spanier-Whitehead duality and homology representation theorems for diagram spaces
• Enriched Yoneda lemma
• scientific article; zbMATH DE number 3953031 (Why is no real title available?)
• scientific article; zbMATH DE number 1512858 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
• On dualizability of braided tensor categories
• A formal logic for formal category theory
• The formal theory of relative monads
• Entanglement of sections: the pushout of entangled and parameterized quantum information
• Enriched categories as a free cocompletion

This page was built for publication: Enriched indexed categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847374)