Free doubly-infinitary distributive categories are cartesian closed (Preprint)

  <Reference List>
Type: Preprint
National /International: International
Title: Free doubly-infinitary distributive categories are cartesian closed
Publication Date: 2024-03-15
Authors: - Fernando Lucatelli Nunes
- Matthijs Vákár
Abstract:

We delve into the concept of categories with products that distribute over coproducts, which we call doubly-infinitary distributive categories. We show various instances of doubly-infinitary distributive categories aiming for a comparative analysis with established notions such as extensivity, infinitary distributiveness, and cartesian closedness. Our exploration reveals that this condition represents a substantial extension beyond the classical understanding of infinitary distributive categories. Our main theorem establishes that free doubly-infinitary distributive categories are cartesian closed. We end the paper with remarks on non-canonical isomorphisms, open questions and future work.

Institution: DMUC 24-16
Online version: http://www.mat.uc.pt...prints/eng_2024.html
Download: Not available
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support