Abstract
AbstractWe focus on the transfer of some known orthogonal factorization systems from $$\mathsf {Cat}$$
Cat
to the 2-category $${\mathsf {Fib}}(B)$$
Fib
(
B
)
of fibrations over a fixed base category B: the internal version of the comprehensive factorization, and the factorization systems given by (sequence of coidentifiers, discrete morphism) and (sequence of coinverters, conservative morphism) respectively. For the class of fibrewise opfibrations in $${\mathsf {Fib}}(B)$$
Fib
(
B
)
, the construction of the latter two simplify to a single coidentifier (respectively coinverter) followed by an internal discrete opfibration (resp. fibrewise opfibration in groupoids). We show how these results follow from their analogues in $$\mathsf {Cat}$$
Cat
, providing suitable conditions on a 2-category $${\mathcal {C}}$$
C
, that allow the transfer of the construction of coinverters and coidentifiers from $${\mathcal {C}}$$
C
to $${\mathsf {Fib}}_{{\mathcal {C}}}(B)$$
Fib
C
(
B
)
.
Funder
Istituto Nazionale di Alta Matematica “Francesco Severi”
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The Third Cohomology 2-Group;Milan Journal of Mathematics;2023-07-19
2. Fibred-categorical obstruction theory;Journal of Algebra;2022-03