Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{634496,
author = {Rosický, J.},
address = {Wien},
booktitle = {Applied and Computational Category Theory ACCAT 2006},
keywords = {factorization system;weak factorization system;homotopy;bisimulation},
language = {eng},
location = {Wien},
pages = {24-26},
publisher = {Vienna University of Technology},
title = {Factorization systems and classification problems},
year = {2006}
}
TY - JOUR
ID - 634496
AU - Rosický, J.
PY - 2006
TI - Factorization systems and classification problems
PB - Vienna University of Technology
CY - Wien
KW - factorization system;weak factorization system;homotopy;bisimulation
N2 - There is shown how weak factorization systems can be used for introducing homotopy and bisimulation.
ER -
ROSICKÝ, J. Factorization systems and classification problems. In \textit{Applied and Computational Category Theory ACCAT 2006}. Wien: Vienna University of Technology. s.~24-26. 2006.
|
