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