{"version":"1.0","type":"link","title":"Extensive category - Newikis","description":"In mathematics, an extensive category is a category C with finite coproducts that are disjoint and well-behaved with respect to pullbacks. Equivalently, C is extensive if the coproduct functor from the product of the slice categories C/X × C/Y to the slice category C/(X + Y) is an equivalence of…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}