Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
formal category theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
2
Vaata veel..
(1/206)
Ekspordi
ekspordi kõik päringu tulemused
(2)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
The formal theory of relative monads
Arkor, Nathanael
;
McDermott, Dylan
Journal of pure and applied algebra
2024
/
art. 107676, 107 p. : ill
https://doi.org/10.1016/j.jpaa.2024.107676
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 2, kuvan
1 - 2
võtmesõna
206
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
assessment category
6.
bimonoidal category
7.
closed category
8.
cocomplete category
9.
cyclic category
10.
double category
11.
duplicial category
12.
free monoidal category
13.
Locally graded category
14.
monoidal category
15.
omega-category
16.
orbit category
17.
skew-monoidal category
18.
slice 2-category
19.
slice category
20.
symmetric monoidal category
21.
triangulated category
22.
2-category
23.
Automata, Formal Verification
24.
Formal
25.
formal and combined safety elements
26.
formal and informal
27.
formal concept analysis
28.
formal education
29.
formal ferification
30.
formal languages
31.
formal logic
32.
formal methods
33.
formal PMS
34.
formal rationality
35.
formal reasoning
36.
formal revolution
37.
formal semantics
38.
formal specification
39.
formal verification
40.
mandatory formal concepts
41.
non-formal education
42.
rigorous formal diagrammatic system
43.
top-K formal concepts
44.
a coherent theory of proofs
45.
activity theory
46.
adaptive structuration theory (AST)
47.
algebraic number theory
48.
algebraic theory
49.
algorithm design and theory
50.
beam theory
51.
behavioral reasoning theory
52.
bicategory theory
53.
Bond theory
54.
Boolean Algebra Meets Graph-Theory
55.
catastrophe theory
56.
chaos theory
57.
coding theory
58.
cognitive theory
59.
commitment theory
60.
communication channels (information theory)
61.
Complex systems theory
62.
complexity leadership theory
63.
complexity theory
64.
computation theory
65.
computer softwaregraph theory
66.
conservation of resources theory
67.
Consumer Culture Theory
68.
control theory
69.
Cooper-Helmstetter cell cycle theory
70.
cosmology: theory
71.
critical theory of technology
72.
cultural theory of international relations
73.
dark matter theory
74.
decision theory
75.
Dempster-Shafer theory
76.
Demster-Shafer Theory
77.
density functional theory
78.
density functional theory (DFT)
79.
dependent type theory
80.
design theory
81.
development theory
82.
Digital Government Theory: Development and Application
83.
dispersive theory
84.
domain theory
85.
ecological systems theory
86.
economic theory
87.
end of theory
88.
energetic impact theory
89.
Euler Bernoulli beams theory
90.
evolutionary theory of policy capacity
91.
Flow theory
92.
fully nonlinear potential theory
93.
game theory
94.
general systems theory
95.
general theory of information transfer
96.
general vibration theory
97.
graph theory
98.
gravitational waves / theory
99.
grounded theory
100.
group theory
101.
group threat theory
102.
higher-order beam theory
103.
History and Theory
104.
homotopy theory
105.
homotopy type theory
106.
housemoney effect prospect theory
107.
iceberg theory of culture
108.
image theory
109.
information theory
110.
innovation theory
111.
institutional theory
112.
intellectual capital theory
113.
interdependence theory
114.
inverse problem theory/applications
115.
inverse problems theory/applications
116.
job search theory
117.
language theory
118.
Lawvere theory
119.
layer-wise displacement theory
120.
linear systems theory
121.
macro-foundational theory
122.
maritime investment theory
123.
mechanism design theory
124.
meso-foundational theory
125.
micro-foundational theory
126.
middle-range theory
127.
modern portfolio theory
128.
network theory
129.
nonlinear shallow water theory
130.
nonlinear shallow-water theory
131.
nonlinear strip theory
132.
nonlinear theory
133.
normal torsion theory
134.
number theory
135.
organization theory
136.
organizational theory
137.
peer‐to‐peer theory
138.
perceived customer value theory
139.
phase field theory
140.
picture theory
141.
protection motivation theory
142.
proto-theory of design
143.
punctuated equilibrium theory
144.
rational choice theory
145.
real options theory
146.
realization theory
147.
reduction theory
148.
refined zigzag theory
149.
regulatory focus theory
150.
sampling theory
151.
scapegoat theory
152.
search and matching theory
153.
self-determination theory
154.
self-determination theory of work motivation
155.
set theory
156.
shallow water theory
157.
shallow‐water theory
158.
sign theory
159.
signalling theory
160.
social exchange theory
161.
social identity theory
162.
social practice theory
163.
social presence theory
164.
social representation theory
165.
social system theory
166.
social systems theory
167.
sociological curriculum theory
168.
S-O-R theory
169.
speech-act theory
170.
stakeholder theory
171.
Stakeholder-oriented decision theory
172.
State Theory
173.
stimulus-organism-response theory
174.
stochastic learning theory
175.
strategic narrative theory
176.
strategic narrative theory
177.
Straussian theory model
178.
structuration theory
179.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
180.
switching theory
181.
synchronous reference frame theory
182.
system theory
183.
systems theory
184.
the RAT theory
185.
theory
186.
theory and practice of meta-modelling with application in healthcare
187.
theory building
188.
theory of accounting
189.
Theory of computation
190.
Theory Of Constraints (TOC)
191.
theory of economic development
192.
theory of inventive problem solving (TRIZ)
193.
theory of natural disaster
194.
Theory of paradox
195.
theory of planned behavior
196.
theory of planned behaviour
197.
theory of signs
198.
theory of value
199.
theory selection
200.
ticked cubical type theory
201.
time-dependent density functional theory (TD-DFT)
202.
type theory
203.
unified theory of acceptance and use of technology
204.
value theory
205.
virtual disc theory
206.
2D+T theory
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT