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