Zobrazeno 1 - 10
of 74
pro vyhledávání: '"Tataru, Calin"'
Autor:
Tataru, Calin
We show that the category of partially ordered sets $\mathsf{Pos}$ is equivalent to the free conservative cocompletion of the category of finite non-empty totally ordered sets $\Delta$, which is also known as the simplex category.
Externí odkaz:
http://arxiv.org/abs/2404.12924
We present the proof assistant homotopy.io for working with finitely-presented semistrict higher categories. The tool runs in the browser with a point-and-click interface, allowing direct manipulation of proof objects via a graphical representation.
Externí odkaz:
http://arxiv.org/abs/2402.13179
Autor:
Tataru, Calin, Vicary, Jamie
Colimits are a fundamental construction in category theory. They provide a way to construct new objects by gluing together existing objects that are related in some way. We introduce a complementary notion of anticolimits, which provide a way to deco
Externí odkaz:
http://arxiv.org/abs/2401.17076
Autor:
Tataru, Calin, Vicary, Jamie
The algebraic zigzag construction has recently been introduced as a combinatorial foundation for a higher dimensional notion of string diagram. For use in a proof assistant, a layout algorithm is required to determine the optimal rendering coordinate
Externí odkaz:
http://arxiv.org/abs/2305.06938
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Toader, Corneliu1,2 (AUTHOR) corneliu.toader@umfcd.ro, Tataru, Calin Petru3,4 (AUTHOR) calinpetrutataru@yahoo.com, Florian, Ioan-Alexandru5 (AUTHOR) calinpetrutataru@yahoo.com, Covache-Busuioc, Razvan-Adrian1 (AUTHOR) bogdan.bratu@stud.umfcd.ro, Bratu, Bogdan-Gabriel1 (AUTHOR) luca-andrei.glavan0720@stud.umfcd.ro, Glavan, Luca Andrei1 (AUTHOR) andrei.bordeianu@stud.umfcd.ro, Bordeianu, Andrei1 (AUTHOR) david-ioan.dumitrascu0720@stud.umfcd.ro, Dumitrascu, David-Ioan1 (AUTHOR) prof.avciurea@gmail.com, Ciurea, Alexandru Vlad1,6 (AUTHOR)
Publikováno v:
Brain Sciences (2076-3425). Oct2023, Vol. 13 Issue 10, p1390. 23p.
Autor:
Toader, Corneliu1,2 (AUTHOR) corneliu.toader@umfcd.ro, Tataru, Calin Petru3,4 (AUTHOR) calinnpetrutataru@yahoo.com, Florian, Ioan-Alexandru5 (AUTHOR) calinnpetrutataru@yahoo.com, Covache-Busuioc, Razvan-Adrian1 (AUTHOR) razvan-adrian.covache-busuioc0720@stud.umfcd.ro, Dumitrascu, David-Ioan1 (AUTHOR) david-ioan.dumitrascu0720@stud.umfcd.ro, Glavan, Luca Andrei1 (AUTHOR) luca-andrei.glavan0720@stud.umfcd.ro, Costin, Horia Petre1 (AUTHOR) horia-petre.costin0720@stud.umfcd.ro, Bratu, Bogdan-Gabriel1 (AUTHOR) bogdan.bratu@stud.umfcd.ro, Ciurea, Alexandru Vlad1,6 (AUTHOR) prof.avciurea@gmail.com
Publikováno v:
International Journal of Molecular Sciences. Sep2023, Vol. 24 Issue 18, p14340. 33p.
Autor:
Musat, Gabriela Cornelia, Tataru, Calin Petru, Musat, Ovidiu, Preda, Mihai Alexandru, Radu, Mihnea, Musat, Andreea Alexandra Mihaela, Mitroi, Mihaela Roxana
Publikováno v:
Medicina (1010660X); Oct2024, Vol. 60 Issue 10, p1665, 16p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Voicu, Victor1,2 (AUTHOR) victor.voicu@yahoo.com, Tataru, Calin Petre3,4 (AUTHOR) calin.tataru@umfcd.ro, Toader, Corneliu5,6 (AUTHOR) calin.tataru@umfcd.ro, Covache-Busuioc, Razvan-Adrian5 (AUTHOR) luca-andrei.glavan0720@stud.umfcd.ro, Glavan, Luca Andrei5 (AUTHOR) bogdan.bratu@stud.umfcd.ro, Bratu, Bogdan-Gabriel5 (AUTHOR) horia-petre.costin0720@stud.umfcd.ro, Costin, Horia Petre5 (AUTHOR) antonio.corlatescu0920@stud.umfcd.ro, Corlatescu, Antonio Daniel5 (AUTHOR) prof.avciurea@gmail.com, Ciurea, Alexandru Vlad5,7 (AUTHOR)
Publikováno v:
International Journal of Molecular Sciences. Aug2023, Vol. 24 Issue 16, p13006. 36p.