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