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