Identity types and weak factorization systems in Cauchy complete categories
نویسندگان
چکیده
منابع مشابه
Weak identity arrows in higher categories
There are a dozen definitions of weak higher categories, all of which loosen the notion of composition of arrows. A new approach is presented here, where instead the notion of identity arrow is weakened — these are tentatively called fair categories. The approach is simplicial in spirit, but the usual simplicial category ∆ is replaced by a certain ‘fat’ delta of ‘coloured ordinals’, where the d...
متن کاملWeak Reflections and Weak Factorization Systems
A (functorial) weak reflection in a category C is essentially a sharply pointed endofunctor (T, η) on C, i.e., one for which ηTA is a split mono for each A ∈C. Using a result in [AHRT], we obtain the following “weak” version of one of the main results of [CHK]: every weak reflection (T, η) (in a category with finite products) comes from a (functorial) weak factorization system (LT ,RT ) (throug...
متن کاملEssential Weak Factorization Systems
We discuss a new type of weak factorization system. Although these systems provide (up to isomorphism) uniquely determined decompositions of morphisms, in general they do not constitute orthogonal factorizations and are not even functorial. Nevertheless, they arise naturally, as injective hulls or projective covers in comma categories. Surprisingly, often injective hulls and projective covers c...
متن کاملNatural Weak Factorization Systems
In order to facilitate a natural choice for morphisms created by the (left or right) lifting property as used in the definition of weak factorization systems, the notion of natural weak factorization system in the category K is introduced, as a pair (comonad, monad) over K. The link with existing notions in terms of morphism classes is given via the respective Eilenberg–Moore categories. Dedica...
متن کاملWeak complete parts in semihypergroups
In this article we generalize the notion of complete parts, by introducing a weaker condition in definition. Using this generalization we define and analyse a new class of semihypergroups, which are called weak complete semihypergroups. Complete parts were introduced about 40 years ago by M. Koskas and they represent a basic notion of hyperstucture theory, utilized in constructing an important ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2019
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129519000033