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