Virtual concepts in the theory of accessible categories

DOI10.1016/J.JPAA.2022.107196zbMATH Open1502.18015arXiv2205.11056OpenAlexW4286510382WikidataQ114155338 ScholiaQ114155338MaRDI QIDQ2674544FDOQ2674544

Authors: Stephen Lack, Giacomo Tendas 

Publication date: 14 September 2022

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We provide a new characterization of enriched accessible categories by introducing the two new notions of virtual reflectivity and virtual orthogonality as a generalization of the usual reflectivity and orthogonality conditions for locally presentable categories. The word virtual refers to the fact that the reflectivity and orthogonality conditions are given in the free completion of the $mathcalV$-category involved under small limits, instead of the $mathcalV$-category itself. In this way we hope to provide a clearer understanding of the theory as well as a useful way of recognizing accessible $mathcalV$-categories. In the last section we prove that the 2-category of accessible $mathcalV$-categories, accessible $mathcalV$-functors, and $mathcalV$-natural transformations has all flexible limits.

Full work available at URL: https://arxiv.org/abs/2205.11056

Recommendations

• Accessible categories with a class of limits
• Flat vs. filtered colimits in the enriched context
• Enriched accessible categories
• On continuity of accessible functors
• Accessible aspects of 2-category theory

zbMATH Keywords

enriched categoriesflat functoraccessible categoriesfiltered colimits

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Accessible and locally presentable categories (18C35) Enriched categories (over closed or monoidal categories) (18D20) Sketches and generalizations (18C30)

Cites Work

• Title not available (Why is that?)
• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Definable additive categories: purity and model theory
• Title not available (Why is that?)
• A classification of accessible categories
• Title not available (Why is that?)
• Notions of Lawvere theory
• Title not available (Why is that?)
• Limits of small functors
• Aspects of topoi
• A 2-categories companion
• Flexible limits for 2-categories
• Title not available (Why is that?)
• Enriched accessible categories
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• On a bicomma object condition for KZ-doctrines
• Cartesian closed exact completions
• Pro-Categories and Multiadjoint Functors
• Small Cauchy completions
• Accessibility and the solution set condition
• Accessible aspects of 2-category theory
• Flat vs. filtered colimits in the enriched context
• Title not available (Why is that?)
• Density presentations of functors
• On sifted colimits in the presence of pullbacks

Cited In (7)

• Title not available (Why is that?)
• Flat vs. filtered colimits in the enriched context
• Accessible categories with a class of limits
• Title not available (Why is that?)
• Flatness, weakly lex colimits, and free exact completions
• On continuity of accessible functors
• Categorical aspects of virtuality and self-distributivity.

This page was built for publication: Virtual concepts in the theory of accessible categories

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