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