Factorization systems and double categories

ŠTĚPÁN, Miloslav. Factorization systems and double categories. Theory and Applications of Categories. Mount Allison University, 2024, roč. 41, č. 18, s. 551-592, 43 s. ISSN 1201-561X.

Základní údaje

• Originální název: Factorization systems and double categories
• Autoři: ŠTĚPÁN, Miloslav (203 Česká republika, garant, domácí).
• Vydání: Theory and Applications of Categories, Mount Allison University, 2024, 1201-561X.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Článek v odborném periodiku
• Obor: 10101 Pure mathematics
• Stát vydavatele: Kanada
• Utajení: není předmětem státního či obchodního tajemství
• WWW: URL
• Impakt faktor: Impact factor: 0.500 v roce 2022
• Organizační jednotka: Přírodovědecká fakulta
• UT WoS: 001231984000001
• Klíčová slova anglicky: factorization system; double category; lax morphism
• Štítky: rivok
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons for why the category of sets and partial maps or the category of small categories and cofunctors admit orthogonal factorization systems. The theory also gives an explicit description of various lax morphism classifiers and explains why they admit strict factorization systems.

Návaznosti

• EF19_073/0016943, projekt VaV: Název: Interní grantová agentura Masarykovy univerzity
• GA22-02964S, projekt VaV: Název: Obohacené kategorie a jejich aplikace (Akronym: ECATA)

Investor: Grantová agentura ČR, Enriched categories and their applications