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/211)
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
211
1.
formal category theory
2.
category theory
3.
enriched category theory
4.
formal language theory
5.
aspect category
6.
assessment category
7.
bimonoidal category
8.
closed category
9.
cocomplete category
10.
cyclic category
11.
double category
12.
duplicial category
13.
free monoidal category
14.
Locally graded category
15.
monoidal category
16.
omega-category
17.
orbit category
18.
skew-monoidal category
19.
slice 2-category
20.
slice category
21.
symmetric monoidal category
22.
triangulated category
23.
2-category
24.
Automata, Formal Verification
25.
Formal
26.
formal and combined safety elements
27.
formal and informal
28.
formal concept analysis
29.
formal education
30.
formal ferification
31.
formal languages
32.
formal logic
33.
formal methods
34.
formal PMS
35.
formal rationality
36.
formal reasoning
37.
formal revolution
38.
formal semantics
39.
formal specification
40.
formal verification
41.
mandatory formal concepts
42.
non-formal education
43.
rigorous formal diagrammatic system
44.
top-K formal concepts
45.
a coherent theory of proofs
46.
activity theory
47.
adaptive structuration theory (AST)
48.
algebraic number theory
49.
algebraic theory
50.
algorithm design and theory
51.
beam theory
52.
behavioral reasoning theory
53.
bicategory theory
54.
Biot theory
55.
Bond theory
56.
Boolean Algebra Meets Graph-Theory
57.
catastrophe theory
58.
chaos theory
59.
coding theory
60.
cognitive theory
61.
commitment theory
62.
communication channels (information theory)
63.
Complex systems theory
64.
complexity leadership theory
65.
complexity theory
66.
computation theory
67.
computer softwaregraph theory
68.
conservation of resources theory
69.
Consumer Culture Theory
70.
control theory
71.
Cooper-Helmstetter cell cycle theory
72.
cosmology theory
73.
cosmology: theory
74.
critical theory of technology
75.
cultural theory of international relations
76.
dark matter theory
77.
decision theory
78.
Dempster-Shafer theory
79.
Demster-Shafer Theory
80.
density functional theory
81.
density functional theory (DFT)
82.
dependent type theory
83.
design theory
84.
development theory
85.
Digital Government Theory: Development and Application
86.
dispersive theory
87.
domain theory
88.
ecological systems theory
89.
economic theory
90.
end of theory
91.
energetic impact theory
92.
Euler Bernoulli beams theory
93.
evolutionary theory of policy capacity
94.
Flow theory
95.
fully nonlinear potential theory
96.
game theory
97.
general systems theory
98.
general theory of information transfer
99.
general vibration theory
100.
graph theory
101.
gravitational waves / theory
102.
grounded theory
103.
group theory
104.
group threat theory
105.
higher-order beam theory
106.
History and Theory
107.
homotopy theory
108.
homotopy type theory
109.
housemoney effect prospect theory
110.
iceberg theory of culture
111.
image theory
112.
information theory
113.
innovation theory
114.
institutional theory
115.
intellectual capital theory
116.
interdependence theory
117.
inverse problem theory/applications
118.
inverse problems theory/applications
119.
job search theory
120.
language theory
121.
Lawvere theory
122.
layer-wise displacement theory
123.
linear systems theory
124.
macro-foundational theory
125.
maritime investment theory
126.
mechanism design theory
127.
meso-foundational theory
128.
micro-foundational theory
129.
middle-range theory
130.
mindlin plate theory
131.
modern portfolio theory
132.
network theory
133.
nonlinear shallow water theory
134.
nonlinear shallow-water theory
135.
nonlinear strip theory
136.
nonlinear theory
137.
normal torsion theory
138.
number theory
139.
organismic integration theory
140.
organization theory
141.
organizational theory
142.
peer‐to‐peer theory
143.
perceived customer value theory
144.
phase field theory
145.
picture theory
146.
protection motivation theory
147.
proto-theory of design
148.
punctuated equilibrium theory
149.
rational choice theory
150.
real options theory
151.
realization theory
152.
reduction theory
153.
refined zigzag theory
154.
regulatory focus theory
155.
sampling theory
156.
scapegoat theory
157.
search and matching theory
158.
self-determination theory
159.
self-determination theory of work motivation
160.
set theory
161.
shallow water theory
162.
shallow‐water theory
163.
sign theory
164.
signalling theory
165.
social exchange theory
166.
social identity theory
167.
social practice theory
168.
social presence theory
169.
social representation theory
170.
social system theory
171.
social systems theory
172.
sociological curriculum theory
173.
S-O-R theory
174.
speech-act theory
175.
stakeholder theory
176.
Stakeholder-oriented decision theory
177.
State Theory
178.
stimulus-organism-response theory
179.
stochastic learning theory
180.
strategic narrative theory
181.
strategic narrative theory
182.
Straussian theory model
183.
structuration theory
184.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
185.
switching theory
186.
synchronous reference frame theory
187.
system theory
188.
systems theory
189.
the RAT theory
190.
theory
191.
theory and practice of meta-modelling with application in healthcare
192.
theory building
193.
theory of accounting
194.
Theory of computation
195.
Theory Of Constraints (TOC)
196.
theory of economic development
197.
theory of inventive problem solving (TRIZ)
198.
theory of natural disaster
199.
Theory of paradox
200.
theory of planned behavior
201.
theory of planned behaviour
202.
theory of signs
203.
theory of value
204.
theory selection
205.
ticked cubical type theory
206.
time-dependent density functional theory (TD-DFT)
207.
type theory
208.
unified theory of acceptance and use of technology
209.
value theory
210.
virtual disc theory
211.
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