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, 2006, s.~24-26.
|