Factorization systems and double categories

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F24%3A00136266" target="_blank" >RIV/00216224:14310/24:00136266 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.tac.mta.ca/tac/volumes/41/18/41-18abs.html" target="_blank" >http://www.tac.mta.ca/tac/volumes/41/18/41-18abs.html</a>
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Factorization systems and double categories
Popis výsledku v původním jazyce
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ázev v anglickém jazyce
Factorization systems and double categories
Popis výsledku anglicky
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.

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2024
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)