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/214)
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
214
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 and systems theory
71.
control theory
72.
Cooper-Helmstetter cell cycle theory
73.
cosmology theory
74.
cosmology: theory
75.
critical theory of technology
76.
cultural theory of international relations
77.
dark matter theory
78.
decision theory
79.
Dempster-Shafer theory
80.
Demster-Shafer Theory
81.
density functional theory
82.
density functional theory (DFT)
83.
dependent type theory
84.
design theory
85.
development theory
86.
Digital Government Theory: Development and Application
87.
dispersive theory
88.
domain theory
89.
ecological systems theory
90.
economic theory
91.
end of theory
92.
energetic impact theory
93.
engaged theory
94.
Euler Bernoulli beams theory
95.
evolutionary theory of policy capacity
96.
Flow theory
97.
fully nonlinear potential theory
98.
game theory
99.
general systems theory
100.
general theory of information transfer
101.
general vibration theory
102.
graph theory
103.
gravitational waves / theory
104.
grounded theory
105.
group theory
106.
group threat theory
107.
higher-order beam theory
108.
History and Theory
109.
homotopy theory
110.
homotopy type theory
111.
housemoney effect prospect theory
112.
iceberg theory of culture
113.
image theory
114.
information theory
115.
innovation theory
116.
institutional theory
117.
intellectual capital theory
118.
interdependence theory
119.
inverse problem theory/applications
120.
inverse problems theory/applications
121.
job search theory
122.
language theory
123.
Lawvere theory
124.
layer-wise displacement theory
125.
linear systems theory
126.
macro-foundational theory
127.
maritime investment theory
128.
mechanism design theory
129.
meso-foundational theory
130.
micro-foundational theory
131.
middle-range theory
132.
mindlin plate theory
133.
modern portfolio theory
134.
network theory
135.
nonlinear shallow water theory
136.
nonlinear shallow-water theory
137.
nonlinear strip theory
138.
nonlinear theory
139.
normal torsion theory
140.
number theory
141.
organismic integration theory
142.
organization theory
143.
organizational theory
144.
peer‐to‐peer theory
145.
perceived customer value theory
146.
phase field theory
147.
picture theory
148.
protection motivation theory
149.
proto-theory of design
150.
public administration theory
151.
punctuated equilibrium theory
152.
rational choice theory
153.
real options theory
154.
realization theory
155.
reduction theory
156.
refined zigzag theory
157.
regulatory focus theory
158.
sampling theory
159.
scapegoat theory
160.
search and matching theory
161.
self-determination theory
162.
self-determination theory of work motivation
163.
set theory
164.
shallow water theory
165.
shallow‐water theory
166.
sign theory
167.
signalling theory
168.
social exchange theory
169.
social identity theory
170.
social practice theory
171.
social presence theory
172.
social representation theory
173.
social system theory
174.
social systems theory
175.
sociological curriculum theory
176.
S-O-R theory
177.
speech-act theory
178.
stakeholder theory
179.
Stakeholder-oriented decision theory
180.
State Theory
181.
stimulus-organism-response theory
182.
stochastic learning theory
183.
strategic narrative theory
184.
strategic narrative theory
185.
Straussian theory model
186.
structuration theory
187.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
188.
switching theory
189.
synchronous reference frame theory
190.
system theory
191.
systems theory
192.
the RAT theory
193.
theory
194.
theory and practice of meta-modelling with application in healthcare
195.
theory building
196.
theory of accounting
197.
Theory of computation
198.
Theory Of Constraints (TOC)
199.
theory of economic development
200.
theory of inventive problem solving (TRIZ)
201.
theory of natural disaster
202.
Theory of paradox
203.
theory of planned behavior
204.
theory of planned behaviour
205.
theory of signs
206.
theory of value
207.
theory selection
208.
ticked cubical type theory
209.
time-dependent density functional theory (TD-DFT)
210.
type theory
211.
unified theory of acceptance and use of technology
212.
value theory
213.
virtual disc theory
214.
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