Geodesic
Conditionally reversible computations and weak universality in category theory
Zapiski Nauchnykh Seminarov POMI, Representation theory, dynamical systems, combinatorial methods. Part XXIII, Tome 421 (2014), pp. 19-32

Voir la notice de l'article provenant de la source Math-Net.Ru

Main attention is directed to the notion of weak universality in category theory. While the definitions based on the ordinary universal constructions usually hold up to isomorphisms, that is, unconditionnally reversible arrows, weakly universal constructions may be seen “positively” as defined up to conditionnally reversible arrows. It is shown that weak universality is closely connected with intensional equality, typically considered in categories used in computer science. As a possible application of weakly universal categorical constructions we suggest the notion of conditionnally reversible computation in the theory of computations. 
@article{ZNSL_2014_421_a1,
     author = {S. N. Baranov and S. V. Soloviev},
     title = {Conditionally reversible computations and weak universality in category theory},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {19--32},
     publisher = {mathdoc},
     volume = {421},
     year = {2014},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_2014_421_a1/}
}
TY  - JOUR
AU  - S. N. Baranov
AU  - S. V. Soloviev
TI  - Conditionally reversible computations and weak universality in category theory
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2014
SP  - 19
EP  - 32
VL  - 421
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2014_421_a1/
LA  - en
ID  - ZNSL_2014_421_a1
ER  - 
%0 Journal Article
%A S. N. Baranov
%A S. V. Soloviev
%T Conditionally reversible computations and weak universality in category theory
%J Zapiski Nauchnykh Seminarov POMI
%D 2014
%P 19-32
%V 421
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_2014_421_a1/
%G en
%F ZNSL_2014_421_a1
S. N. Baranov; S. V. Soloviev. Conditionally reversible computations and weak universality in category theory. Zapiski Nauchnykh Seminarov POMI, Representation theory, dynamical systems, combinatorial methods. Part XXIII, Tome 421 (2014), pp. 19-32. http://geodesic.mathdoc.fr/item/ZNSL_2014_421_a1/