Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
kategooriad (matemaatika) (subject term)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
28
Look more..
(3/48)
Export
export all inquiry results
(28)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Acyclicity conditions on pasting diagrams
Hadzihasanovic, Amar
;
Kessler, Diana
Applied Categorical Structures
2024
/
art. 31
https://doi.org/10.1007/s10485-024-09784-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
Adjoint functor theorems for lax-idempotent pseudomonads
Arkor, Nathanael
;
Di Liberti, Ivan
;
Loregian, Fosco
Theory and Applications of Categories
2024
/
p. 667-685
http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
3
book article EST
/
book article ENG
Automata and coalgebras in sategories of Species
Loregian, Fosco
Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings
2024
/
p. 65-92
https://doi.org/10.1007/978-3-031-66438-0_4
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
4
journal article EST
/
journal article ENG
Bicategories in univalent foundations
Ahrens, Benedikt
;
Frumin, Dan
;
Maggesi, Marco
;
Veltri, Niccolò
;
Weide, Niels van der
Mathematical Structures in Computer Science
2022
https://doi.org/10.1017/S0960129522000032
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
5
journal article
Bicategories in univalent foundations
Ahrens, Benedikt
;
Frumin, Dan
;
Maggesi, Marco
;
Veltri, Niccolo
;
Weide, Niels van der
arXiv.org
2020
/
32 p
https://doi.org/10.4230/LIPIcs.FSCD.2019.5
journal article
6
book article EST
/
book article ENG
Bicategories of automata, automata in bicategories
Boccali, Guido
;
Laretto, Andrea
;
Loregian, Fosco
;
Luneia, Stefano
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 1-19
https://doi.org/10.4204/EPTCS.397.1
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
7
book article EST
/
book article ENG
Canonical gradings of monads
Breuvart, Flavien
;
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 1-21
https://doi.org/10.4204/eptcs.380.1
https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
8
book article
Categories, automata and splicing systems
Kaljulaid, U.
;
Penjam, Jaan
Proceedings of 9th Nordic Workshop on Programming Theory
1997
book article
9
book
(Co)end Calculus
Loregian, Fosco
2021
https://doi.org/10.1017/9781108778657
book
10
book article EST
/
book article ENG
Coherence via focusing for symmetric skew monoidal categories
Veltri, Niccolo
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings
2021
/
p. 184-200
https://doi.org/10.1007/978-3-030-88853-4_12
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
11
book article EST
/
book article ENG
Collages of string diagrams
Braithwaite, Dylan
;
Roman Garcia, Mario
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 39-53
https://doi.org/10.4204/EPTCS.397.3
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
12
journal article
Collages of string diagrams
Braithwaite, Dylan
;
Roman Garcia, Mario
arXiv.org
2023
/
p. 39-53 : ill
https://doi.org/10.48550/arXiv.2305.02675
journal article
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
13
book article
Concurrent monads for shared state
Rivas, Exequiel
;
Uustalu, Tarmo
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming
2024
/
art. 17
https://doi.org/10.1145/3678232.3678249
Article at Scopus
Article at WOS
book article
14
book article EST
/
book article ENG
The delay monad and restriction categories
Uustalu, Tarmo
;
Veltri, Niccolo
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium Hanoi, Vietnam, October 23-27, 2017 : proceedings
2017
/
p. 32-50
https://doi.org/10.1007/978-3-319-67729-3_3
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
15
book article
Differential 2-rigs
Loregian, Fosco
;
Trimble, Todd
arXiv.org
2022
/
16 p. : ill
https://doi.org/10.48550/arXiv.2103.00938
https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4413.pdf
book article
16
book article EST
/
book article ENG
Differential 2-rigs
Loregian, Fosco
;
Trimble, Todd
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 159-182 : ill
https://doi.org/10.4204/EPTCS.380.10
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
17
book article
Escrows are optics
Genovese, Fabrizio
;
Loregian, Fosco
;
Palombi, Daniele
arXiv.org
2022
/
16 p. : ill
https://doi.org/10.48550/arXiv.2105.10028
https://arxiv.org/pdf/2105.10028.pdf
book article
18
journal article EST
/
journal article ENG
Formalizing restriction categories
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of formalized reasoning
2017
/
p. 1-36
https://doi.org/10.6092/issn.1972-5787/6237
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
19
book article
Logics of skew categorical structures
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Logic4Peace : fundraising online logic event for peace, April 22-23, 2022 : book of abstracts
2022
/
p. 81-82
https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/slides/Uustalu-et-al_L4P-slides.pdf
book article
20
book article EST
/
book article ENG
Monoidal streams for dataflow programming
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 2022
2022
/
art. 3533365, p. 1-14 : ill
https://doi.org/10.1145/3531130.3533365
Conference proceeding at Scopus
Article at Scopus
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
21
book article EST
/
book article ENG
Optics for premonoidal categories
Hefford, James
;
Roman Garcia, Mario
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 152-171 : ill
https://doi.org/10.4204/EPTCS.397.10
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
22
journal article
Optics for premonoidal categories
Hefford, James
;
Roman Garcia, Mario
arXiv.org
2023
/
p. 152-171 : ill
https://doi.org/10.48550/arXiv.2305.02906
journal article
23
book article EST
/
book article ENG
Promonads and string diagrams for effectful categories
Roman Garcia, Mario
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 344−361
https://doi.org/10.4204/EPTCS.380.20
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
24
journal article
Promonads and string diagrams for effectful categories : preprint
Roman Garcia, Mario
arXiv.org
2022
https://doi.org/10.48550/arXiv.2205.07664
journal article
25
book article EST
/
book article ENG
Proof theory of skew non-commutative MILL
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
2022
/
p. 118-135
https://doi.org/10.4204/EPTCS.358.9
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 28, displaying
1 - 25
previous
1
2
next
subject term
41
1.
kategooriad (matemaatika)
2.
kategooriad (filosoofia)
3.
bifurkatsioon (matemaatika)
4.
determinandid (matemaatika)
5.
diskreetne matemaatika
6.
Eesti Matemaatika Selts
7.
fuktsioonid (matemaatika)
8.
funktsioonid (matemaatika)
9.
harmooniline analüüs (matemaatika)
10.
hulgateooria (matemaatika)
11.
hüperboolid (matemaatika)
12.
intuitsionism (matemaatika)
13.
isomorfismid (matemaatika)
14.
juhukõnd (matemaatika)
15.
kongruentsid (matemaatika)
16.
konstruktiivne matemaatika
17.
korpused (matemaatika)
18.
kuju (matemaatika)
19.
kujutused (matemaatika)
20.
kõrgem matemaatika
21.
maatriksid (matemaatika)
22.
matemaatika
23.
moodulid (matemaatika)
24.
omaväärtused (matemaatika)
25.
paraboolid (matemaatika)
26.
pidevus (matemaatika)
27.
pii (matemaatika)
28.
piirväärtused (matemaatika)
29.
poolrühmad (matemaatika)
30.
puud (matemaatika)
31.
read (matemaatika)
32.
ringid (matemaatika)
33.
rühmad (matemaatika)
34.
seosed (matemaatika)
35.
Tallinna Tehnikaülikool. Matemaatika-loodusteaduskond
36.
tasand (matemaatika)
37.
tuletised (matemaatika)
38.
valemid (matemaatika)
39.
võred (matemaatika)
40.
väljad (matemaatika)
41.
väljateooria (matemaatika)
TTÜ department
4
1.
matemaatika ja mehaanika kateeder
2.
matemaatika ja teoreetilise mehaanika kateeder
3.
matemaatika kateeder
4.
matemaatika-loodusteaduskond
author
3
1.
Tallinna Polütehniline Instituut, matemaatika kateeder
2.
Tallinna Polütehniline Instituut, vastuvõtukomisjon, matemaatika kateeder
3.
Tartu Riiklik Ülikool, Matemaatika- ja Füüsikakool
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT